This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix PR39999, oscillating compute_antic
- From: Richard Guenther <rguenther at suse dot de>
- To: gcc-patches at gcc dot gnu dot org
- Date: Fri, 15 May 2009 15:08:18 +0200 (CEST)
- Subject: Re: [PATCH] Fix PR39999, oscillating compute_antic
- References: <alpine.LNX.2.00.0905081412130.25789@zhemvz.fhfr.qr>
On Fri, 8 May 2009, Richard Guenther wrote:
>
> This fixes PR39999 - PRE doesn't like the non-symmetry with
> useless type conversions, so it oscillates with two identical
> expressions that only differ in their non-compatible but
> trivially convertible in one direction types.
>
> The following patch fixes the issue by using gimple_expr_type properly
> and by fixing that (well, at least partly, for the interesting cases)
> to return the expression type and not the type the expression type
> was trivially converted to.
>
> Bootstrapped and tested on x86_64-unknown-linux-gnu on the 4.4 branch,
> on trunk this breaks Ada (and thus waits for the subtype removal).
Now applied to trunk as subtypes are gone. If no new problems appear ...
> I will apply this to the 4.4 branch in a few days.
... I will do this.
Richard.