Searched refs:Invalidated (Results 1 - 8 of 8) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSubEngine.h133 const InvalidatedSymbols *Invalidated,
H A DStore.h180 /// \param[in,out] Invalidated A vector to fill with any regions being
192 InvalidatedRegions *Invalidated) = 0;
H A DExprEngine.h490 const InvalidatedSymbols *Invalidated,
/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
H A DCStringChecker.cpp1989 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;
1996 Invalidated.insert(MR);
2022 if (Invalidated.count(Super)) {
/external/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp179 InvalidatedSymbols Invalidated; local
181 IS = &Invalidated;
189 StoreManager::InvalidatedRegions Invalidated; local
193 &Invalidated);
200 Invalidated, Call,
205 Invalidated, Call);
H A DRegionStore.cpp389 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 DExprEngine.cpp1952 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