Home
last modified time | relevance | path

Searched refs:MustNotBeChecked (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp109 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoIfError()
126 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoIfErrorRange()
148 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoCheckState()
H A DErrnoModeling.h34 MustNotBeChecked = 2 enumerator
H A DErrnoChecker.cpp148 case MustNotBeChecked: in checkLocation()
178 case MustNotBeChecked: in checkLocation()
H A DStdLibraryFunctionsChecker.cpp68 assert(CS == errno_modeling::MustNotBeChecked && in describeErrnoCheckState()
473 : ErrnoConstraintBase(errno_modeling::MustNotBeChecked) {} in SuccessErrnoConstraint()