Searched refs:Invalidated (Results 1 - 8 of 8) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SubEngine.h | 133 const InvalidatedSymbols *Invalidated,
|
H A D | Store.h | 180 /// \param[in,out] Invalidated A vector to fill with any regions being 192 InvalidatedRegions *Invalidated) = 0;
|
H A D | ExprEngine.h | 490 const InvalidatedSymbols *Invalidated,
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CheckerDocumentation.cpp | 233 /// \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
|
H A D | CStringChecker.cpp | 1989 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated; 1996 Invalidated.insert(MR); 2022 if (Invalidated.count(Super)) {
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ProgramState.cpp | 179 InvalidatedSymbols Invalidated; local 181 IS = &Invalidated; 189 StoreManager::InvalidatedRegions Invalidated; local 193 &Invalidated); 200 Invalidated, Call, 205 Invalidated, Call);
|
H A D | RegionStore.cpp | 389 InvalidatedRegions *Invalidated); 398 InvalidatedRegions *Invalidated, 1099 InvalidatedRegions *Invalidated) { 1112 if (Invalidated) 1113 Invalidated->push_back(GS); 1157 InvalidatedRegions *Invalidated) { 1170 Invalidated, GlobalsFilter); 1190 Ex, Count, LCtx, B, Invalidated); 1194 Ex, Count, LCtx, B, Invalidated); 1094 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument 1149 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
|
H A D | ExprEngine.cpp | 1952 const InvalidatedSymbols *Invalidated, 1958 if (!Invalidated || Invalidated->empty()) 1963 *Invalidated, 1978 for (InvalidatedSymbols::const_iterator I=Invalidated->begin(), 1979 E = Invalidated->end(); I!=E; ++I) { 1951 notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call, RegionAndSymbolInvalidationTraits &ITraits) argument
|
Completed in 108 milliseconds