Searched defs:Invalidated (Results 1 - 4 of 4) sorted by relevance
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CheckerDocumentation.cpp | 233 /// \param Invalidated A set of all symbols potentially touched by the change. 251 const InvalidatedSymbols *Invalidated, 250 checkRegionChanges(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call) const argument
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ProgramState.cpp | 179 InvalidatedSymbols Invalidated; local 181 IS = &Invalidated; 189 StoreManager::InvalidatedRegions Invalidated; local 193 &Invalidated); 200 Invalidated, Call, 205 Invalidated, Call);
|
H A D | ExprEngine.cpp | 2064 const InvalidatedSymbols *Invalidated, 2070 if (!Invalidated || Invalidated->empty()) 2075 *Invalidated, 2090 for (InvalidatedSymbols::const_iterator I=Invalidated->begin(), 2091 E = Invalidated->end(); I!=E; ++I) { 2063 notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call, RegionAndSymbolInvalidationTraits &ITraits) argument
|
H A D | RegionStore.cpp | 389 InvalidatedRegions *Invalidated); 398 InvalidatedRegions *Invalidated, 1100 InvalidatedRegions *Invalidated) { 1113 if (Invalidated) 1114 Invalidated->push_back(GS); 1158 InvalidatedRegions *Invalidated) { 1171 Invalidated, GlobalsFilter); 1191 Ex, Count, LCtx, B, Invalidated); 1195 Ex, Count, LCtx, B, Invalidated); 1095 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument 1150 invalidateRegions(Store store, ArrayRef<SVal> Values, const Expr *Ex, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits, InvalidatedRegions *TopLevelRegions, InvalidatedRegions *Invalidated) argument
|
Completed in 120 milliseconds