| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 157 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
163 IS, ITraits, Call); in invalidateRegions()
173 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
176 IS, ITraits, Call); in invalidateRegions()
185 RegionAndSymbolInvalidationTraits *ITraits, in invalidateRegionsImpl() argument
195 if (!ITraits) in invalidateRegionsImpl()
196 ITraits = &ITraitsLocal; in invalidateRegionsImpl()
202 *IS, *ITraits, &TopLevelInvalidated, in invalidateRegionsImpl()
211 *ITraits); in invalidateRegionsImpl()
|
| H A D | RegionStore.cpp | 421 RegionAndSymbolInvalidationTraits &ITraits,
982 RegionAndSymbolInvalidationTraits &ITraits; member in __anonfa909ae00611::InvalidateRegionsWorker
996 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r), in InvalidateRegionsWorker()
1017 bool doNotInvalidateSuperRegion = ITraits.hasTrait( in AddToWorkList()
1051 ITraits.hasTrait(baseR, in VisitCluster()
1158 bool doNotInvalidateSuperRegion = ITraits.hasTrait( in VisitCluster()
1251 return ITraits.hasTrait(MemSpace, in includeEntireMemorySpace()
1308 RegionAndSymbolInvalidationTraits &ITraits, in invalidateRegions() argument
1322 InvalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, in invalidateRegions()
|
| H A D | ExprEngineCallAndReturn.cpp | 783 RegionAndSymbolInvalidationTraits ITraits; in bindReturnValue() local
784 ITraits.setTrait(TargetR, in bindReturnValue()
788 &Call, &ITraits); in bindReturnValue()
|
| H A D | ExprEngine.cpp | 3541 RegionAndSymbolInvalidationTraits &ITraits) { in notifyCheckersOfPointerEscape() argument
3550 &ITraits); in notifyCheckersOfPointerEscape()
3569 SymbolsDirectlyInvalidated, Call, PSK_DirectEscapeOnCall, &ITraits); in notifyCheckersOfPointerEscape()
3574 SymbolsIndirectlyInvalidated, Call, PSK_IndirectEscapeOnCall, &ITraits); in notifyCheckersOfPointerEscape()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1211 SizeTy](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateDestinationBufferBySize() argument
1216 ITraits.setTrait( in invalidateDestinationBufferBySize()
1240 [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateDestinationBufferNeverOverflows() argument
1242 ITraits.setTrait( in invalidateDestinationBufferNeverOverflows()
1256 [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateSourceBuffer() argument
1257 ITraits.setTrait( in invalidateSourceBuffer()
1260 ITraits.setTrait(R, in invalidateSourceBuffer()
1292 RegionAndSymbolInvalidationTraits ITraits; in invalidateBufferAux() local
1293 bool CausesPointerEscape = InvalidationTraitOperations(ITraits, R); in invalidateBufferAux()
1297 &ITraits); in invalidateBufferAux()
|
| H A D | StreamChecker.cpp | 836 RegionAndSymbolInvalidationTraits ITraits; in escapeByStartIndexAndCount() local
842 ITraits.setTrait(Element, DoNotInvalidateSuperRegion); in escapeByStartIndexAndCount()
847 /*InvalidatedSymbols=*/nullptr, &Call, &ITraits); in escapeByStartIndexAndCount()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 430 RegionAndSymbolInvalidationTraits *ITraits);
528 RegionAndSymbolInvalidationTraits *ITraits)>;
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 231 InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits,
|
| H A D | ProgramState.h | 330 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
337 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
|
| H A D | ExprEngine.h | 643 RegionAndSymbolInvalidationTraits &ITraits);
|