Searched refs:RegionAndSymbolInvalidationTraits (Results 1 – 16 of 16) sorted by relevance
| /netbsd/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 63 RegionAndSymbolInvalidationTraits ITraits; in getWidenedLoopState()
66 RegionAndSymbolInvalidationTraits::TK_EntireMemSpace); in getWidenedLoopState()
79 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in getWidenedLoopState()
92 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in getWidenedLoopState()
|
| H A D | CallEvent.cpp | 261 RegionAndSymbolInvalidationTraits ETraits; in invalidateRegions()
276 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in invalidateRegions()
678 ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
704 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in getExtraInvalidatedValues()
858 RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
894 RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
898 RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in getExtraInvalidatedValues()
947 ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const { in getExtraInvalidatedValues()
958 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in getExtraInvalidatedValues()
961 RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in getExtraInvalidatedValues()
|
| H A D | ProgramState.cpp | 160 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
177 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
189 RegionAndSymbolInvalidationTraits *ITraits, in invalidateRegionsImpl()
198 RegionAndSymbolInvalidationTraits ITraitsLocal; in invalidateRegionsImpl()
|
| H A D | RegionStore.cpp | 431 RegionAndSymbolInvalidationTraits &ITraits,
991 RegionAndSymbolInvalidationTraits &ITraits;
1001 RegionAndSymbolInvalidationTraits &ITraitsIn, in InvalidateRegionsWorker()
1027 R, RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in AddToWorkList()
1062 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in VisitCluster()
1172 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in VisitCluster()
1267 RegionAndSymbolInvalidationTraits::TK_EntireMemSpace); in includeEntireMemorySpace()
1332 RegionAndSymbolInvalidationTraits &ITraits, in invalidateRegions()
|
| H A D | MemRegion.cpp | 1693 void RegionAndSymbolInvalidationTraits::setTrait(SymbolRef Sym, in setTrait()
1698 void RegionAndSymbolInvalidationTraits::setTrait(const MemRegion *MR, in setTrait()
1707 bool RegionAndSymbolInvalidationTraits::hasTrait(SymbolRef Sym, in hasTrait()
1716 bool RegionAndSymbolInvalidationTraits::hasTrait(const MemRegion *MR, in hasTrait()
|
| H A D | ExprEngineCallAndReturn.cpp | 680 RegionAndSymbolInvalidationTraits ITraits; in bindReturnValue()
682 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in bindReturnValue()
|
| H A D | CheckerManager.cpp | 622 RegionAndSymbolInvalidationTraits *ETraits) { in runCheckersForPointerEscape()
|
| H A D | ExprEngine.cpp | 2837 RegionAndSymbolInvalidationTraits &ITraits) { in notifyCheckersOfPointerEscape()
|
| /netbsd/external/apache2/llvm/dist/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 | 55 class RegionAndSymbolInvalidationTraits; variable
431 RegionAndSymbolInvalidationTraits *ITraits);
531 RegionAndSymbolInvalidationTraits *ITraits)>;
|
| /netbsd/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CallEvent.h | 196 RegionAndSymbolInvalidationTraits *ETraits) const {} in getExtraInvalidatedValues()
568 RegionAndSymbolInvalidationTraits *ETraits) const override;
672 RegionAndSymbolInvalidationTraits *ETraits) const override;
857 RegionAndSymbolInvalidationTraits *ETraits) const override;
1137 RegionAndSymbolInvalidationTraits *ETraits) const override;
|
| H A D | ProgramState.h | 287 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
294 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
455 RegionAndSymbolInvalidationTraits *HTraits,
|
| H A D | Store.h | 232 RegionAndSymbolInvalidationTraits &ITraits,
|
| H A D | ExprEngine.h | 95 class RegionAndSymbolInvalidationTraits; variable
656 RegionAndSymbolInvalidationTraits &ITraits);
|
| H A D | MemRegion.h | 1516 class RegionAndSymbolInvalidationTraits {
|
| /netbsd/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 962 RegionAndSymbolInvalidationTraits ITraits; in InvalidateBuffer()
967 RegionAndSymbolInvalidationTraits::TK_PreserveContents); in InvalidateBuffer()
968 ITraits.setTrait(R, RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in InvalidateBuffer()
978 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion); in InvalidateBuffer()
|