Searched refs:StateNeg (Results 1 – 1 of 1) sorted by relevance
143 ProgramStateRef StatePos, StateNeg; in checkPreStmt() local145 std::tie(StateNeg, StatePos) = CM.assumeDual(state, *LessThanZeroDVal); in checkPreStmt()146 if (StateNeg && !StatePos) { in checkPreStmt()