Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp108 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoIfError() local
110 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoIfError()
116 C.addTransition(StateSuccess); in evalSetErrnoIfError()
125 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoIfErrorRange() local
127 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoIfErrorRange()
138 C.addTransition(StateSuccess); in evalSetErrnoIfErrorRange()
147 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoCheckState() local
149 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoCheckState()
159 C.addTransition(StateSuccess, in evalSetErrnoCheckState()
H A DStreamChecker.cpp622 ProgramStateRef StateSuccess = State->BindExpr( in evalFclose() local
628 C.addTransition(StateSuccess); in evalFclose()