Home
last modified time | relevance | path

Searched refs:REGISTER_TRAIT_WITH_PROGRAMSTATE (Results 1 – 12 of 12) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramStateTrait.h34 #define REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, Type) \ macro
88 REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, \
113 REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableSet<Elem>)
136 REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableList<Elem>)
H A DSMTConstraintManager.h26 REGISTER_TRAIT_WITH_PROGRAMSTATE(ConstraintSMT, ConstraintSMTType) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNSErrorChecker.cpp181 REGISTER_TRAIT_WITH_PROGRAMSTATE(NSErrorOut, ErrorOutFlag) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
182 REGISTER_TRAIT_WITH_PROGRAMSTATE(CFErrorOut, ErrorOutFlag) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DErrnoModeling.cpp73 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoRegion, const MemRegion *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
75 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoState, errno_modeling::ErrnoCheckState) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DObjCSelfInitChecker.cpp98 REGISTER_TRAIT_WITH_PROGRAMSTATE(CalledInit, bool) in REGISTER_MAP_WITH_PROGRAMSTATE()
104 REGISTER_TRAIT_WITH_PROGRAMSTATE(PreCallSelfFlags, SelfFlagEnum) in REGISTER_MAP_WITH_PROGRAMSTATE()
H A DBlockInCriticalSectionChecker.cpp73 REGISTER_TRAIT_WITH_PROGRAMSTATE(MutexCounter, unsigned) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
H A DVforkChecker.cpp76 REGISTER_TRAIT_WITH_PROGRAMSTATE(VforkResultRegion, const void *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
H A DMIGChecker.cpp115 REGISTER_TRAIT_WITH_PROGRAMSTATE(ReleasedParameter, bool) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
H A DNullabilityChecker.cpp299 REGISTER_TRAIT_WITH_PROGRAMSTATE(InvariantViolated, bool)
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp107 REGISTER_TRAIT_WITH_PROGRAMSTATE(MainEnvPtrRegion, const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp187 REGISTER_TRAIT_WITH_PROGRAMSTATE(ObjectsUnderConstruction,
199 REGISTER_TRAIT_WITH_PROGRAMSTATE(IndexOfElementToConstruct,
208 REGISTER_TRAIT_WITH_PROGRAMSTATE(PendingInitLoop, PendingInitLoopMap)
212 REGISTER_TRAIT_WITH_PROGRAMSTATE(PendingArrayDestruction,
2817 REGISTER_TRAIT_WITH_PROGRAMSTATE(InitializedGlobalsSet, in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
H A DExprEngineCallAndReturn.cpp500 REGISTER_TRAIT_WITH_PROGRAMSTATE(CTUDispatchBifurcation, bool) in REGISTER_MAP_WITH_PROGRAMSTATE()