From: Ed Schonberg Date: Tue, 22 May 2018 13:26:17 +0000 (+0000) Subject: [Ada] Better error message on illegal 'Access on formal subprogram X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=90fa86136a27e147c0bb53434696c2baaba62b41;p=gcc.git [Ada] Better error message on illegal 'Access on formal subprogram This patch improves on the error message for an attempt to apply 'Access to a formal subprogram. It also applies the check to a renaming of a formal subprogram. Compiling p.adb must yield: p.adb:15:18: not subtype conformant with declaration at line 2 p.adb:15:18: formal subprograms are not subtype conformant (RM 6.3.1 (17/3)) p.adb:16:18: not subtype conformant with declaration at line 2 p.adb:16:18: formal subprograms are not subtype conformant (RM 6.3.1 (17/3)) ---- package body P is procedure Non_Generic (P : access procedure (I : Integer)) is begin P.all (5); end Non_Generic; procedure G is procedure Local (I : Integer) is begin Action (I); end; procedure Local_Action (I : Integer) renames Action; begin Non_Generic (Local'access); Non_Generic (Local_Action'access); Non_Generic (Action'access); -- p.adb:15:18: not subtype conformant with declaration at line 2 -- p.adb:15:18: formal subprograms not allowed end G; end P; ---- package P is generic with procedure Action (I : Integer); procedure G; end P; 2018-05-22 Ed Schonberg gcc/ada/ * sem_ch6.adb (Check_Conformance): Add RM reference for rule that a formal subprogram is never subtype conformqnt, and thus cannot be the prefix of 'Access. Reject as well the attribute when applied to a renaming of a formal subprogram. From-SVN: r260527 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 5a0cf049962..7578da1c2fe 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,10 @@ +2018-05-22 Ed Schonberg + + * sem_ch6.adb (Check_Conformance): Add RM reference for rule that a + formal subprogram is never subtype conformqnt, and thus cannot be the + prefix of 'Access. Reject as well the attribute when applied to a + renaming of a formal subprogram. + 2018-05-22 Hristian Kirtchev * exp_ch3.adb (Build_Array_Init_Proc): Update the call to diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 55298e9602f..1fdc2b0ab33 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -5348,9 +5348,13 @@ package body Sem_Ch6 is elsif Is_Formal_Subprogram (Old_Id) or else Is_Formal_Subprogram (New_Id) + or else (Is_Subprogram (New_Id) + and then Present (Alias (New_Id)) + and then Is_Formal_Subprogram (Alias (New_Id))) then - Conformance_Error ("\formal subprograms not allowed!"); - return; + Conformance_Error + ("\formal subprograms are not subtype conformant " + & "(RM 6.3.1 (17/3))"); end if; end if;