| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 45 RegionAndSymbolInvalidationTraits ITraits; in getWidenedLoopState() local
47 ITraits.setTrait(Region, in getWidenedLoopState()
60 ITraits.setTrait(VarMem, in getWidenedLoopState()
73 ITraits.setTrait(ThisR, in getWidenedLoopState()
78 nullptr, nullptr, &ITraits); in getWidenedLoopState()
|
| H A D | ProgramState.cpp | 154 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
160 Call, ITraits); in invalidateRegions()
167 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
177 if (!ITraits) in invalidateRegions()
178 ITraits = &ITraitsLocal; in invalidateRegions()
183 getStore(), Values, Elem, Count, LCtx, Call, *IS, *ITraits, in invalidateRegions()
190 NewState, IS, TopLevelInvalidated, Call, *ITraits); in invalidateRegions()
|
| H A D | RegionStore.cpp | 573 RegionAndSymbolInvalidationTraits &ITraits,
1152 RegionAndSymbolInvalidationTraits &ITraits; member in __anonfa909ae00c11::InvalidateRegionsWorker
1164 Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r), in InvalidateRegionsWorker()
1185 bool doNotInvalidateSuperRegion = ITraits.hasTrait( in AddToWorkList()
1219 ITraits.hasTrait(baseR, in VisitCluster()
1326 bool doNotInvalidateSuperRegion = ITraits.hasTrait( in VisitCluster()
1418 return ITraits.hasTrait(MemSpace, in includeEntireMemorySpace()
1468 RegionAndSymbolInvalidationTraits &ITraits, in invalidateRegions() argument
1481 InvalidateRegionsWorker W(*this, StateMgr, B, Elem, Count, LCtx, IS, ITraits, in invalidateRegions()
|
| H A D | ExprEngineCallAndReturn.cpp | 784 RegionAndSymbolInvalidationTraits ITraits; in bindReturnValue() local
785 ITraits.setTrait(TargetR, in bindReturnValue()
789 &Call, &ITraits); in bindReturnValue()
|
| H A D | ExprEngine.cpp | 3666 RegionAndSymbolInvalidationTraits &ITraits) { in notifyCheckersOfPointerEscape() argument
3675 &ITraits); in notifyCheckersOfPointerEscape()
3694 SymbolsDirectlyInvalidated, Call, PSK_DirectEscapeOnCall, &ITraits); in notifyCheckersOfPointerEscape()
3699 SymbolsIndirectlyInvalidated, Call, PSK_IndirectEscapeOnCall, &ITraits); in notifyCheckersOfPointerEscape()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1217 SizeTy](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateDestinationBufferBySize() argument
1222 ITraits.setTrait( in invalidateDestinationBufferBySize()
1246 [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateDestinationBufferNeverOverflows() argument
1248 ITraits.setTrait( in invalidateDestinationBufferNeverOverflows()
1262 [](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) { in invalidateSourceBuffer() argument
1263 ITraits.setTrait( in invalidateSourceBuffer()
1266 ITraits.setTrait(R, in invalidateSourceBuffer()
1298 RegionAndSymbolInvalidationTraits ITraits; in invalidateBufferAux() local
1299 bool CausesPointerEscape = InvalidationTraitOperations(ITraits, R); in invalidateBufferAux()
1303 &ITraits); in invalidateBufferAux()
|
| H A D | StreamChecker.cpp | 852 RegionAndSymbolInvalidationTraits ITraits; in escapeByStartIndexAndCount() local
858 ITraits.setTrait(Element, DoNotInvalidateSuperRegion); in escapeByStartIndexAndCount()
863 /*InvalidatedSymbols=*/nullptr, &Call, &ITraits); in escapeByStartIndexAndCount()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 438 RegionAndSymbolInvalidationTraits *ITraits);
539 RegionAndSymbolInvalidationTraits *ITraits)>;
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 246 InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits,
|
| H A D | ProgramState.h | 333 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
340 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
|
| H A D | ExprEngine.h | 656 RegionAndSymbolInvalidationTraits &ITraits);
|