Searched refs:Invalidated (Results 1 – 8 of 8) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 179 InvalidatedSymbols Invalidated; in invalidateRegionsImpl() local
181 IS = &Invalidated; in invalidateRegionsImpl()
189 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl() local
193 &Invalidated); in invalidateRegionsImpl()
200 Invalidated, Call, in invalidateRegionsImpl()
205 Invalidated, Call); in invalidateRegionsImpl()
|
| D | RegionStore.cpp | 389 InvalidatedRegions *Invalidated);
398 InvalidatedRegions *Invalidated,
1099 InvalidatedRegions *Invalidated) { in invalidateGlobalRegion() argument
1112 if (Invalidated) in invalidateGlobalRegion()
1113 Invalidated->push_back(GS); in invalidateGlobalRegion()
1157 InvalidatedRegions *Invalidated) { in invalidateRegions() argument
1170 Invalidated, GlobalsFilter); in invalidateRegions()
1190 Ex, Count, LCtx, B, Invalidated); in invalidateRegions()
1194 Ex, Count, LCtx, B, Invalidated); in invalidateRegions()
|
| D | ExprEngine.cpp | 1952 const InvalidatedSymbols *Invalidated, in notifyCheckersOfPointerEscape() argument
1958 if (!Invalidated || Invalidated->empty()) in notifyCheckersOfPointerEscape()
1963 *Invalidated, in notifyCheckersOfPointerEscape()
1978 for (InvalidatedSymbols::const_iterator I=Invalidated->begin(), in notifyCheckersOfPointerEscape()
1979 E = Invalidated->end(); I!=E; ++I) { in notifyCheckersOfPointerEscape()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CheckerDocumentation.cpp | 251 const InvalidatedSymbols *Invalidated, in checkRegionChanges() argument
|
| D | CStringChecker.cpp | 1989 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated; in checkRegionChanges() local
1996 Invalidated.insert(MR); in checkRegionChanges()
2022 if (Invalidated.count(Super)) { in checkRegionChanges()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SubEngine.h | 133 const InvalidatedSymbols *Invalidated,
|
| D | Store.h | 192 InvalidatedRegions *Invalidated) = 0;
|
| D | ExprEngine.h | 490 const InvalidatedSymbols *Invalidated,
|