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: Florian Weimer <fw at deneb dot enyo dot de>
- To: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 18 Mar 2005 22:56:04 +0100
- Subject: Re: [Ada] Fix PR 19900, 19408, 19140, 20255 and ACATS tests
- References: <10503182147.AA15960@vlsi1.ultra.nyu.edu>
* Richard Kenner:
> Are you sure? I suppose we are talking about this piece of code:
>
> Right.
>
> type Derived2 (D : Int) is new Parent (D1 => D,
> D2 => D,
> B => False);
>
> I've actually written code like this:
>
> ... which does not have any renamed discriminants!
Given that "renamed discriminants" is not a term used in the ARM, it's
hard to tell what it actually means. Are two
discriminant_associations with the same expression required to trigger
the bug? (My code does contain a discriminant_association whose
expression refer to a discriminate of the derived type.)