diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2018-05-22 13:24:19 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-22 13:24:19 +0000 |
| commit | 208ebca928f079408cea3562a0006bc1bb8092fa (patch) | |
| tree | d01744d4d5abaa98a03bfe91e2832e7a70a331b3 /gcc/ada | |
| parent | b4914af84f8cb337064fb3e0b8f6b63fbff580e3 (diff) | |
| download | gcc-208ebca928f079408cea3562a0006bc1bb8092fa.zip gcc-208ebca928f079408cea3562a0006bc1bb8092fa.tar.gz gcc-208ebca928f079408cea3562a0006bc1bb8092fa.tar.bz2 | |
[Ada] Do not emit error in Relaxed_RM_Semantics mode
2018-05-22 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* sem_ch8.adb (Check_Frozen_Renaming): Do not emit error in
Relaxed_RM_Semantics mode.
From-SVN: r260523
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 5 |
2 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 659124a..bfbb562 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,10 @@ 2018-05-22 Arnaud Charlet <charlet@adacore.com> + * sem_ch8.adb (Check_Frozen_Renaming): Do not emit error in + Relaxed_RM_Semantics mode. + +2018-05-22 Arnaud Charlet <charlet@adacore.com> + * comperr.adb (Delete_SCIL_Files): Take into account N_Generic_Package_Renaming_Declaration. diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 49b1183..36172d0 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -4322,7 +4322,10 @@ package body Sem_Ch8 is Analyze (B_Node); end if; - if Is_Intrinsic_Subprogram (Old_S) and then not In_Instance then + if Is_Intrinsic_Subprogram (Old_S) + and then not In_Instance + and then not Relaxed_RM_Semantics + then Error_Msg_N ("subprogram used in renaming_as_body cannot be intrinsic", Name (N)); |