Searched refs:RegionAndSymbolInvalidationTraits (Results 1 – 16 of 16) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 62 RegionAndSymbolInvalidationTraits ITraits; in getWidenedLoopState()
65 RegionAndSymbolInvalidationTraits::TK_EntireMemSpace); in getWidenedLoopState()
78 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in getWidenedLoopState()
91 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in getWidenedLoopState()
|
| H A D | CallEvent.cpp | 244 RegionAndSymbolInvalidationTraits ETraits; in invalidateRegions()
259 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in invalidateRegions()
646 ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
672 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in getExtraInvalidatedValues()
827 RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
863 RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
867 RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in getExtraInvalidatedValues()
916 ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
927 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in getExtraInvalidatedValues()
930 RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in getExtraInvalidatedValues()
|
| H A D | ProgramState.cpp | 156 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
173 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
185 RegionAndSymbolInvalidationTraits *ITraits, in invalidateRegionsImpl()
194 RegionAndSymbolInvalidationTraits ITraitsLocal; in invalidateRegionsImpl()
|
| H A D | RegionStore.cpp | 415 RegionAndSymbolInvalidationTraits &ITraits,
980 RegionAndSymbolInvalidationTraits &ITraits;
990 RegionAndSymbolInvalidationTraits &ITraitsIn, in InvalidateRegionsWorker()
1016 R, RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in AddToWorkList()
1051 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in VisitCluster()
1161 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in VisitCluster()
1256 RegionAndSymbolInvalidationTraits::TK_EntireMemSpace); in includeEntireMemorySpace()
1321 RegionAndSymbolInvalidationTraits &ITraits, in invalidateRegions()
|
| H A D | MemRegion.cpp | 1717 void RegionAndSymbolInvalidationTraits::setTrait(SymbolRef Sym, in setTrait()
1722 void RegionAndSymbolInvalidationTraits::setTrait(const MemRegion *MR, in setTrait()
1731 bool RegionAndSymbolInvalidationTraits::hasTrait(SymbolRef Sym, in hasTrait()
1740 bool RegionAndSymbolInvalidationTraits::hasTrait(const MemRegion *MR, in hasTrait()
|
| H A D | ExprEngineCallAndReturn.cpp | 733 RegionAndSymbolInvalidationTraits ITraits; in bindReturnValue()
735 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in bindReturnValue()
|
| H A D | CheckerManager.cpp | 622 RegionAndSymbolInvalidationTraits *ETraits) { in runCheckersForPointerEscape()
|
| H A D | ExprEngine.cpp | 3178 RegionAndSymbolInvalidationTraits &ITraits) { in notifyCheckersOfPointerEscape()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 364 RegionAndSymbolInvalidationTraits *ETraits) { in _checkPointerEscape()
376 RegionAndSymbolInvalidationTraits::TK_PreserveContents) && in _checkPointerEscape()
378 RegionAndSymbolInvalidationTraits::TK_SuppressEscape)) in _checkPointerEscape()
407 RegionAndSymbolInvalidationTraits *ETraits) { in _checkConstPointerEscape()
416 RegionAndSymbolInvalidationTraits::TK_PreserveContents) && in _checkConstPointerEscape()
418 RegionAndSymbolInvalidationTraits::TK_SuppressEscape)) in _checkConstPointerEscape()
|
| H A D | CheckerManager.h | 54 class RegionAndSymbolInvalidationTraits; variable
430 RegionAndSymbolInvalidationTraits *ITraits);
530 RegionAndSymbolInvalidationTraits *ITraits)>;
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CallEvent.h | 202 RegionAndSymbolInvalidationTraits *ETraits) const {} in getExtraInvalidatedValues()
567 RegionAndSymbolInvalidationTraits *ETraits) const override;
671 RegionAndSymbolInvalidationTraits *ETraits) const override;
856 RegionAndSymbolInvalidationTraits *ETraits) const override;
1136 RegionAndSymbolInvalidationTraits *ETraits) const override;
|
| H A D | ProgramState.h | 329 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
336 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
493 RegionAndSymbolInvalidationTraits *HTraits,
|
| H A D | Store.h | 233 RegionAndSymbolInvalidationTraits &ITraits,
|
| H A D | ExprEngine.h | 91 class RegionAndSymbolInvalidationTraits; variable
652 RegionAndSymbolInvalidationTraits &ITraits);
|
| H A D | MemRegion.h | 1558 class RegionAndSymbolInvalidationTraits {
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1028 RegionAndSymbolInvalidationTraits ITraits; in InvalidateBuffer()
1033 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in InvalidateBuffer()
1034 ITraits.setTrait(R, RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in InvalidateBuffer()
1044 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in InvalidateBuffer()
|