Searched refs:RegionAndSymbolInvalidationTraits (Results 1 – 16 of 16) sorted by relevance
| /openbsd/gnu/llvm/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 | 243 RegionAndSymbolInvalidationTraits ETraits; in invalidateRegions()
258 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in invalidateRegions()
682 ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
708 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in getExtraInvalidatedValues()
863 RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
899 RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
903 RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in getExtraInvalidatedValues()
952 ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
963 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in getExtraInvalidatedValues()
966 RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in getExtraInvalidatedValues()
|
| H A D | ProgramState.cpp | 157 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
174 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
186 RegionAndSymbolInvalidationTraits *ITraits, in invalidateRegionsImpl()
195 RegionAndSymbolInvalidationTraits ITraitsLocal; in invalidateRegionsImpl()
|
| H A D | RegionStore.cpp | 419 RegionAndSymbolInvalidationTraits &ITraits,
986 RegionAndSymbolInvalidationTraits &ITraits;
996 RegionAndSymbolInvalidationTraits &ITraitsIn, in InvalidateRegionsWorker()
1022 R, RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in AddToWorkList()
1056 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in VisitCluster()
1166 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in VisitCluster()
1261 RegionAndSymbolInvalidationTraits::TK_EntireMemSpace); in includeEntireMemorySpace()
1321 RegionAndSymbolInvalidationTraits &ITraits, in invalidateRegions()
|
| H A D | MemRegion.cpp | 1732 void RegionAndSymbolInvalidationTraits::setTrait(SymbolRef Sym, in setTrait()
1737 void RegionAndSymbolInvalidationTraits::setTrait(const MemRegion *MR, in setTrait()
1746 bool RegionAndSymbolInvalidationTraits::hasTrait(SymbolRef Sym, in hasTrait()
1755 bool RegionAndSymbolInvalidationTraits::hasTrait(const MemRegion *MR, in hasTrait()
|
| H A D | ExprEngineCallAndReturn.cpp | 786 RegionAndSymbolInvalidationTraits ITraits; in bindReturnValue()
788 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in bindReturnValue()
|
| H A D | CheckerManager.cpp | 620 RegionAndSymbolInvalidationTraits *ETraits) { in runCheckersForPointerEscape()
|
| H A D | ExprEngine.cpp | 3510 RegionAndSymbolInvalidationTraits &ITraits) { in notifyCheckersOfPointerEscape()
|
| /openbsd/gnu/llvm/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)>;
|
| /openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CallEvent.h | 203 RegionAndSymbolInvalidationTraits *ETraits) const {} in getExtraInvalidatedValues()
568 RegionAndSymbolInvalidationTraits *ETraits) const override;
672 RegionAndSymbolInvalidationTraits *ETraits) const override;
858 RegionAndSymbolInvalidationTraits *ETraits) const override;
1149 RegionAndSymbolInvalidationTraits *ETraits) const override;
|
| H A D | ProgramState.h | 330 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
337 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
495 RegionAndSymbolInvalidationTraits *HTraits,
|
| H A D | Store.h | 234 RegionAndSymbolInvalidationTraits &ITraits,
|
| H A D | ExprEngine.h | 92 class RegionAndSymbolInvalidationTraits; variable
658 RegionAndSymbolInvalidationTraits &ITraits);
|
| H A D | MemRegion.h | 1570 class RegionAndSymbolInvalidationTraits {
|
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1052 RegionAndSymbolInvalidationTraits ITraits; in InvalidateBuffer()
1057 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in InvalidateBuffer()
1058 ITraits.setTrait(R, RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in InvalidateBuffer()
1068 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in InvalidateBuffer()
|