Home
last modified time | relevance | path

Searched defs:REGISTER_TRAIT_WITH_PROGRAMSTATE (Results 1 – 8 of 8) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramStateTrait.h34 #define REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, Type) \ macro
H A DSMTConstraintManager.h25 REGISTER_TRAIT_WITH_PROGRAMSTATE(ConstraintSMT, ConstraintSMTType) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DBlockInCriticalSectionChecker.cpp64 REGISTER_TRAIT_WITH_PROGRAMSTATE(MutexCounter, unsigned) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
H A DVforkChecker.cpp75 REGISTER_TRAIT_WITH_PROGRAMSTATE(VforkResultRegion, const void *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
H A DMIGChecker.cpp114 REGISTER_TRAIT_WITH_PROGRAMSTATE(ReleasedParameter, bool) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
H A DErrnoModeling.cpp71 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoRegion, const MemRegion *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
H A DNSErrorChecker.cpp180 REGISTER_TRAIT_WITH_PROGRAMSTATE(NSErrorOut, ErrorOutFlag) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp2475 REGISTER_TRAIT_WITH_PROGRAMSTATE(InitializedGlobalsSet, in REGISTER_TRAIT_WITH_PROGRAMSTATE() function