Home
last modified time | relevance | path

Searched refs:StateFailure (Results 1 – 2 of 2) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp112 ProgramStateRef StateFailure = State->BindExpr( in evalSetErrnoIfError() local
114 StateFailure = setErrnoValue(StateFailure, C, 11, Irrelevant); in evalSetErrnoIfError()
117 C.addTransition(StateFailure); in evalSetErrnoIfError()
129 ProgramStateRef StateFailure = State->BindExpr( in evalSetErrnoIfErrorRange() local
133 StateFailure = StateFailure->assume(ErrnoVal, true); in evalSetErrnoIfErrorRange()
134 assert(StateFailure && "Failed to assume on an initial value."); in evalSetErrnoIfErrorRange()
135 StateFailure = in evalSetErrnoIfErrorRange()
136 setErrnoValue(StateFailure, C.getLocationContext(), ErrnoVal, Irrelevant); in evalSetErrnoIfErrorRange()
139 C.addTransition(StateFailure); in evalSetErrnoIfErrorRange()
H A DStreamChecker.cpp624 ProgramStateRef StateFailure = in evalFclose() local
629 C.addTransition(StateFailure); in evalFclose()