Searched refs:StateFailure (Results 1 – 1 of 1) sorted by relevance
114 ProgramStateRef StateFailure = State->BindExpr( in evalSetErrnoIfError() local116 StateFailure = setErrnoValue(StateFailure, C, 11, Irrelevant); in evalSetErrnoIfError()119 C.addTransition(StateFailure); in evalSetErrnoIfError()131 ProgramStateRef StateFailure = State->BindExpr( in evalSetErrnoIfErrorRange() local135 StateFailure = StateFailure->assume(ErrnoVal, true); in evalSetErrnoIfErrorRange()136 assert(StateFailure && "Failed to assume on an initial value."); in evalSetErrnoIfErrorRange()137 StateFailure = in evalSetErrnoIfErrorRange()138 setErrnoValue(StateFailure, C.getLocationContext(), ErrnoVal, Irrelevant); in evalSetErrnoIfErrorRange()141 C.addTransition(StateFailure); in evalSetErrnoIfErrorRange()