Lines Matching defs:StateNull

905   ProgramStateRef StateNotNull, StateNull;
906   std::tie(StateNotNull, StateNull) =
911   StateNull =
912       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));
916   C.addTransition(StateNull);
1602   ProgramStateRef StateNotNull, StateNull;
1603   std::tie(StateNotNull, StateNull) =
1605   if (StateNotNull && !StateNull)
1618   ProgramStateRef StateNotNull, StateNull;
1619   std::tie(StateNotNull, StateNull) =
1621   if (StateNotNull && StateNull)
1623   if (StateNotNull && !StateNull)
1626     State = StateNull;
1647   if (StateNotNull && !StateNull) {
1782   ProgramStateRef StateNotNull, StateNull;
1783   std::tie(StateNotNull, StateNull) = CM.assumeDual(State, *Stream);
1785   if (!StateNotNull && StateNull) {
1786     if (ExplodedNode *N = C.generateErrorNode(StateNull)) {