Home
last modified time | relevance | path

Searched refs:errno_modeling (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoModeling.cpp73 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoState, errno_modeling::ErrnoCheckState) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
147 errno_modeling::setErrnoValue(State, C, 0, errno_modeling::Irrelevant); in checkBeginFunction()
175 errno_modeling::setErrnoValue(State, C, 0, errno_modeling::Irrelevant); in checkBeginFunction()
208 namespace errno_modeling { namespace
H A DErrnoModeling.h22 namespace errno_modeling {
H A DStdLibraryFunctionsChecker.cpp67 static const char *describeErrnoCheckState(errno_modeling::ErrnoCheckState CS) { in describeErrnoCheckState()
68 assert(CS == errno_modeling::MustNotBeChecked && in describeErrnoCheckState()
412 const errno_modeling::ErrnoCheckState CheckState;
429 errno_modeling::ErrnoCheckState CS) in ZeroRelatedErrnoConstraint()
451 return errno_modeling::setErrnoValue(State, C.getLocationContext(), in apply()
456 if (CheckState == errno_modeling::Irrelevant) in describe()
473 : ErrnoConstraintBase(errno_modeling::MustNotBeChecked) {} in SuccessErrnoConstraint()
478 return errno_modeling::setErrnoState(State, CheckState); in apply()
493 NoErrnoConstraint() : ErrnoConstraintBase(errno_modeling::Irrelevant) {} in NoErrnoConstraint()
498 return errno_modeling::setErrnoState(State, CheckState); in apply()
[all …]
H A DErrnoTesterChecker.cpp23 using namespace errno_modeling;
H A DErrnoChecker.cpp28 using namespace errno_modeling;