Home
last modified time | relevance | path

Searched refs:processRegionChanges (Results 1 – 4 of 4) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSubEngine.h125 processRegionChanges(ProgramStateRef state,
135 return processRegionChanges(state, nullptr, MR, MR, nullptr); in processRegionChange()
DExprEngine.h288 processRegionChanges(ProgramStateRef state,
/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp204 return Eng->processRegionChanges(newState, IS, TopLevelInvalidated, in invalidateRegionsImpl()
DExprEngine.cpp270 ExprEngine::processRegionChanges(ProgramStateRef state, in processRegionChanges() function in ExprEngine