[PATCH] Fix PR50082

[Ian Lance Taylor]

Richard Guenther <rguenther@suse.de> writes:

> This fixes PR50082 by completely defering to fold what kind of
> overflow warning to emit from tree-ssa-forwprop.c.  It also moves
> overflow handling to the single place that decides whether and
> what we optimize.
>
> Bootstrapped and tested on x86_64-unknown-linux-gnu.
>
> Ian, does this look ok?
>
> Thanks,
> Richard.
>
> 2011-08-16  Richard GUenther  <rguenther@suse.de>
>
> 	PR tree-optimization/50082
> 	* tree-ssa-forwprop.c (combine_cond_expr_cond): Handle overflow
> 	warnings here, instead of ...
> 	(ssa_forward_propagate_and_combine): ... here.
> 	(forward_propagate_into_comparison_1): Adjust.
> 	(forward_propagate_into_comparison): Likewise.
> 	(forward_propagate_into_gimple_cond): Likewise.
> 	(forward_propagate_into_cond): Likewise.

This looks fine to me.

Thanks.

Ian