Lines Matching defs:StateNull

942   ProgramStateRef StateNotNull, StateNull;
943   std::tie(StateNotNull, StateNull) =
948   StateNull =
949       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));
955   C.addTransition(StateNull);
1641   ProgramStateRef StateNotNull, StateNull;
1642   std::tie(StateNotNull, StateNull) =
1644   if (StateNotNull && !StateNull)
1657   ProgramStateRef StateNotNull, StateNull;
1658   std::tie(StateNotNull, StateNull) =
1660   if (StateNotNull && StateNull)
1662   if (StateNotNull && !StateNull)
1665     State = StateNull;
1686   if (StateNotNull && !StateNull) {
1821   ProgramStateRef StateNotNull, StateNull;
1822   std::tie(StateNotNull, StateNull) = CM.assumeDual(State, *Stream);
1824   if (!StateNotNull && StateNull) {
1825     if (ExplodedNode *N = C.generateErrorNode(StateNull)) {