Searched defs:Invalidated (Results 1 - 4 of 4) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp233 /// \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 DProgramState.cpp179 InvalidatedSymbols Invalidated; local
181 IS = &Invalidated;
189 StoreManager::InvalidatedRegions Invalidated; local
193 &Invalidated);
200 Invalidated, Call,
205 Invalidated, Call);
H A DExprEngine.cpp2064 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 DRegionStore.cpp389 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