Searched refs:REGISTER_TRAIT_WITH_PROGRAMSTATE (Results 1 – 9 of 9) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramStateTrait.h | 33 #define REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, Type) \ macro 85 REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, \ 110 REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableSet<Elem>) 133 REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableList<Elem>)
|
| H A D | SMTConstraintManager.h | 25 REGISTER_TRAIT_WITH_PROGRAMSTATE(ConstraintSMT, ConstraintSMTType) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NSErrorChecker.cpp | 180 REGISTER_TRAIT_WITH_PROGRAMSTATE(NSErrorOut, ErrorOutFlag) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function 181 REGISTER_TRAIT_WITH_PROGRAMSTATE(CFErrorOut, ErrorOutFlag) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | ObjCSelfInitChecker.cpp | 98 REGISTER_TRAIT_WITH_PROGRAMSTATE(CalledInit, bool) in REGISTER_MAP_WITH_PROGRAMSTATE() 104 REGISTER_TRAIT_WITH_PROGRAMSTATE(PreCallSelfFlags, unsigned) in REGISTER_MAP_WITH_PROGRAMSTATE()
|
| H A D | BlockInCriticalSectionChecker.cpp | 63 REGISTER_TRAIT_WITH_PROGRAMSTATE(MutexCounter, unsigned) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| H A D | VforkChecker.cpp | 74 REGISTER_TRAIT_WITH_PROGRAMSTATE(VforkResultRegion, const void *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| H A D | MIGChecker.cpp | 113 REGISTER_TRAIT_WITH_PROGRAMSTATE(ReleasedParameter, bool) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| H A D | NullabilityChecker.cpp | 262 REGISTER_TRAIT_WITH_PROGRAMSTATE(InvariantViolated, bool)
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 193 REGISTER_TRAIT_WITH_PROGRAMSTATE(ObjectsUnderConstruction, 2291 REGISTER_TRAIT_WITH_PROGRAMSTATE(InitializedGlobalsSet, in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|