Searched refs:REGISTER_TRAIT_WITH_PROGRAMSTATE (Results 1 – 13 of 13) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramStateTrait.h | 34 #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 D | SMTConstraintManager.h | 25 REGISTER_TRAIT_WITH_PROGRAMSTATE(ConstraintSMT, ConstraintSMTType) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoModeling.cpp | 71 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoRegion, const MemRegion *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
73 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoState, errno_modeling::ErrnoCheckState) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| 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, SelfFlagEnum) 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 | MIGChecker.cpp | 114 REGISTER_TRAIT_WITH_PROGRAMSTATE(ReleasedParameter, bool) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| H A D | NullabilityChecker.cpp | 262 REGISTER_TRAIT_WITH_PROGRAMSTATE(InvariantViolated, bool)
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | NoStateChangeFuncVisitorTest.cpp | 42 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrorPrevented, bool)
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 85 REGISTER_TRAIT_WITH_PROGRAMSTATE(EnvPtrRegion, const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 185 REGISTER_TRAIT_WITH_PROGRAMSTATE(ObjectsUnderConstruction,
197 REGISTER_TRAIT_WITH_PROGRAMSTATE(IndexOfElementToConstruct,
206 REGISTER_TRAIT_WITH_PROGRAMSTATE(PendingInitLoop, PendingInitLoopMap)
2475 REGISTER_TRAIT_WITH_PROGRAMSTATE(InitializedGlobalsSet, in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| H A D | ExprEngineCallAndReturn.cpp | 448 REGISTER_TRAIT_WITH_PROGRAMSTATE(CTUDispatchBifurcation, bool) in REGISTER_MAP_WITH_PROGRAMSTATE()
|