Searched refs:LessThanZeroDVal (Results 1 – 1 of 1) sorted by relevance
141 if (Optional<DefinedSVal> LessThanZeroDVal = in checkPreStmt() local146 std::tie(StateNeg, StatePos) = CM.assumeDual(state, *LessThanZeroDVal); in checkPreStmt()