Searched refs:stateNonNull (Results 1 – 2 of 2) sorted by relevance
574 ProgramStateRef stateNonNull, stateNull; in checkPreCall() local575 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal); in checkPreCall()577 if (!stateNonNull) { in checkPreCall()595 C.addTransition(stateNonNull); in checkPreCall()
353 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local354 std::tie(stateNull, stateNonNull) = in checkNonNull()357 if (stateNull && !stateNonNull) { in checkNonNull()372 assert(stateNonNull); in checkNonNull()373 return stateNonNull; in checkNonNull()