Home
last modified time | relevance | path

Searched refs:invalidateRegions (Results 1 – 12 of 12) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DLoopWidening.cpp62 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt), in getWidenedLoopState()
DProgramState.cpp139 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()
DCallEvent.cpp156 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, in invalidateRegions() function in CallEvent
190 return Result->invalidateRegions(ValuesToInvalidate, getOriginExpr(), in invalidateRegions()
DExprEngineCXX.cpp468 State = Call->invalidateRegions(blockCount); in VisitCXXNewExpr()
DExprEngineCallAndReturn.cpp565 State = Call.invalidateRegions(currBldrCtx->blockCount(), State); in conservativeEvalCall()
DRegionStore.cpp387 StoreRef invalidateRegions(Store store,
1242 RegionStoreManager::invalidateRegions(Store store, in invalidateRegions() function in RegionStoreManager
DExprEngine.cpp2102 State = State->invalidateRegions(ValuesToInvalidate, AE, in VisitAtomicExpr()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DStore.h184 virtual StoreRef invalidateRegions(Store store,
DProgramState.h261 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
DCallEvent.h348 ProgramStateRef invalidateRegions(unsigned BlockCount,
/external/clang/lib/StaticAnalyzer/Checkers/
DCStringChecker.cpp939 return state->invalidateRegions(R, E, C.blockCount(), LCtx, in InvalidateBuffer()
DRetainCountChecker.cpp3409 state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx, in evalCall()