Searched defs:Invalidated (Results 1 - 2 of 2) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 179 StoreManager::InvalidatedRegions Invalidated; local
182 Call, &Invalidated);
184 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated, Call);
|
| H A D | RegionStore.cpp | 254 InvalidatedRegions *Invalidated);
261 InvalidatedRegions *Invalidated);
749 InvalidatedRegions *Invalidated) {
763 if (Invalidated)
764 Invalidated->push_back(GS);
775 InvalidatedRegions *Invalidated) {
778 Ex, Count, LCtx, IS, Invalidated, false);
800 Ex, Count, LCtx, B, Invalidated);
804 Ex, Count, LCtx, B, Invalidated);
806 Ex, Count, LCtx, B, Invalidated);
744 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindings B, InvalidatedRegions *Invalidated) argument
769 invalidateRegions(Store store, ArrayRef<const MemRegion *> Regions, const Expr *Ex, unsigned Count, const LocationContext *LCtx, InvalidatedSymbols &IS, const CallOrObjCMessage *Call, InvalidatedRegions *Invalidated) argument
[all...] |
Completed in 59 milliseconds