[patch] Fix ICE during out-of-SSA

[Richard Guenther]

On Wed, Jul 18, 2012 at 4:54 PM, Eric Botcazou <ebotcazou@adacore.com> wrote:
> This is a regression present on mainline and 4.7 branch for targets using SJLJ
> exceptions by default in Ada (e.g. ARM).  The error message is:
>
> Unable to coalesce ssa_names 2 and 20 which are marked as MUST COALESCE.
> b1_2(ab) and  b1_20(ab)
> +===========================GNAT BUG DETECTED==============================+
> | 4.8.0 20120716 (experimental) [trunk revision 189525] (x86_64-suse-linux) GCC
> error:|
> | SSA corruption                                                           |
> | Error detected around p.adb:4:1
>
> It's the usual case of overlapping live ranges for (ab) SSA names.
>
> Tested on x86_64-suse-linux, OK for the mainline and 4.7 branch?

Ok.

Thanks,
Richard.

>
> 2012-07-18  Eric Botcazou  <ebotcazou@adacore.com>
>
>         * tree-ssa-forwprop.c (combine_conversions): Punt if the RHS of the
>         defining statement is a SSA name that occurs in abnormal PHIs.
>
>
> 2012-07-18  Eric Botcazou  <ebotcazou@adacore.com>
>
>         * gnat.dg/aggr20.ad[sb]: New test.
>         * gnat.dg/aggr20_pkg.ads: New helper.
>
>
> --
> Eric Botcazou