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/cstreams.c | |
| 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/cstreams.c')
0 files changed, 0 insertions, 0 deletions