diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 14:38:24 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 14:38:24 +0200 |
| commit | 7738270b0ceda07f89c1dd2d75e31ae7bb4f2053 (patch) | |
| tree | 48a728f8d6b7f74f502ff87995064330d1bcdc13 /gcc/ada/sem_dim.ads | |
| parent | e4b1cd76560d70923fbcbc52b2be32e4c760ba49 (diff) | |
| download | gcc-7738270b0ceda07f89c1dd2d75e31ae7bb4f2053.zip gcc-7738270b0ceda07f89c1dd2d75e31ae7bb4f2053.tar.gz gcc-7738270b0ceda07f89c1dd2d75e31ae7bb4f2053.tar.bz2 | |
[multiple changes]
2017-04-25 Yannick Moy <moy@adacore.com>
* freeze.adb (Freeze_Record_Type): Remove obsolete
rule on volatile tagged record restriction on SPARK code.
2017-04-25 Yannick Moy <moy@adacore.com>
* sem_prag.adb (minor) Fix SPARK RM reference.
2017-04-25 Yannick Moy <moy@adacore.com>
* sem_util.adb, sem_util.ads (Unique_Defining_Entity): Update
comment to reflect which entity is chosen as unique entity.
(Unique_Entity): Return full view instead of private spec for
protected type or task type. Fix possible incorrect access when
called on entry.
2017-04-25 Eric Botcazou <ebotcazou@adacore.com>
* sem_res.adb (Set_Slice_Subtype): Treat specially bit-packed
array types only instead of all packed array types.
2017-04-25 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Conforming_Types): If type of formal as a specified
dimension system, verify that dimensions of both match.
(Check_Conformance): Add error message in case of dimension
mismatch.
* sem_dim.ads, sem_dim.adb (Dimensions_Match): New utility
predicate.
2017-04-25 Arnaud Charlet <charlet@adacore.com trojanek>
* gnatxref.adb, gnatfind.adb: Avoid using the term project file,
confusing.
From-SVN: r247212
Diffstat (limited to 'gcc/ada/sem_dim.ads')
| -rw-r--r-- | gcc/ada/sem_dim.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/sem_dim.ads b/gcc/ada/sem_dim.ads index 44f4e86..fc484ea 100644 --- a/gcc/ada/sem_dim.ads +++ b/gcc/ada/sem_dim.ads @@ -174,11 +174,15 @@ package Sem_Dim is -- resolution of the ultimate components to a separate phase, which forces -- this separate dimension verification. - procedure Copy_Dimensions (From, To : Node_Id); + procedure Copy_Dimensions (From : Node_Id; To : Node_Id); -- Copy dimension vector of node From to node To. Note that To must be a -- node that is allowed to contain a dimension (see OK_For_Dimension in -- body of Sem_Dim). + function Dimensions_Match (T1 : Entity_Id; T2 : Entity_Id) return Boolean; + -- If the common base type has a dimension system, verify that two + -- subtypes have the same dimensions. Used for conformance checking. + procedure Eval_Op_Expon_For_Dimensioned_Type (N : Node_Id; Btyp : Entity_Id); |