Searched refs:invalidateRegions (Results 1 – 10 of 10) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 144 ProgramState::invalidateRegions(ArrayRef<const MemRegion *> Regions, in invalidateRegions() function in ProgramState
173 = Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS, in invalidateRegionsImpl()
186 Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS, in invalidateRegionsImpl()
|
| D | CallEvent.cpp | 139 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, in invalidateRegions() function in CallEvent
201 return Result->invalidateRegions(RegionsToInvalidate, getOriginExpr(), in invalidateRegions()
|
| D | ExprEngineCXX.cpp | 293 State = Call->invalidateRegions(blockCount); in VisitCXXNewExpr()
|
| D | ExprEngineCallAndReturn.cpp | 574 State = Call.invalidateRegions(currBldrCtx->blockCount(), State); in conservativeEvalCall()
|
| D | RegionStore.cpp | 368 StoreRef invalidateRegions(Store store, ArrayRef<const MemRegion *> Regions,
1040 RegionStoreManager::invalidateRegions(Store store, in invalidateRegions() function in RegionStoreManager
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Store.h | 194 virtual StoreRef invalidateRegions(Store store,
|
| D | ProgramState.h | 243 ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
|
| D | CallEvent.h | 315 ProgramStateRef invalidateRegions(unsigned BlockCount,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 818 return state->invalidateRegions(R, E, C.blockCount(), LCtx, in InvalidateBuffer()
|
| D | RetainCountChecker.cpp | 3165 state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx, in evalCall()
|