Lines Matching defs:StateFailure

114   ProgramStateRef StateFailure = State->BindExpr(
116   StateFailure = setErrnoValue(StateFailure, C, 11, Irrelevant);
119   C.addTransition(StateFailure);
131   ProgramStateRef StateFailure = State->BindExpr(
135   StateFailure = StateFailure->assume(ErrnoVal, true);
136   assert(StateFailure && "Failed to assume on an initial value.");
137   StateFailure =
138       setErrnoValue(StateFailure, C.getLocationContext(), ErrnoVal, Irrelevant);
141   C.addTransition(StateFailure);