| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoChecker.cpp | 41 const InvalidatedSymbols *Invalidated,
219 ProgramStateRef State, const InvalidatedSymbols *Invalidated, in checkRegionChanges() argument
|
| H A D | CheckerDocumentation.cpp | 260 /// \param Invalidated A set of all symbols potentially touched by the change.
277 const InvalidatedSymbols *Invalidated, in checkRegionChanges()
274 checkRegionChanges(ProgramStateRef State,const InvalidatedSymbols * Invalidated,ArrayRef<const MemRegion * > ExplicitRegions,ArrayRef<const MemRegion * > Regions,const LocationContext * LCtx,const CallEvent * Call) const checkRegionChanges() argument
|
| H A D | AnalysisOrderChecker.cpp | 199 const InvalidatedSymbols *Invalidated, in checkRegionChanges() argument
|
| H A D | MoveChecker.cpp | 57 const InvalidatedSymbols *Invalidated,
699 ProgramStateRef State, const InvalidatedSymbols *Invalidated, in checkRegionChanges() argument
|
| H A D | SmartPtrModeling.cpp | 57 const InvalidatedSymbols *Invalidated,
574 ProgramStateRef State, const InvalidatedSymbols *Invalidated, in checkRegionChanges() argument
|
| H A D | CStringChecker.cpp | 2768 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated;
2773 Invalidated.insert(MR);
2796 if (Invalidated.count(Super)) {
2621 llvm::SmallPtrSet<const MemRegion *, 8> Invalidated; checkRegionChanges() local
|
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 199 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl() local
203 &Invalidated); in invalidateRegionsImpl()
215 Invalidated, LCtx, Call); in invalidateRegionsImpl()
|
| H A D | RegionStore.cpp | 413 InvalidatedRegions *Invalidated);
422 InvalidatedRegions *Invalidated,
1261 InvalidatedRegions *Invalidated) { in invalidateGlobalRegion() argument
1274 if (Invalidated) in invalidateGlobalRegion()
1275 Invalidated->push_back(GS); in invalidateGlobalRegion()
1310 InvalidatedRegions *Invalidated) { in invalidateRegions() argument
1323 Invalidated, GlobalsFilter); in invalidateRegions()
1343 Ex, Count, LCtx, B, Invalidated); in invalidateRegions()
1347 Ex, Count, LCtx, B, Invalidated); in invalidateRegions()
|
| H A D | ExprEngine.cpp | 3538 const InvalidatedSymbols *Invalidated, in notifyCheckersOfPointerEscape()
3542 if (!Invalidated || Invalidated->empty()) in notifyCheckersOfPointerEscape()
3547 *Invalidated, in notifyCheckersOfPointerEscape()
3561 for (const auto &sym : *Invalidated) { in notifyCheckersOfPointerEscape()
3526 notifyCheckersOfPointerEscape(ProgramStateRef State,const InvalidatedSymbols * Invalidated,ArrayRef<const MemRegion * > ExplicitRegions,const CallEvent * Call,RegionAndSymbolInvalidationTraits & ITraits) notifyCheckersOfPointerEscape() argument
|
| /freebsd-src/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | SCCPSolver.cpp | 387 DenseSet<Value *> Invalidated;
531 if (!Invalidated.insert(Inst).second) in invalidate()
565 LLVM_DEBUG(dbgs() << "Invalidated lattice for " << *V << "\n");
869 for (Value *V : Invalidated) in markConstant()
873 Invalidated.clear(); in markConstant()
1905 Invalidated.erase(I); in resolvedUndef()
1922 Invalidated.erase(I); in resolvedUndef()
370 DenseSet<Value *> Invalidated; global() member in llvm::SCCPInstVisitor
|
| /freebsd-src/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
232 InvalidatedRegions *TopLevelRegions, InvalidatedRegions *Invalidated) = 0;
|
| H A D | ExprEngine.h | 640 const InvalidatedSymbols *Invalidated,
|
| /freebsd-src/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | LICM.cpp | 1193 bool Invalidated = pointerInvalidatedByLoop( in canSinkOrHoistInst()
1197 if (ORE && Invalidated && CurLoop->isLoopInvariant(LI->getPointerOperand())) in canSinkOrHoistInst()
1205 return !Invalidated; in canSinkOrHoistInst()
1182 bool Invalidated = pointerInvalidatedByLoop( canSinkOrHoistInst() local
|
| /freebsd-src/contrib/llvm-project/llvm/lib/Passes/ |
| H A D | StandardInstrumentations.cpp | 806 Invalidated, in printBeforePass()
964 DumpIRFilename + getFileSuffix(IRDumpFileSuffixType::Invalidated).str(); in registerCallbacks()
752 Invalidated, global() enumerator
|