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 | 199 StoreManager::InvalidatedRegions Invalidated; local 206 &Invalidated); 213 Invalidated, Call); 224 TopLevelInvalidated, Invalidated,
|
H A D | ExprEngine.cpp | 1845 const InvalidatedSymbols *Invalidated, 1851 if (!Invalidated || Invalidated->empty()) 1856 *Invalidated, 1866 *Invalidated, 1881 for (InvalidatedSymbols::const_iterator I=Invalidated->begin(), 1882 E = Invalidated->end(); I!=E; ++I) { 1844 notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call, bool IsConst) argument
|
H A D | RegionStore.cpp | 394 InvalidatedRegions *Invalidated); 404 InvalidatedRegions *Invalidated, 1103 InvalidatedRegions *Invalidated) { 1116 if (Invalidated) 1117 Invalidated->push_back(GS); 1164 InvalidatedRegions *Invalidated) { 1177 Invalidated, GlobalsFilter); 1200 Ex, Count, LCtx, B, Invalidated); 1204 Ex, Count, LCtx, B, Invalidated); 1098 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument 1154 invalidateRegions(Store store, ArrayRef<SVal> Values, ArrayRef<SVal> ConstValues, const Expr *Ex, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, InvalidatedSymbols &ConstIS, InvalidatedRegions *TopLevelRegions, InvalidatedRegions *TopLevelConstRegions, InvalidatedRegions *Invalidated) argument
|
Completed in 4210 milliseconds