On Wed, Jul 18, 2012 at 4:54 PM, Eric Botcazou <ebotca...@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 <ebotca...@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 <ebotca...@adacore.com> > > * gnat.dg/aggr20.ad[sb]: New test. > * gnat.dg/aggr20_pkg.ads: New helper. > > > -- > Eric Botcazou