Home
last modified time | relevance | path

Searched refs:RegionAndSymbolInvalidationTraits (Results 1 – 17 of 17) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DLoopWidening.cpp45 RegionAndSymbolInvalidationTraits ITraits; in getWidenedLoopState()
48 RegionAndSymbolInvalidationTraits::TK_EntireMemSpace); in getWidenedLoopState()
61 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in getWidenedLoopState()
74 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in getWidenedLoopState()
H A DCallEvent.cpp242 RegionAndSymbolInvalidationTraits ETraits; in invalidateRegions()
257 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in invalidateRegions()
716 ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
741 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in getExtraInvalidatedValues()
903 RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
939 RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
943 RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in getExtraInvalidatedValues()
949 Obj, RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in getExtraInvalidatedValues()
1000 ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
1011 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in getExtraInvalidatedValues()
[all …]
H A DProgramState.cpp154 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
167 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
176 RegionAndSymbolInvalidationTraits ITraitsLocal; in invalidateRegions()
H A DRegionStore.cpp573 RegionAndSymbolInvalidationTraits &ITraits,
1152 RegionAndSymbolInvalidationTraits &ITraits;
1160 RegionAndSymbolInvalidationTraits &ITraitsIn, in InvalidateRegionsWorker()
1186 R, RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in AddToWorkList()
1220 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in VisitCluster()
1328 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in VisitCluster()
1419 RegionAndSymbolInvalidationTraits::TK_EntireMemSpace); in includeEntireMemorySpace()
1468 RegionAndSymbolInvalidationTraits &ITraits, in invalidateRegions()
H A DMemRegion.cpp1837 void RegionAndSymbolInvalidationTraits::setTrait(SymbolRef Sym, in setTrait()
1842 void RegionAndSymbolInvalidationTraits::setTrait(const MemRegion *MR, in setTrait()
1851 bool RegionAndSymbolInvalidationTraits::hasTrait(SymbolRef Sym, in hasTrait()
1860 bool RegionAndSymbolInvalidationTraits::hasTrait(const MemRegion *MR, in hasTrait()
H A DExprEngineCallAndReturn.cpp784 RegionAndSymbolInvalidationTraits ITraits; in bindReturnValue()
786 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in bindReturnValue()
H A DCheckerManager.cpp690 RegionAndSymbolInvalidationTraits *ETraits) { in runCheckersForPointerEscape()
H A DExprEngine.cpp3666 RegionAndSymbolInvalidationTraits &ITraits) { in notifyCheckersOfPointerEscape()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DChecker.h378 RegionAndSymbolInvalidationTraits *ETraits) { in _checkPointerEscape()
389 Sym, RegionAndSymbolInvalidationTraits::TK_PreserveContents) && in _checkPointerEscape()
391 Sym, RegionAndSymbolInvalidationTraits::TK_SuppressEscape)) in _checkPointerEscape()
420 RegionAndSymbolInvalidationTraits *ETraits) { in _checkConstPointerEscape()
428 Sym, RegionAndSymbolInvalidationTraits::TK_PreserveContents) && in _checkConstPointerEscape()
430 Sym, RegionAndSymbolInvalidationTraits::TK_SuppressEscape)) in _checkConstPointerEscape()
H A DCheckerManager.h55 class RegionAndSymbolInvalidationTraits; variable
438 RegionAndSymbolInvalidationTraits *ITraits);
539 RegionAndSymbolInvalidationTraits *ITraits)>;
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h212 RegionAndSymbolInvalidationTraits *ETraits) const {} in getExtraInvalidatedValues()
589 RegionAndSymbolInvalidationTraits *ETraits) const override;
693 RegionAndSymbolInvalidationTraits *ETraits) const override;
968 RegionAndSymbolInvalidationTraits *ETraits) const override;
1269 RegionAndSymbolInvalidationTraits *ETraits) const override;
H A DStore.h246 InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits,
H A DExprEngine.h92 class RegionAndSymbolInvalidationTraits; variable
656 RegionAndSymbolInvalidationTraits &ITraits);
H A DProgramState.h333 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
340 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
H A DMemRegion.h1657 class RegionAndSymbolInvalidationTraits {
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp297 llvm::function_ref<bool(RegionAndSymbolInvalidationTraits &,
1217 SizeTy](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateDestinationBufferBySize()
1224 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in invalidateDestinationBufferBySize()
1235 auto InvalidationTraitOperations = [](RegionAndSymbolInvalidationTraits &, in invalidateDestinationBufferAlwaysEscapeSuperRegion()
1246 [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateDestinationBufferNeverOverflows() argument
1250 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in invalidateDestinationBufferNeverOverflows()
1262 [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateSourceBuffer()
1265 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in invalidateSourceBuffer()
1267 RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in invalidateSourceBuffer()
1276 llvm::function_ref<bool(RegionAndSymbolInvalidationTraits &, in invalidateBufferAux() argument
[all …]
H A DStreamChecker.cpp841 RegionAndSymbolInvalidationTraits::InvalidationKinds:: in escapeByStartIndexAndCount()
852 RegionAndSymbolInvalidationTraits ITraits; in escapeByStartIndexAndCount()