This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Ada] Fix PR 19900, 19408, 19140, 20255 and ACATS tests
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: ebotcazou at adacore dot com
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 18 Mar 05 14:34:03 EST
- Subject: Re: [Ada] Fix PR 19900, 19408, 19140, 20255 and ACATS tests
> The problem is known and will require some changes in the Ada part of the
> front-end in the way that record extensions with renamed discriminants
> are being handled. Right now, we're lying to GCC as to how the record
> actually looks and that's what's causing the problem.
Exactly. That's why I proposed to disable SRA on the 4.0 branch.
I don't follow. SRA is doing the right thing. The front end is donig the
wrong thing. We got lucky that it only got "caught" by SRA. The proper
thing to do is to fix the front end, not disable SRA.
In any event, this particular feature of Ada is not likely used by any
real programmers, so disabling SRA is a pretty big hammer to use!