Searched refs:ITraits (Results 1 - 10 of 10) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DLoopWidening.cpp57 RegionAndSymbolInvalidationTraits ITraits; local
59 ITraits.setTrait(Region,
64 &ITraits);
H A DProgramState.cpp145 RegionAndSymbolInvalidationTraits *ITraits) const {
152 IS, ITraits, Call);
162 RegionAndSymbolInvalidationTraits *ITraits) const {
165 IS, ITraits, Call);
174 RegionAndSymbolInvalidationTraits *ITraits,
184 if (!ITraits)
185 ITraits = &ITraitsLocal;
192 *IS, *ITraits, &TopLevelInvalidated,
201 *ITraits);
210 *IS, *ITraits, nullpt
169 invalidateRegionsImpl(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, RegionAndSymbolInvalidationTraits *ITraits, const CallEvent *Call) const argument
[all...]
H A DRegionStore.cpp393 RegionAndSymbolInvalidationTraits &ITraits,
933 RegionAndSymbolInvalidationTraits &ITraits; member in class:__anon2084::invalidateRegionsWorker
947 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r),
968 bool doNotInvalidateSuperRegion = ITraits.hasTrait(
1003 ITraits.hasTrait(baseR,
1086 bool doNotInvalidateSuperRegion = ITraits.hasTrait(
1182 return ITraits.hasTrait(MemSpace,
1248 RegionAndSymbolInvalidationTraits &ITraits,
1262 invalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits,
1242 invalidateRegions(Store store, ArrayRef<SVal> Values, const Expr *Ex, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits, InvalidatedRegions *TopLevelRegions, InvalidatedRegions *Invalidated) argument
H A DExprEngine.cpp2184 RegionAndSymbolInvalidationTraits &ITraits) {
2194 &ITraits);
2216 SymbolsDirectlyInvalidated, Call, PSK_DirectEscapeOnCall, &ITraits);
2221 SymbolsIndirectlyInvalidated, Call, PSK_IndirectEscapeOnCall, &ITraits);
2179 notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const CallEvent *Call, RegionAndSymbolInvalidationTraits &ITraits) argument
/external/llvm/unittests/ADT/
H A DPointerEmbeddedIntTest.cpp70 using ITraits = PointerLikeTypeTraits<decltype(I)>;
71 EXPECT_EQ(42, ITraits::getFromVoidPointer(ITraits::getAsVoidPointer(I)));
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h175 /// \param[in] ITraits Information about invalidation for a particular
190 RegionAndSymbolInvalidationTraits &ITraits,
H A DProgramState.h258 /// \param ITraits information about special handling for a particular
265 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
272 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
H A DExprEngine.h515 /// \param[in] ITraits Specifies invalidation traits for regions/symbols.
522 RegionAndSymbolInvalidationTraits &ITraits) override;
/external/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h358 /// \param ITraits Information about invalidation for a particular
366 RegionAndSymbolInvalidationTraits *ITraits);
461 RegionAndSymbolInvalidationTraits *ITraits)>
/external/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp919 RegionAndSymbolInvalidationTraits ITraits; local
923 ITraits.setTrait(R->getBaseRegion(),
925 ITraits.setTrait(R, RegionAndSymbolInvalidationTraits::TK_SuppressEscape);
933 ITraits.setTrait(
941 &ITraits);

Completed in 172 milliseconds