| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 176 /// invalidateRegions - Clears out the specified regions from the store,
194 virtual StoreRef invalidateRegions(Store store,
|
| CallEvent.h | 315 ProgramStateRef invalidateRegions(unsigned BlockCount,
[all...] |
| ProgramState.h | 243 ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ProgramState.cpp | 144 ProgramState::invalidateRegions(ArrayRef<const MemRegion *> Regions,
173 = Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
186 Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS,
|
| ExprEngineCXX.cpp | 293 State = Call->invalidateRegions(blockCount);
|
| CallEvent.cpp | 139 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount,
201 return Result->invalidateRegions(RegionsToInvalidate, getOriginExpr(),
[all...] |
| ExprEngineCallAndReturn.cpp | 574 State = Call.invalidateRegions(currBldrCtx->blockCount(), State);
[all...] |
| RegionStore.cpp | 368 StoreRef invalidateRegions(Store store, ArrayRef<const MemRegion *> Regions,
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CStringChecker.cpp | 818 return state->invalidateRegions(R, E, C.blockCount(), LCtx,
[all...] |
| RetainCountChecker.cpp | [all...] |
