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
169 = Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS, in invalidateRegionsImpl()
176 Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS, in invalidateRegionsImpl()
|
| D | CallEvent.cpp | 129 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, in invalidateRegions() function in CallEvent
190 return Result->invalidateRegions(RegionsToInvalidate, getOriginExpr(), in invalidateRegions()
|
| D | ExprEngineCXX.cpp | 230 State = Call->invalidateRegions(blockCount); in VisitCXXNewExpr()
|
| D | ExprEngineCallAndReturn.cpp | 591 State = Call.invalidateRegions(currBldrCtx->blockCount(), State); in conservativeEvalCall()
|
| D | RegionStore.cpp | 223 StoreRef invalidateRegions(Store store, ArrayRef<const MemRegion *> Regions,
801 StoreRef RegionStoreManager::invalidateRegions(Store store, in invalidateRegions() function in RegionStoreManager
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Store.h | 188 virtual StoreRef invalidateRegions(Store store,
|
| D | CallEvent.h | 272 ProgramStateRef invalidateRegions(unsigned BlockCount,
|
| D | ProgramState.h | 225 ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 830 return state->invalidateRegions(R, E, C.blockCount(), LCtx); in InvalidateBuffer()
|
| D | RetainCountChecker.cpp | 3191 state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx); in evalCall()
|