Searched refs:Invalidated (Results 1 - 11 of 11) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckerDocumentation.cpp | 257 /// \param Invalidated A set of all symbols potentially touched by the change.
274 const InvalidatedSymbols *Invalidated,
273 checkRegionChanges(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, const CallEvent *Call) const argument
|
| H A D | AnalysisOrderChecker.cpp | 161 const InvalidatedSymbols *Invalidated,
160 checkRegionChanges(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, const CallEvent *Call) const argument
|
| H A D | MoveChecker.cpp | 58 const InvalidatedSymbols *Invalidated,
702 ProgramStateRef State, const InvalidatedSymbols *Invalidated,
701 checkRegionChanges( ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> RequestedRegions, ArrayRef<const MemRegion *> InvalidatedRegions, const LocationContext *LCtx, const CallEvent *Call) const argument
|
| H A D | CStringChecker.cpp | 2354 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;
2361 Invalidated.insert(MR);
2387 if (Invalidated.count(Super)) {
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SubEngine.h | 159 const InvalidatedSymbols *Invalidated,
|
| H A D | Store.h | 230 /// \param[in,out] Invalidated A vector to fill with any regions being
242 InvalidatedRegions *Invalidated) = 0;
|
| H A D | ExprEngine.h | 631 const InvalidatedSymbols *Invalidated,
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 203 StoreManager::InvalidatedRegions Invalidated; local
207 &Invalidated);
219 Invalidated, LCtx, Call);
|
| H A D | RegionStore.cpp | 423 InvalidatedRegions *Invalidated);
432 InvalidatedRegions *Invalidated,
1285 InvalidatedRegions *Invalidated) {
1298 if (Invalidated)
1299 Invalidated->push_back(GS);
1343 InvalidatedRegions *Invalidated) {
1356 Invalidated, GlobalsFilter);
1376 Ex, Count, LCtx, B, Invalidated);
1380 Ex, Count, LCtx, B, Invalidated);
1280 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument
1335 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 | 2748 const InvalidatedSymbols *Invalidated,
2752 if (!Invalidated || Invalidated->empty())
2757 *Invalidated,
2771 for (const auto &sym : *Invalidated) {
2747 notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, const CallEvent *Call, RegionAndSymbolInvalidationTraits &ITraits) argument
|
| /freebsd-11-stable/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | LICM.cpp | 1116 bool Invalidated;
1118 Invalidated = pointerInvalidatedByLoop(MemoryLocation::get(LI), CurAST,
1121 Invalidated = pointerInvalidatedByLoopWithMSSA(
1125 if (ORE && Invalidated && CurLoop->isLoopInvariant(LI->getPointerOperand()))
1133 return !Invalidated;
1164 bool Invalidated; local
1166 Invalidated = pointerInvalidatedByLoop(
1170 Invalidated = pointerInvalidatedByLoopWithMSSA(
1173 if (Invalidated)
|
Completed in 259 milliseconds