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.cpp199 StoreManager::InvalidatedRegions Invalidated; local
206 &Invalidated);
213 Invalidated, Call);
224 TopLevelInvalidated, Invalidated,
H A DExprEngine.cpp1845 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 DRegionStore.cpp394 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