Pre-inline optimization, version 3

Duncan Sands baldrick@free.fr
Tue Jan 16 11:57:00 GMT 2007


Hi Honza,

On Tuesday 16 January 2007 10:59, Jan Hubicka wrote:
> > Jan Hubicka <jh@suse.cz> writes:
> > 
> > > > raised STORAGE_ERROR : stack overflow (or erroneous memory access)
> > > > make[3]: *** [ada/erroutc.o] Error 1
> > > > 
> > > > 
> > > > Program received signal SIGSEGV, Segmentation fault.
> > > Hi,
> > > sorry for delays, I can't get to IA-64 machine right now (since I can't
> > > get thru firewall), but the attached patch should plug one of obvious
> > > places where we might leak dead edges like this.  I will test it on
> > > IA-64 ASAP.
> > 
> > For what it's worth, I get a very similar error when doing an Ada
> > bootstrap on i686-pc-linux-gnu.  Please make sure you add ada to
> > --enable-languages when you test these big changes.
> 
> Thank you for a hint.  Before sending the request I verified that Ada
> bootstrap works for me on x86-64 (well past the failure point failing
> later for unrelated reason), but the problem ineed reproduce for me on
> i686 machine.
> 
> The problem is more stubble - the reference to dead SSA name is caused
> by Ada language specific part of declaration holding pointers to random
> parts of GIMPLE statements.
> It would be great if those pointers was cleared after gimplification by
> Ada, but I am not familiar enough with that frontend to try that.
> 
> I am testing the attached patch. You are definitly right that the
> original early optimization patch should've been tested with Ada.  The
> frontend dependency didn't arrised to me.  At least I am re-testing with
> Ada the early inlining/early optimization patch I intend to commit
> today now.

with this patch Ada bootstrap gets as far as stage3 (a big improvement).  It
dies in stage3 due to a failed check in ipa-type-escape.c:

+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20070116 (experimental) (i686-pc-linux-gnu) GCC error:             |
| tree check: expected class ‘expression’, have ‘constant’         |
|     (real_cst) in look_for_casts, at ipa-type-escape.c:930               |
| Error detected at a-numaux.adb:572:1                                     |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.



raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:393



More information about the Gcc-patches mailing list