Lines Matching defs:StateFailed

1165   ProgramStateRef StateFailed =
1167   StateFailed = E.assumeBinOpNN(StateFailed, BO_LT, RetVal, *NMembVal);
1168   if (!StateFailed)
1178   StateFailed = E.setStreamState(
1179       StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof()));
1180   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1227   ProgramStateRef StateFailed;
1229     StateFailed = E.bindReturnValue(State, C, *EofVal);
1231     StateFailed = E.bindNullReturnValue(State, C);
1237   StateFailed = E.setStreamState(
1238       StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof()));
1239   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1281   ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal);
1282   StateFailed = E.setStreamState(
1283       StateFailed, StreamState::getOpened(Desc, ErrorFError, true));
1284   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1307   ProgramStateRef StateNotFailed, StateFailed;
1308   std::tie(StateNotFailed, StateFailed) = State->assume(*Cond);
1319   StateFailed = E.setStreamState(
1320       StateFailed, StreamState::getOpened(Desc, ErrorFError, true));
1321   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1369   ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal);
1372   StateFailed = E.setStreamState(
1373       StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof()));
1374   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1399   ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal);
1400   StateFailed = E.setStreamState(StateFailed, StreamState::getOpened(Desc));
1401   C.addTransition(StateFailed);
1452   ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1);
1455   StateFailed = E.setStreamState(
1456       StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof()));
1459     StateFailed = StateFailed->bindLoc(*NewLinePtr, UndefinedVal(),
1461   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1505   ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1);
1506   StateFailed = E.setStreamState(
1507       StateFailed, StreamState::getOpened(Desc, ErrorNone | ErrorFError, true));
1508   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1519   ProgramStateRef StateNotFailed, StateFailed;
1520   std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C);
1527   C.addTransition(StateFailed);
1538   ProgramStateRef StateNotFailed, StateFailed;
1539   std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C);
1552   StateFailed = E.setStreamState(
1553       StateFailed, StreamState::getOpened(Desc, ErrorNone | ErrorFError, true));
1555   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1573   ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1);
1579   C.addTransition(StateFailed);
1633   ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE);
1669   C.addTransition(StateFailed);