On Thu, Dec 05, 2013 at 12:51:09PM +0100, Jakub Jelinek wrote:
> For ubsan_expand_si_overflow_neg_check, I think tree-vrp.c change can be
> improved to handle also anti ranges, if the first argument of
> UBSAN_CHECK_SUB has value range [0, 0] and second argument anti-range
> ~[x, y] where x is mini
Hi!
This patch improves a little bit the generic expansion of
UBSAN_CHECK_{ADD,SUB} by either making sure that if one of the
operands is CONST_INT, it is the second one (so that the first compare
+ conditional jump is folded) or by looking at value ranges if we can prove
one of the arguments is ei
