| /freebsd-current/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 | ErrnoChecker.cpp | 41 const InvalidatedSymbols *Invalidated,
219 ProgramStateRef State, const InvalidatedSymbols *Invalidated,
218 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 | 199 const InvalidatedSymbols *Invalidated,
198 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 | 57 const InvalidatedSymbols *Invalidated,
699 ProgramStateRef State, const InvalidatedSymbols *Invalidated,
698 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 | SmartPtrModeling.cpp | 57 const InvalidatedSymbols *Invalidated,
574 ProgramStateRef State, const InvalidatedSymbols *Invalidated,
573 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 | CStringChecker.cpp | 2621 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;
2626 Invalidated.insert(MR);
2649 if (Invalidated.count(Super)) {
|
| /freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 199 StoreManager::InvalidatedRegions Invalidated; local
203 &Invalidated);
215 Invalidated, LCtx, Call);
|
| H A D | RegionStore.cpp | 413 InvalidatedRegions *Invalidated);
422 InvalidatedRegions *Invalidated,
1261 InvalidatedRegions *Invalidated) {
1274 if (Invalidated)
1275 Invalidated->push_back(GS);
1310 InvalidatedRegions *Invalidated) {
1323 Invalidated, GlobalsFilter);
1343 Ex, Count, LCtx, B, Invalidated);
1347 Ex, Count, LCtx, B, Invalidated);
1256 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument
1302 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 | 3526 const InvalidatedSymbols *Invalidated,
3530 if (!Invalidated || Invalidated->empty())
3535 *Invalidated,
3549 for (const auto &sym : *Invalidated) {
3525 notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, const CallEvent *Call, RegionAndSymbolInvalidationTraits &ITraits) argument
|
| /freebsd-current/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 224 /// \param[in,out] Invalidated A vector to fill with any regions being
236 InvalidatedRegions *Invalidated) = 0;
|
| H A D | ExprEngine.h | 648 const InvalidatedSymbols *Invalidated,
|
| /freebsd-current/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | SCCPSolver.cpp | 370 DenseSet<Value *> Invalidated; member in class:llvm::SCCPInstVisitor
507 if (!Invalidated.insert(Inst).second)
541 LLVM_DEBUG(dbgs() << "Invalidated lattice for " << *V << "\n");
834 for (Value *V : Invalidated)
838 Invalidated.clear();
1849 Invalidated.erase(I);
1866 Invalidated.erase(I);
|
| /freebsd-current/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | LICM.cpp | 1182 bool Invalidated = pointerInvalidatedByLoop( local
1186 if (ORE && Invalidated && CurLoop->isLoopInvariant(LI->getPointerOperand()))
1194 return !Invalidated;
|
| /freebsd-current/contrib/llvm-project/llvm/lib/Passes/ |
| H A D | StandardInstrumentations.cpp | 752 Invalidated,
902 DumpIRFilename + getFileSuffix(IRDumpFileSuffixType::Invalidated).str();
|