This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] ada/35792: Refuse completion of tagged type by task type or protected type
On 9/04, Arnaud Charlet wrote:
| Ditto.
Ditto: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35792
How could the bug report be more detailed than that? The original
submitter wrote:
> If an incomplete_type_declaration includes the reserved word tagged,
> then a full_type_declaration that completes it shall declare a tagged
> type.
>
> The error for T3 is detected, but not T1 or T2.
>
> package pak1 is
> type T1 is tagged;
> type T2 is tagged;
> type T3 is tagged;
> protected type T1 is end T1;
> task type T2;
> type T3 is null record;
> end pak1;
>
> gnatmake -gnat05 pak1
> gcc-4.1 -c -gnat05 pak1.ads
> pak1.ads:4:09: full declaration of type "T3" defined at line 7 must be tagged
>
> gnatmake -gnat05 pak1
> gcc-4.3 -c -gnat05 pak1.ads
> pak1.ads:4:09: full declaration of type "T3" defined at line 7 must be tagged