Searched refs:Invalidated (Results 1 - 8 of 8) sorted by relevance
| /freebsd-10.2-release/contrib/llvm/tools/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 | 1978 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;
1985 Invalidated.insert(MR);
2011 if (Invalidated.count(Super)) {
|
| /freebsd-10.2-release/contrib/llvm/tools/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 | 484 const InvalidatedSymbols *Invalidated,
|
| /freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 180 InvalidatedSymbols Invalidated; local
182 IS = &Invalidated;
190 StoreManager::InvalidatedRegions Invalidated; local
194 &Invalidated);
201 Invalidated, Call,
206 Invalidated, Call);
|
| H A D | RegionStore.cpp | 393 InvalidatedRegions *Invalidated);
402 InvalidatedRegions *Invalidated,
1102 InvalidatedRegions *Invalidated) {
1115 if (Invalidated)
1116 Invalidated->push_back(GS);
1160 InvalidatedRegions *Invalidated) {
1173 Invalidated, GlobalsFilter);
1193 Ex, Count, LCtx, B, Invalidated);
1197 Ex, Count, LCtx, B, Invalidated);
1097 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument
1152 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 | 1888 const InvalidatedSymbols *Invalidated,
1894 if (!Invalidated || Invalidated->empty())
1899 *Invalidated,
1914 for (InvalidatedSymbols::const_iterator I=Invalidated->begin(),
1915 E = Invalidated->end(); I!=E; ++I) {
1887 notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call, RegionAndSymbolInvalidationTraits &ITraits) argument
|
Completed in 185 milliseconds