------- Comment #9 from law at redhat dot com 2006-02-22 15:24 -------
Subject: Re: Fowardprop does harm for VRP to
figure out if a point is non zero
On Wed, 2006-02-22 at 10:32 +0000, rguenth at gcc dot gnu dot org wrote:
>
> ------- Comment #4 from rguenth at gcc dot gnu dot org 2006-02-22 10:32
> -------
> find_equivalent_equality_comparison through simplify_cond,
> forward_propagate_into_cond does this. I have a patch which restricts
> forwprop
> to using single-use names. Though I wonder if this is appropriate and we
> rather should teach VRP to infer range information for D.2354_2 from a_3.
Please don't. I'm already aware of this issue and looking at a better
solution.
jeff
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26406
