From 3e586e100a61b0c1c9592740d5250d7604e7f685 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 20 Feb 2014 15:04:38 +0100 Subject: [multiple changes] 2014-02-20 Robert Dewar * a-cborma.adb, a-cbhama.adb, a-cbdlli.adb, a-cbmutr.adb: Use pragma Unmodified rather than Warnings (Off). Make comments uniform in the four affected units. 2014-02-20 Robert Dewar * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Object_Size): For non-scalar types allow any value that is a multiple of 8. * gnat_rm.texi: Document Object_Size for composites more clearly. 2014-02-20 Yannick Moy * sem_util.ads, sem_util.adb (Default_Initialization): Remove function. 2014-02-20 Ed Schonberg * stand.ads: Raise_Type: new predefined entity, used as the type of a Raise_Expression prior to resolution. * cstand.adb: Build entity for Raise_Type. * sem_ch11.adb (Analyze_Raise_Expression): use Raise_Type as the initial type of the node. * sem_type.adb (Covers): Raise_Type is compatible with all other types. * sem_res.adb (Resolve): Remove special handling of Any_Type on Raise_Expression nodes. (Resolve_Raise_Expression): Signal ambiguity if the type of the context is still Raise_Type. From-SVN: r207950 --- gcc/ada/sem_ch11.adb | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'gcc/ada/sem_ch11.adb') diff --git a/gcc/ada/sem_ch11.adb b/gcc/ada/sem_ch11.adb index 353bbbc..f96a91b 100644 --- a/gcc/ada/sem_ch11.adb +++ b/gcc/ada/sem_ch11.adb @@ -475,9 +475,11 @@ package body Sem_Ch11 is Kill_Current_Values (Last_Assignment_Only => True); - -- Set type as Any_Type since we have no information at all on the type + -- Raise_Type is compatible with all other types so that the raise + -- expression is legal in any expression context. It will be eventually + -- replaced by the concrete type imposed by the context. - Set_Etype (N, Any_Type); + Set_Etype (N, Raise_Type); end Analyze_Raise_Expression; ----------------------------- -- cgit v1.1