This is the mail archive of the
mailing list for the GCC project.
Re: [4.0 PATCH] Disable Tree-SRA for the Ada compiler
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Sat, 26 Feb 2005 15:27:28 +0100
- Subject: Re: [4.0 PATCH] Disable Tree-SRA for the Ada compiler
- References: <10502261419.AA15240@vlsi1.ultra.nyu.edu>
> More details on your comment #5 will help a lot! Indeed that bug was one
> of the next ones I was going to investigate.
IIRC it's related to discriminated types and subtypes. Components may be
lost during the transition between them and SRA doesn't like that at all.
> SRA is a pretty straightforward pass (and one of the few tree passes I
> understand well), so it shouldn't be hard to fix whatever is going wrong.
My impression was that making SRA fully works with Ada would require an
overhaul of the approach used by gigi to build subtypes of discrimated types,
which is currently direct translation from the front-end's types.
> I do. I'd rather fix the bugs. So far I haven't seen any evidence
> presented at all that there's a large class of bugs here. I'd certainly be
> willing to change my mind if such evidence were presented.
OK, I'll let you make up your mind. :-)