Lines Matching defs:StateNotFailed

1152     ProgramStateRef StateNotFailed =
1154     StateNotFailed =
1155         E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1156     C.addTransition(StateNotFailed);
1200       ProgramStateRef StateNotFailed =
1204       StateNotFailed = StateNotFailed->assumeInclusiveRange(
1209       if (!StateNotFailed)
1211       C.addTransition(StateNotFailed);
1218       ProgramStateRef StateNotFailed =
1220       StateNotFailed =
1221           E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1222       C.addTransition(StateNotFailed);
1257     ProgramStateRef StateNotFailed =
1259     StateNotFailed =
1260         E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1261     C.addTransition(StateNotFailed);
1265     ProgramStateRef StateNotFailed =
1267     StateNotFailed =
1268         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1269     if (!StateNotFailed)
1271     StateNotFailed =
1272         E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1273     C.addTransition(StateNotFailed);
1307   ProgramStateRef StateNotFailed, StateFailed;
1308   std::tie(StateNotFailed, StateFailed) = State->assume(*Cond);
1310   StateNotFailed =
1311       E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1312   C.addTransition(StateNotFailed);
1344     ProgramStateRef StateNotFailed =
1346     StateNotFailed =
1347         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1348     if (!StateNotFailed)
1356       StateNotFailed = escapeArgs(StateNotFailed, C, Call, EscArgs);
1359     if (StateNotFailed)
1360       C.addTransition(StateNotFailed);
1388   ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, *PutVal);
1389   StateNotFailed =
1390       E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1391   C.addTransition(StateNotFailed);
1425     ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, RetVal);
1426     StateNotFailed =
1427         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1432       StateNotFailed = StateNotFailed->assume(
1440       StateNotFailed = E.assumeBinOpNN(StateNotFailed, BO_GT,
1442       StateNotFailed = E.bindReturnValue(StateNotFailed, C, RetVal);
1444     if (!StateNotFailed)
1446     C.addTransition(StateNotFailed);
1490   ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, 0);
1492   StateNotFailed =
1493       E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1494   C.addTransition(StateNotFailed);
1519   ProgramStateRef StateNotFailed, StateFailed;
1520   std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C);
1521   StateNotFailed = escapeArgs(StateNotFailed, C, Call, {1});
1526   C.addTransition(StateNotFailed);
1538   ProgramStateRef StateNotFailed, StateFailed;
1539   std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C);
1541   StateNotFailed = E.setStreamState(
1542       StateNotFailed, StreamState::getOpened(Desc, ErrorNone, false));
1543   C.addTransition(StateNotFailed);
1566   ProgramStateRef StateNotFailed =
1568   StateNotFailed =
1569       E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1570   if (!StateNotFailed)
1578   C.addTransition(StateNotFailed);
1634   ProgramStateRef StateNotFailed = bindInt(0, State, C, CE);
1637   auto ClearErrorInNotFailed = [&StateNotFailed, Desc](SymbolRef Sym,
1643       StateNotFailed = StateNotFailed->set<StreamMap>(Sym, NewSS);
1659     const StreamMapTy &Map = StateNotFailed->get<StreamMap>();
1668   C.addTransition(StateNotFailed);