/external/clang/lib/StaticAnalyzer/Core/ |
LoopWidening.cpp | 62 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt),
|
ProgramState.cpp | 139 ProgramState::invalidateRegions(RegionList Regions, 156 ProgramState::invalidateRegions(ValueList Values, 191 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, 209 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
|
CallEvent.cpp | 156 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, 190 return Result->invalidateRegions(ValuesToInvalidate, getOriginExpr(), [all...] |
ExprEngineCXX.cpp | 468 State = Call->invalidateRegions(blockCount);
|
ExprEngineCallAndReturn.cpp | 565 State = Call.invalidateRegions(currBldrCtx->blockCount(), State); [all...] |
RegionStore.cpp | 387 StoreRef invalidateRegions(Store store, [all...] |
ExprEngine.cpp | [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 161 /// invalidateRegions - Clears out the specified regions from the store, 184 virtual StoreRef invalidateRegions(Store store,
|
ProgramState.h | 261 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E, 268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E, 430 /// \sa invalidateRegions()
|
CallEvent.h | 348 ProgramStateRef invalidateRegions(unsigned BlockCount, [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/ |
CStringChecker.cpp | [all...] |