Searched refs:REGISTER_TRAIT_WITH_PROGRAMSTATE (Results 1 – 12 of 12) sorted by relevance
| /freebsd/contrib/llvm-project/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 | 27 REGISTER_TRAIT_WITH_PROGRAMSTATE(ConstraintSMT, ConstraintSMTType) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SetgidSetuidOrderChecker.cpp | 71 REGISTER_TRAIT_WITH_PROGRAMSTATE(LastSetPrivilegeCall, SetPrivilegeFunctionKind) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
76 REGISTER_TRAIT_WITH_PROGRAMSTATE(LastSetuidCallSVal, SymbolRef) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | ErrnoModeling.cpp | 70 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoRegion, const MemRegion *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
72 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoState, errno_modeling::ErrnoCheckState) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | NSErrorChecker.cpp | 181 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 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 | ChrootChecker.cpp | 37 REGISTER_TRAIT_WITH_PROGRAMSTATE(ChrootState, ChrootKind)
|
| H A D | MIGChecker.cpp | 118 REGISTER_TRAIT_WITH_PROGRAMSTATE(ReleasedParameter, bool) in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| H A D | NullabilityChecker.cpp | 296 REGISTER_TRAIT_WITH_PROGRAMSTATE(InvariantViolated, bool)
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 112 REGISTER_TRAIT_WITH_PROGRAMSTATE(MainEnvPtrRegion, const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 188 REGISTER_TRAIT_WITH_PROGRAMSTATE(ObjectsUnderConstruction,
200 REGISTER_TRAIT_WITH_PROGRAMSTATE(IndexOfElementToConstruct,
209 REGISTER_TRAIT_WITH_PROGRAMSTATE(PendingInitLoop, PendingInitLoopMap)
213 REGISTER_TRAIT_WITH_PROGRAMSTATE(PendingArrayDestruction,
2941 REGISTER_TRAIT_WITH_PROGRAMSTATE(InitializedGlobalsSet, in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
3870 REGISTER_TRAIT_WITH_PROGRAMSTATE(LastEagerlyAssumeExprIfSuccessful, in REGISTER_TRAIT_WITH_PROGRAMSTATE() function
|
| H A D | ExprEngineCallAndReturn.cpp | 500 REGISTER_TRAIT_WITH_PROGRAMSTATE(CTUDispatchBifurcation, bool) in REGISTER_MAP_WITH_PROGRAMSTATE()
|