From 7738270b0ceda07f89c1dd2d75e31ae7bb4f2053 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 25 Apr 2017 14:38:24 +0200 Subject: [multiple changes] 2017-04-25 Yannick Moy * freeze.adb (Freeze_Record_Type): Remove obsolete rule on volatile tagged record restriction on SPARK code. 2017-04-25 Yannick Moy * sem_prag.adb (minor) Fix SPARK RM reference. 2017-04-25 Yannick Moy * 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 * sem_res.adb (Set_Slice_Subtype): Treat specially bit-packed array types only instead of all packed array types. 2017-04-25 Ed Schonberg * 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 * gnatxref.adb, gnatfind.adb: Avoid using the term project file, confusing. From-SVN: r247212 --- gcc/ada/sem_util.ads | 21 +++++++++++++++------ 1 file changed, 15 insertions(+), 6 deletions(-) (limited to 'gcc/ada/sem_util.ads') 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; -- cgit v1.1