https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123666
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot gnu.org
Resolution|--- |INVALID
Status|UNCONFIRMED |RESOLVED
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
The questions were forwarded to eminent members of the ARG and the preliminary
consensus is that both cases are forbidden by the 12.3(19) post-compilation
rule, since it talks about generic units, which includes both spec and body.
Please go to https://github.com/Ada-Rapporteur-Group/User-Community-Input if
you want to follow up on this.
