From: Ed Schonberg <schonberg@adacore.com>
Date: Mon, 3 Dec 2018 15:48:03 +0000 (+0000)
Subject: [Ada] Enhance comment
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5bb88560d74b92e37afd17f8ba0895fc734acbfb;p=gcc.git

[Ada] Enhance comment

2018-12-03  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

	* sem_ch3.adb (Complete_Private_Subtype): Enhance comment.

From-SVN: r266749
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index a036eb1322b..4a4fee49ad1 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-12-03  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_ch3.adb (Complete_Private_Subtype): Enhance comment.
+
 2018-12-03  Olivier Hainque  <hainque@adacore.com>
 
 	* gcc-interface/lang.opt (fopenacc): New option for Ada.
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index f7ba4dcadc6..25d4000ebfd 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -12328,6 +12328,9 @@ package body Sem_Ch3 is
       --  Note that the type of the full view is the same entity as the type
       --  of the partial view. In this fashion, the subtype has access to the
       --  correct view of the parent.
+      --  The list below included access types, but this leads to several
+      --  regressions. How should the base type of the full view be
+      --  set consistently for subtypes completed by access types?
 
       Save_Next_Entity := Next_Entity (Full);
       Save_Homonym     := Homonym (Priv);