Searched refs:StateSuccess (Results 1 – 1 of 1) sorted by relevance
110 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoIfError() local112 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoIfError()118 C.addTransition(StateSuccess); in evalSetErrnoIfError()127 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoIfErrorRange() local129 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoIfErrorRange()140 C.addTransition(StateSuccess); in evalSetErrnoIfErrorRange()149 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoCheckState() local151 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoCheckState()161 C.addTransition(StateSuccess, in evalSetErrnoCheckState()