| /external/clang/lib/StaticAnalyzer/Core/ |
| D | LoopWidening.cpp | 57 RegionAndSymbolInvalidationTraits ITraits; in getWidenedLoopState() local
59 ITraits.setTrait(Region, in getWidenedLoopState()
64 &ITraits); in getWidenedLoopState()
|
| D | ProgramState.cpp | 145 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()
|
| D | RegionStore.cpp | 393 RegionAndSymbolInvalidationTraits &ITraits,
933 RegionAndSymbolInvalidationTraits &ITraits; member in __anon38c42dcb0711::invalidateRegionsWorker
947 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r), in invalidateRegionsWorker()
968 bool doNotInvalidateSuperRegion = ITraits.hasTrait( in AddToWorkList()
1003 ITraits.hasTrait(baseR, in VisitCluster()
1086 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()
|
| D | ExprEngine.cpp | 2184 RegionAndSymbolInvalidationTraits &ITraits) { in notifyCheckersOfPointerEscape() argument
2194 &ITraits); in notifyCheckersOfPointerEscape()
2216 SymbolsDirectlyInvalidated, Call, PSK_DirectEscapeOnCall, &ITraits); in notifyCheckersOfPointerEscape()
2221 SymbolsIndirectlyInvalidated, Call, PSK_IndirectEscapeOnCall, &ITraits); in notifyCheckersOfPointerEscape()
|
| /external/llvm/unittests/ADT/ |
| D | PointerEmbeddedIntTest.cpp | 70 using ITraits = PointerLikeTypeTraits<decltype(I)>; in TEST() typedef
71 EXPECT_EQ(42, ITraits::getFromVoidPointer(ITraits::getAsVoidPointer(I))); in TEST()
|
| /external/swiftshader/third_party/llvm-7.0/llvm/unittests/ADT/ |
| D | PointerEmbeddedIntTest.cpp | 70 using ITraits = PointerLikeTypeTraits<decltype(I)>; in TEST() typedef
71 EXPECT_EQ(42, ITraits::getFromVoidPointer(ITraits::getAsVoidPointer(I))); in TEST()
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 366 RegionAndSymbolInvalidationTraits *ITraits);
461 RegionAndSymbolInvalidationTraits *ITraits)>
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Store.h | 190 RegionAndSymbolInvalidationTraits &ITraits,
|
| D | ProgramState.h | 265 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
272 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
|
| D | ExprEngine.h | 522 RegionAndSymbolInvalidationTraits &ITraits) override;
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 919 RegionAndSymbolInvalidationTraits ITraits; in InvalidateBuffer() local
923 ITraits.setTrait(R->getBaseRegion(), in InvalidateBuffer()
925 ITraits.setTrait(R, RegionAndSymbolInvalidationTraits::TK_SuppressEscape); in InvalidateBuffer()
933 ITraits.setTrait( in InvalidateBuffer()
941 &ITraits); in InvalidateBuffer()
|