Searched refs:REGISTER_TRAIT_WITH_PROGRAMSTATE (Results 1 – 8 of 8) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramStateTrait.h | 34 #define REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, Type) \ macro 86 REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, \ 111 REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableSet<Elem>) 134 REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableList<Elem>)
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NSErrorChecker.cpp | 170 REGISTER_TRAIT_WITH_PROGRAMSTATE(NSErrorOut, ErrorOutFlag) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function 171 REGISTER_TRAIT_WITH_PROGRAMSTATE(CFErrorOut, ErrorOutFlag) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | ObjCSelfInitChecker.cpp | 99 REGISTER_TRAIT_WITH_PROGRAMSTATE(CalledInit, bool) in REGISTER_MAP_WITH_PROGRAMSTATE() 105 REGISTER_TRAIT_WITH_PROGRAMSTATE(PreCallSelfFlags, unsigned) in REGISTER_MAP_WITH_PROGRAMSTATE()
|
| H A D | BlockInCriticalSectionChecker.cpp | 64 REGISTER_TRAIT_WITH_PROGRAMSTATE(MutexCounter, unsigned) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| H A D | VforkChecker.cpp | 75 REGISTER_TRAIT_WITH_PROGRAMSTATE(VforkResultRegion, const void *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| H A D | NullabilityChecker.cpp | 259 REGISTER_TRAIT_WITH_PROGRAMSTATE(InvariantViolated, bool)
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | Z3ConstraintManager.cpp | 260 REGISTER_TRAIT_WITH_PROGRAMSTATE(ConstraintZ3, ConstraintZ3Ty)
|
| H A D | ExprEngine.cpp | 180 REGISTER_TRAIT_WITH_PROGRAMSTATE(ObjectsUnderConstruction, 2126 REGISTER_TRAIT_WITH_PROGRAMSTATE(InitializedGlobalsSet, in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|