StreamChecker.cpp - OpenGrok cross reference for /llvm-project/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp

Lines Matching defs:StateNotFailed
1191     ProgramStateRef StateNotFailed =
1193     StateNotFailed =
1194         E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1195     C.addTransition(StateNotFailed);
1239       ProgramStateRef StateNotFailed =
1243       StateNotFailed = StateNotFailed->assumeInclusiveRange(
1248       if (!StateNotFailed)
1250       C.addTransition(StateNotFailed);
1257       ProgramStateRef StateNotFailed =
1259       StateNotFailed =
1260           E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1261       C.addTransition(StateNotFailed);
1296     ProgramStateRef StateNotFailed =
1298     StateNotFailed =
1299         E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1300     C.addTransition(StateNotFailed);
1304     ProgramStateRef StateNotFailed =
1306     StateNotFailed =
1307         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1308     if (!StateNotFailed)
1310     StateNotFailed =
1311         E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1312     C.addTransition(StateNotFailed);
1346   ProgramStateRef StateNotFailed, StateFailed;
1347   std::tie(StateNotFailed, StateFailed) = State->assume(*Cond);
1349   StateNotFailed =
1350       E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1351   C.addTransition(StateNotFailed);
1383     ProgramStateRef StateNotFailed =
1385     StateNotFailed =
1386         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1387     if (!StateNotFailed)
1395       StateNotFailed = escapeArgs(StateNotFailed, C, Call, EscArgs);
1398     if (StateNotFailed)
1399       C.addTransition(StateNotFailed);
1427   ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, *PutVal);
1428   StateNotFailed =
1429       E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1430   C.addTransition(StateNotFailed);
1464     ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, RetVal);
1465     StateNotFailed =
1466         E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1471       StateNotFailed = StateNotFailed->assume(
1479       StateNotFailed = E.assumeBinOpNN(StateNotFailed, BO_GT,
1481       StateNotFailed = E.bindReturnValue(StateNotFailed, C, RetVal);
1483     if (!StateNotFailed)
1485     C.addTransition(StateNotFailed);
1529   ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, 0);
1531   StateNotFailed =
1532       E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));
1533   C.addTransition(StateNotFailed);
1558   ProgramStateRef StateNotFailed, StateFailed;
1559   std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C);
1560   StateNotFailed = escapeArgs(StateNotFailed, C, Call, {1});
1565   C.addTransition(StateNotFailed);
1577   ProgramStateRef StateNotFailed, StateFailed;
1578   std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C);
1580   StateNotFailed = E.setStreamState(
1581       StateNotFailed, StreamState::getOpened(Desc, ErrorNone, false));
1582   C.addTransition(StateNotFailed);
1605   ProgramStateRef StateNotFailed =
1607   StateNotFailed =
1608       E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call));
1609   if (!StateNotFailed)
1617   C.addTransition(StateNotFailed);
1673   ProgramStateRef StateNotFailed = bindInt(0, State, C, CE);
1676   auto ClearErrorInNotFailed = [&StateNotFailed, Desc](SymbolRef Sym,
1682       StateNotFailed = StateNotFailed->set<StreamMap>(Sym, NewSS);
1698     const StreamMapTy &Map = StateNotFailed->get<StreamMap>();
1707   C.addTransition(StateNotFailed);