[Bug ada/84198] New: Illegal program accepted, storing an anonymous access-to-subprogram value

[jrcarter at acm dot org]

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)