From f5a9a481470166a6e68ba667e3fa3a5b226d290e Mon Sep 17 00:00:00 2001 From: charlet Date: Tue, 14 Jun 2016 12:20:01 +0000 Subject: 2016-06-14 Ed Schonberg * sem_ch12.adb (Analyze_Associations): An actual parameter with a box must be included in the count of actuals, to detect possible superfluous named actuals that do not match any of the formals of the generic unit in a formal package declaration. 2016-06-14 Justin Squirek * sem_ch3.adb (Analyze_Object_Declaration): Fix formatting of error output related to SPARK RM 6.1.7(3) and pragma Extensions_Visible. * sem_ch4.adb (Analyze_Type_Conversion): Fix formatting of error output related to SPARK RM 6.1.7(3) and pragma Extensions_Visible. * sem_prag.adb (Analyze_Pragma): Fix formatting of error output related to SPARK RM 7.1.2(15) and pragma Volatile_Function so that the values True and False are no longer surrounded by double quotes. * sem_res.adb (Resolve_Actuals): Fix formatting of error output related to SPARK RM 6.1.7(3) and pragma Extensions_Visible. 2016-06-14 Arnaud Charlet * gnat1drv.adb (Adjust_Global_Switches): Enable access checks in codepeer mode. * freeze.adb: Minor grammar fix in comment. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@237433 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/sem_ch3.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gcc/ada/sem_ch3.adb') diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 642b880c8c5..17ac948651b 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -3796,8 +3796,8 @@ package body Sem_Ch3 is and then Is_EVF_Expression (E) then Error_Msg_N - ("formal parameter with Extensions_Visible False cannot be " - & "implicitly converted to class-wide type", E); + ("formal parameter cannot be implicitly converted to " + & "class-wide type when Extensions_Visible is False", E); end if; end if; -- cgit v1.2.1