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()139 C.addTransition(StateSuccess); in evalSetErrnoIfErrorRange()148 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoCheckState() local150 StateSuccess = setErrnoState(StateSuccess, MustNotBeChecked); in evalSetErrnoCheckState()160 C.addTransition(StateSuccess, in evalSetErrnoCheckState()