https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84198
Bug ID: 84198
Summary: Illegal program accepted, storing an anonymous
access-to-subprogram value
Product: gcc
Version: 7.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: jrcarter at acm dot org
Target Milestone: ---
Created attachment 43336
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43336&action=edit
Spec and body of package Store_Anon
gcc version 7.2.0 (Ubuntu 7.2.0-8ubuntu3)
System type: Xubuntu 17.10
Options when gcc was configured/built: unknown, distro repository version
Command line passed to gcc: gcc-7 -c store_anon.adb
Actual behavior: store_anon.adb compiles successfully
Expected behavior: The declaration of the constant Illegal in Store_Anon.Store
should be rejected as illegal (according to Randy Brukardt, ARG member and ARM
editor, on comp.lang.ada)
