On Mon, 24 Jun 2013, Richard Biener wrote:
>
> This fixes the miscompile in PR57656 - folding of
>
> int t = 1 - (a - b) / c;
>
> to
>
> int t = (b - a) / c + 1;
>
> which introduces intermediate undefined overflow for
> a == -1 and b == INT_MAX.
>
> There seems to be a mix of assumption
This fixes the miscompile in PR57656 - folding of
int t = 1 - (a - b) / c;
to
int t = (b - a) / c + 1;
which introduces intermediate undefined overflow for
a == -1 and b == INT_MAX.
There seems to be a mix of assumptions of the context
negate_expr_p is called in - for example the comments
