Searched refs:invalidateRegions (Results 1 – 10 of 10) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 139 ProgramState::invalidateRegions(RegionList Regions, in invalidateRegions() function in ProgramState
156 ProgramState::invalidateRegions(ValueList Values, in invalidateRegions() function in ProgramState
191 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, in invalidateRegionsImpl()
209 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, in invalidateRegionsImpl()
|
| D | CallEvent.cpp | 138 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, in invalidateRegions() function in CallEvent
172 return Result->invalidateRegions(ValuesToInvalidate, getOriginExpr(), in invalidateRegions()
|
| D | ExprEngineCXX.cpp | 412 State = Call->invalidateRegions(blockCount); in VisitCXXNewExpr()
|
| D | ExprEngineCallAndReturn.cpp | 577 State = Call.invalidateRegions(currBldrCtx->blockCount(), State); in conservativeEvalCall()
|
| D | RegionStore.cpp | 391 StoreRef invalidateRegions(Store store,
1150 RegionStoreManager::invalidateRegions(Store store, in invalidateRegions() function in RegionStoreManager
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Store.h | 184 virtual StoreRef invalidateRegions(Store store,
|
| D | ProgramState.h | 239 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
246 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
|
| D | CallEvent.h | 308 ProgramStateRef invalidateRegions(unsigned BlockCount,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 854 return state->invalidateRegions(R, E, C.blockCount(), LCtx, in InvalidateBuffer()
|
| D | RetainCountChecker.cpp | 3354 state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx, in evalCall()
|