[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 a036eb1322be3cd3ec5ef69a007ddaed84197d8b..4a4fee49ad19b57ec0fb2e5781ea93578226075c 100644 (file)
--- 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 f7ba4dcadc66c6968f617a97878c42b1e8b83e98..25d4000ebfdba814cb665d1f107e838589f9b940 100644 (file)
--- 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);