[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 12:38:24 +0000 (14:38 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 12:38:24 +0000 (14:38 +0200)
commit7738270b0ceda07f89c1dd2d75e31ae7bb4f2053
tree48a728f8d6b7f74f502ff87995064330d1bcdc13
parente4b1cd76560d70923fbcbc52b2be32e4c760ba49
[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
gcc/ada/ChangeLog
gcc/ada/freeze.adb
gcc/ada/gnatfind.adb
gcc/ada/gnatxref.adb
gcc/ada/sem_ch6.adb
gcc/ada/sem_dim.adb
gcc/ada/sem_dim.ads
gcc/ada/sem_prag.adb
gcc/ada/sem_res.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads