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_util.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_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 21 |
1 files changed, 15 insertions, 6 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 0d5de62..a178755 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -2425,13 +2425,22 @@ package Sem_Util is function Unique_Defining_Entity (N : Node_Id) return Entity_Id; -- Return the entity which represents declaration N, so that different -- views of the same entity have the same unique defining entity: - -- * entry declaration and entry body - -- * package spec, package body, and package body stub - -- * protected type declaration, protected body, and protected body stub -- * private view and full view of a deferred constant - -- * private view and full view of a type - -- * subprogram declaration, subprogram, and subprogram body stub - -- * task type declaration, task body, and task body stub + -- --> full view + -- * entry spec and entry body + -- --> entry spec + -- * formal parameter on spec and body + -- --> formal parameter on spec + -- * package spec, body, and body stub + -- --> package spec + -- * protected type, protected body, and protected body stub + -- --> protected type (full view if private) + -- * subprogram spec, body, and body stub + -- --> subprogram spec + -- * task type, task body, and task body stub + -- --> task type (full view if private) + -- * private or incomplete view and full view of a type + -- --> full view -- In other cases, return the defining entity for N. function Unique_Entity (E : Entity_Id) return Entity_Id; |