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

Lines Matching defs:StateFailed
1204   ProgramStateRef StateFailed =
1206   StateFailed = E.assumeBinOpNN(StateFailed, BO_LT, RetVal, *NMembVal);
1207   if (!StateFailed)
1217   StateFailed = E.setStreamState(
1218       StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof()));
1219   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1266   ProgramStateRef StateFailed;
1268     StateFailed = E.bindReturnValue(State, C, *EofVal);
1270     StateFailed = E.bindNullReturnValue(State, C);
1276   StateFailed = E.setStreamState(
1277       StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof()));
1278   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1320   ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal);
1321   StateFailed = E.setStreamState(
1322       StateFailed, StreamState::getOpened(Desc, ErrorFError, true));
1323   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1346   ProgramStateRef StateNotFailed, StateFailed;
1347   std::tie(StateNotFailed, StateFailed) = State->assume(*Cond);
1358   StateFailed = E.setStreamState(
1359       StateFailed, StreamState::getOpened(Desc, ErrorFError, true));
1360   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1408   ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal);
1411   StateFailed = E.setStreamState(
1412       StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof()));
1413   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1438   ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal);
1439   StateFailed = E.setStreamState(StateFailed, StreamState::getOpened(Desc));
1440   C.addTransition(StateFailed);
1491   ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1);
1494   StateFailed = E.setStreamState(
1495       StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof()));
1498     StateFailed = StateFailed->bindLoc(*NewLinePtr, UndefinedVal(),
1500   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1544   ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1);
1545   StateFailed = E.setStreamState(
1546       StateFailed, StreamState::getOpened(Desc, ErrorNone | ErrorFError, true));
1547   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1558   ProgramStateRef StateNotFailed, StateFailed;
1559   std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C);
1566   C.addTransition(StateFailed);
1577   ProgramStateRef StateNotFailed, StateFailed;
1578   std::tie(StateFailed, StateNotFailed) = E.makeRetValAndAssumeDual(State, C);
1591   StateFailed = E.setStreamState(
1592       StateFailed, StreamState::getOpened(Desc, ErrorNone | ErrorFError, true));
1594   C.addTransition(StateFailed, E.getFailureNoteTag(this, C));
1612   ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1);
1618   C.addTransition(StateFailed);
1672   ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE);
1708   C.addTransition(StateFailed);