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

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DLoopWidening.cpp63 RegionAndSymbolInvalidationTraits ITraits; local
65 ITraits.setTrait(Region,
78 ITraits.setTrait(VarMem,
91 ITraits.setTrait(ThisR,
97 &ITraits);
H A DProgramState.cpp160 RegionAndSymbolInvalidationTraits *ITraits) const {
167 IS, ITraits, Call);
177 RegionAndSymbolInvalidationTraits *ITraits) const {
180 IS, ITraits, Call);
189 RegionAndSymbolInvalidationTraits *ITraits,
199 if (!ITraits)
200 ITraits = &ITraitsLocal;
206 *IS, *ITraits, &TopLevelInvalidated,
215 *ITraits);
184 invalidateRegionsImpl(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, RegionAndSymbolInvalidationTraits *ITraits, const CallEvent *Call) const argument
H A DRegionStore.cpp432 RegionAndSymbolInvalidationTraits &ITraits,
992 RegionAndSymbolInvalidationTraits &ITraits; member in class:__anon2367::InvalidateRegionsWorker
1006 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r),
1027 bool doNotInvalidateSuperRegion = ITraits.hasTrait(
1062 ITraits.hasTrait(baseR,
1171 bool doNotInvalidateSuperRegion = ITraits.hasTrait(
1267 return ITraits.hasTrait(MemSpace,
1333 RegionAndSymbolInvalidationTraits &ITraits,
1347 InvalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits,
1327 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 DExprEngineCallAndReturn.cpp679 RegionAndSymbolInvalidationTraits ITraits; local
680 ITraits.setTrait(TargetR,
684 &Call, &ITraits);
H A DExprEngine.cpp2783 RegionAndSymbolInvalidationTraits &ITraits) {
2792 &ITraits);
2811 SymbolsDirectlyInvalidated, Call, PSK_DirectEscapeOnCall, &ITraits);
2816 SymbolsIndirectlyInvalidated, Call, PSK_IndirectEscapeOnCall, &ITraits);
2779 notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> ExplicitRegions, const CallEvent *Call, RegionAndSymbolInvalidationTraits &ITraits) argument
/freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h217 /// \param[in] ITraits Information about invalidation for a particular
232 RegionAndSymbolInvalidationTraits &ITraits,
H A DProgramState.h280 /// \param ITraits information about special handling for a particular
287 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
294 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
H A DExprEngine.h650 /// \param[in] ITraits Specifies invalidation traits for regions/symbols.
656 RegionAndSymbolInvalidationTraits &ITraits);
/freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h423 /// \param ITraits Information about invalidation for a particular
431 RegionAndSymbolInvalidationTraits *ITraits);
531 RegionAndSymbolInvalidationTraits *ITraits)>;
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp962 RegionAndSymbolInvalidationTraits ITraits; local
966 ITraits.setTrait(R->getBaseRegion(),
968 ITraits.setTrait(R, RegionAndSymbolInvalidationTraits::TK_SuppressEscape);
976 ITraits.setTrait(
984 &ITraits);

Completed in 293 milliseconds