Searched refs:StateFailure (Results 1 – 1 of 1) sorted by relevance
111 ProgramStateRef StateFailure = State->BindExpr( in evalSetErrnoIfError() local113 StateFailure = setErrnoValue(StateFailure, C, 11, Irrelevant); in evalSetErrnoIfError()116 C.addTransition(StateFailure); in evalSetErrnoIfError()128 ProgramStateRef StateFailure = State->BindExpr( in evalSetErrnoIfErrorRange() local132 StateFailure = StateFailure->assume(ErrnoVal, true); in evalSetErrnoIfErrorRange()133 assert(StateFailure && "Failed to assume on an initial value."); in evalSetErrnoIfErrorRange()134 StateFailure = in evalSetErrnoIfErrorRange()135 setErrnoValue(StateFailure, C.getLocationContext(), ErrnoVal, Irrelevant); in evalSetErrnoIfErrorRange()138 C.addTransition(StateFailure); in evalSetErrnoIfErrorRange()