Searched refs:processRegionChanges (Results 1 – 4 of 4) sorted by relevance
| /freebsd-10-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SubEngine.h | 115 processRegionChanges(ProgramStateRef state,
125 return processRegionChanges(state, 0, MR, MR, 0); in processRegionChange()
|
| D | ExprEngine.h | 277 processRegionChanges(ProgramStateRef state,
|
| /freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 205 return Eng->processRegionChanges(newState, IS, TopLevelInvalidated, in invalidateRegionsImpl()
|
| D | ExprEngine.cpp | 258 ExprEngine::processRegionChanges(ProgramStateRef state, in processRegionChanges() function in ExprEngine
|