Predicate BadAdditionOverflowCheck::badAdditionOverflowCheck

Holds if cmp is an overflow check of the following form:

 a + b < a

This check does not work if the operands of a and b are automatically promoted to a larger type. If convertedExprMightOverflow(a) does not hold, then it is impossible for the addition to overflow, so the result of the comparison will always be false.

predicate badAdditionOverflowCheck(RelationalOperation cmp, AddExpr plus)