Lines Matching defs:StateNotNull

942   ProgramStateRef StateNotNull, StateNull;
943   std::tie(StateNotNull, StateNull) =
946   StateNotNull =
947       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));
951   StateNotNull = assumeNoAliasingWithStdStreams(StateNotNull, RetVal, C);
953   C.addTransition(StateNotNull,
1641   ProgramStateRef StateNotNull, StateNull;
1642   std::tie(StateNotNull, StateNull) =
1644   if (StateNotNull && !StateNull)
1645     ensureStreamOpened(StreamVal, C, StateNotNull);
1657   ProgramStateRef StateNotNull, StateNull;
1658   std::tie(StateNotNull, StateNull) =
1660   if (StateNotNull && StateNull)
1662   if (StateNotNull && !StateNull)
1663     State = StateNotNull;
1686   if (StateNotNull && !StateNull) {
1821   ProgramStateRef StateNotNull, StateNull;
1822   std::tie(StateNotNull, StateNull) = CM.assumeDual(State, *Stream);
1824   if (!StateNotNull && StateNull) {
1835   return StateNotNull;