Lines Matching defs:StateNotNull

905   ProgramStateRef StateNotNull, StateNull;
906   std::tie(StateNotNull, StateNull) =
909   StateNotNull =
910       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));
914   C.addTransition(StateNotNull,
1602   ProgramStateRef StateNotNull, StateNull;
1603   std::tie(StateNotNull, StateNull) =
1605   if (StateNotNull && !StateNull)
1606     ensureStreamOpened(StreamVal, C, StateNotNull);
1618   ProgramStateRef StateNotNull, StateNull;
1619   std::tie(StateNotNull, StateNull) =
1621   if (StateNotNull && StateNull)
1623   if (StateNotNull && !StateNull)
1624     State = StateNotNull;
1647   if (StateNotNull && !StateNull) {
1782   ProgramStateRef StateNotNull, StateNull;
1783   std::tie(StateNotNull, StateNull) = CM.assumeDual(State, *Stream);
1785   if (!StateNotNull && StateNull) {
1796   return StateNotNull;