From 208ebca928f079408cea3562a0006bc1bb8092fa Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 22 May 2018 13:24:19 +0000 Subject: [PATCH] [Ada] Do not emit error in Relaxed_RM_Semantics mode 2018-05-22 Arnaud Charlet gcc/ada/ * sem_ch8.adb (Check_Frozen_Renaming): Do not emit error in Relaxed_RM_Semantics mode. From-SVN: r260523 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/sem_ch8.adb | 5 ++++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 659124a69e5..bfbb5625045 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-05-22 Arnaud Charlet + + * sem_ch8.adb (Check_Frozen_Renaming): Do not emit error in + Relaxed_RM_Semantics mode. + 2018-05-22 Arnaud Charlet * comperr.adb (Delete_SCIL_Files): Take into account diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 49b11835afc..36172d075c4 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)); -- 2.30.2