Searched refs:errno_modeling (Results 1 – 5 of 5) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoModeling.cpp | 74 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoState, errno_modeling::ErrnoCheckState) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
139 errno_modeling::setErrnoValue(State, C, 0, errno_modeling::Irrelevant); in checkBeginFunction()
146 if (errno_modeling::isErrnoLocationCall(Call)) { in evalCall()
171 namespace errno_modeling { namespace
|
| H A D | ErrnoModeling.h | 23 namespace errno_modeling {
|
| H A D | ErrnoTesterChecker.cpp | 24 using namespace errno_modeling;
|
| H A D | ErrnoChecker.cpp | 29 using namespace errno_modeling;
|
| H A D | StdLibraryFunctionsChecker.cpp | 560 return errno_modeling::setErrnoState(State, errno_modeling::Irrelevant); in apply()
592 return errno_modeling::setErrnoForStdFailure(State, C, ErrnoSVal); in apply()
606 return errno_modeling::setErrnoForStdSuccess(State, C); in apply()
623 return errno_modeling::setErrnoStdMustBeChecked(State, C, in apply()
1442 errno_modeling::getErrnoLoc(BR.getErrorNode()->getState()); in checkPostCall()
|