diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-04-06 08:33:13 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-16 09:07:14 -0400 |
| commit | e7680763dfd9ee980f95ffb865ef3ca7879d10c2 (patch) | |
| tree | 57494f769a9f98512b3cbb50451cc7316591a15b | |
| parent | eaf3414d0a8e1c13998e8e2daf9049dd9c8ef6b4 (diff) | |
| download | gcc-e7680763dfd9ee980f95ffb865ef3ca7879d10c2.zip gcc-e7680763dfd9ee980f95ffb865ef3ca7879d10c2.tar.gz gcc-e7680763dfd9ee980f95ffb865ef3ca7879d10c2.tar.bz2 | |
[Ada] ACATS 4.1P - BC55001 - Error missed
2020-06-16 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* sem_ch6.adb (Analyze_Subprogram_Specification): Generate error
message for functions returning interfaces.
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 188ee75..55f0c6b 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -5464,9 +5464,7 @@ package body Sem_Ch6 is N_Formal_Abstract_Subprogram_Declaration, N_Subprogram_Renaming_Declaration) then - if Is_Abstract_Type (Etype (Designator)) - and then not Is_Interface (Etype (Designator)) - then + if Is_Abstract_Type (Etype (Designator)) then Error_Msg_N ("function that returns abstract type must be abstract", N); |