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
          Reporter: jrcarter at acm dot org
  Target Milestone: ---

Created attachment 43336
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)

Reply via email to