diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-12 12:54:53 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-12 12:54:53 +0100 |
| commit | df9ad6bc4901bf25c40b136fa6c1b39a78d76f41 (patch) | |
| tree | aa3b21fc032f8c4cdeea20baf480c8adda10a71f /gcc/ada/sem_dim.ads | |
| parent | 549cc9c2bcb93b5424c9a0967016d4e51e587311 (diff) | |
| download | gcc-df9ad6bc4901bf25c40b136fa6c1b39a78d76f41.zip gcc-df9ad6bc4901bf25c40b136fa6c1b39a78d76f41.tar.gz gcc-df9ad6bc4901bf25c40b136fa6c1b39a78d76f41.tar.bz2 | |
[multiple changes]
2015-11-12 Gary Dismukes <dismukes@adacore.com>
* gnat1drv.adb, opt.ads: Minor reformatting.
2015-11-12 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Number_Declaration): Call Analyze_Dimension,
to propagate dimension information from expression to named
number.
* sem_dim.ads: Documentation: number declaration and explicit
dereference can carry dimension information.
* sem_dim.adb (Analyze_Dimension_Number_Declaration): New
procedure, to propagate dimension information from expression
of declaration to named number, whose type becomes one of the
dimensioned base types rather than universal real.
(Analyze_Dimension_Binary_Op):
a) If one operand is a literal that is the value of a declared
constant after constant-foloding, use the dimensions of the
declared constant.
b) If an operand is a literal that is a contant-folded expression,
and expander is active, do not report a dimension mismatch if
literal does not carry them, because dimension matching will
have been checked previously.
From-SVN: r230244
Diffstat (limited to 'gcc/ada/sem_dim.ads')
| -rw-r--r-- | gcc/ada/sem_dim.ads | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/sem_dim.ads b/gcc/ada/sem_dim.ads index 7393bf6..d1521e9 100644 --- a/gcc/ada/sem_dim.ads +++ b/gcc/ada/sem_dim.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2011-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2015, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -116,8 +116,10 @@ package Sem_Dim is -- * compontent declaration -- * extended return statement -- * expanded name + -- * explicit dereference -- * identifier -- * indexed component + -- * number declaration -- * object declaration -- * object renaming declaration -- * procedure call statement |