Searched refs:StateSuccess (Results 1 – 1 of 1) sorted by relevance
107 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoIfError() local109 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoIfError()115 C.addTransition(StateSuccess); in evalSetErrnoIfError()124 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoIfErrorRange() local126 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoIfErrorRange()137 C.addTransition(StateSuccess); in evalSetErrnoIfErrorRange()146 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoCheckState() local148 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoCheckState()158 C.addTransition(StateSuccess, in evalSetErrnoCheckState()