diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-20 15:04:38 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-20 15:04:38 +0100 |
| commit | 3e586e100a61b0c1c9592740d5250d7604e7f685 (patch) | |
| tree | de1a52fd70761d3b0bd18ba9a912bf4eaf01b22b /gcc/ada/sem_ch11.adb | |
| parent | 7f568bfad328b73b207b06da80ccb99a4780c2ed (diff) | |
| download | gcc-3e586e100a61b0c1c9592740d5250d7604e7f685.zip gcc-3e586e100a61b0c1c9592740d5250d7604e7f685.tar.gz gcc-3e586e100a61b0c1c9592740d5250d7604e7f685.tar.bz2 | |
[multiple changes]
2014-02-20 Robert Dewar <dewar@adacore.com>
* 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 <dewar@adacore.com>
* 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 <moy@adacore.com>
* sem_util.ads, sem_util.adb (Default_Initialization): Remove function.
2014-02-20 Ed Schonberg <schonberg@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/sem_ch11.adb')
| -rw-r--r-- | gcc/ada/sem_ch11.adb | 6 |
1 files changed, 4 insertions, 2 deletions
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; ----------------------------- |