Searched refs:stateNull (Results 1 – 2 of 2) sorted by relevance
570 ProgramStateRef stateNonNull, stateNull; in checkPreCall() local571 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal); in checkPreCall()574 ExplodedNode *N = C.generateErrorNode(stateNull); in checkPreCall()
381 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local382 std::tie(stateNull, stateNonNull) = in checkNonNull()385 if (stateNull && !stateNonNull) { in checkNonNull()394 emitNullArgBug(C, stateNull, Arg.Expression, OS.str()); in checkNonNull()