https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68179
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords|accepts-invalid |wrong-code
Summary|Missing error on |Default_Component_Value
|Default_Value and |aspect wrongly ignored on
|Default_Component_Value |derived type
|aspects specified for |
|derived type |
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> You are correct that RM 3.5. 56.3/3 says the same for Default_Value, that it
> shall only be applied to full_type_declaration. So obviously
> full_type_declaration here must include derived types, or the whole feature
> would be useless.
You're right, I misremembered, so both are allowed for derived types.
