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.h133 processRegionChanges(ProgramStateRef state,
143 return processRegionChanges(state, nullptr, MR, MR, nullptr); in processRegionChange()
DExprEngine.h295 processRegionChanges(ProgramStateRef state,
/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp204 return Eng->processRegionChanges(newState, IS, TopLevelInvalidated, in invalidateRegionsImpl()
DExprEngine.cpp271 ExprEngine::processRegionChanges(ProgramStateRef state, in processRegionChanges() function in ExprEngine