Home
last modified time | relevance | path

Searched refs:ITraits (Results 1 – 9 of 9) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DLoopWidening.cpp57 RegionAndSymbolInvalidationTraits ITraits; in getWidenedLoopState() local
59 ITraits.setTrait(Region, in getWidenedLoopState()
64 &ITraits); in getWidenedLoopState()
DProgramState.cpp145 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
152 IS, ITraits, Call); in invalidateRegions()
162 RegionAndSymbolInvalidationTraits *ITraits) const { in invalidateRegions()
165 IS, ITraits, Call); in invalidateRegions()
174 RegionAndSymbolInvalidationTraits *ITraits, in invalidateRegionsImpl() argument
184 if (!ITraits) in invalidateRegionsImpl()
185 ITraits = &ITraitsLocal; in invalidateRegionsImpl()
192 *IS, *ITraits, &TopLevelInvalidated, in invalidateRegionsImpl()
201 *ITraits); in invalidateRegionsImpl()
210 *IS, *ITraits, nullptr, nullptr); in invalidateRegionsImpl()
DRegionStore.cpp391 RegionAndSymbolInvalidationTraits &ITraits,
932 RegionAndSymbolInvalidationTraits &ITraits; member in __anon731808030711::invalidateRegionsWorker
946 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r), in invalidateRegionsWorker()
967 bool doNotInvalidateSuperRegion = ITraits.hasTrait( in AddToWorkList()
1002 ITraits.hasTrait(baseR, in VisitCluster()
1085 bool doNotInvalidateSuperRegion = ITraits.hasTrait( in VisitCluster()
1182 return ITraits.hasTrait(MemSpace, in includeEntireMemorySpace()
1248 RegionAndSymbolInvalidationTraits &ITraits, in invalidateRegions() argument
1262 invalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, in invalidateRegions()
DExprEngine.cpp2122 RegionAndSymbolInvalidationTraits &ITraits) { in notifyCheckersOfPointerEscape() argument
2132 &ITraits); in notifyCheckersOfPointerEscape()
2154 SymbolsDirectlyInvalidated, Call, PSK_DirectEscapeOnCall, &ITraits); in notifyCheckersOfPointerEscape()
2159 SymbolsIndirectlyInvalidated, Call, PSK_IndirectEscapeOnCall, &ITraits); in notifyCheckersOfPointerEscape()
/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h361 RegionAndSymbolInvalidationTraits *ITraits);
453 RegionAndSymbolInvalidationTraits *ITraits)>
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DStore.h190 RegionAndSymbolInvalidationTraits &ITraits,
DProgramState.h264 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
271 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
DExprEngine.h511 RegionAndSymbolInvalidationTraits &ITraits) override;
/external/clang/lib/StaticAnalyzer/Checkers/
DCStringChecker.cpp915 RegionAndSymbolInvalidationTraits ITraits; in InvalidateBuffer() local
919 ITraits.setTrait(R, in InvalidateBuffer()
921 ITraits.setTrait(R, RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in InvalidateBuffer()
929 ITraits.setTrait( in InvalidateBuffer()
937 &ITraits); in InvalidateBuffer()