Home
last modified time | relevance | path

Searched refs:Invalidated (Results 1 – 6 of 6) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DCheckerDocumentation.cpp235 const StoreManager::InvalidatedSymbols *Invalidated, in checkRegionChanges() argument
DCStringChecker.cpp1895 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated; in checkRegionChanges() local
1902 Invalidated.insert(MR); in checkRegionChanges()
1928 if (Invalidated.count(Super)) { in checkRegionChanges()
/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp221 InvalidatedRegions *Invalidated);
228 InvalidatedRegions *Invalidated);
782 InvalidatedRegions *Invalidated) { in invalidateGlobalRegion() argument
795 if (Invalidated) in invalidateGlobalRegion()
796 Invalidated->push_back(GS); in invalidateGlobalRegion()
807 InvalidatedRegions *Invalidated) { in invalidateRegions() argument
810 Ex, Count, LCtx, IS, Invalidated, false); in invalidateRegions()
832 Ex, Count, LCtx, B, Invalidated); in invalidateRegions()
836 Ex, Count, LCtx, B, Invalidated); in invalidateRegions()
838 Ex, Count, LCtx, B, Invalidated); in invalidateRegions()
DProgramState.cpp167 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl() local
170 Call, &Invalidated); in invalidateRegionsImpl()
172 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated, Call); in invalidateRegionsImpl()
/external/astl/include/
Dlist190 // Removes first element. Invalidated the iterators/references to begin.
193 // Removes last element. Invalidated the iterators/references to
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DStore.h194 InvalidatedRegions *Invalidated) = 0;