[Ada] Sem_Ch12: add a comment to indicate future work

2019-09-19  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* sem_ch12.adb (Check_Private_View): Add a comment to indicate
	future work.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275955 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index ff666826090ab9b45952bcd7b17f9ea905931333..8a872741945c4ddd926273745364b2a0bc870c6e 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-09-19  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_ch12.adb (Check_Private_View): Add a comment to indicate
+       future work.
+
 2019-09-19  Eric Botcazou  <ebotcazou@adacore.com>
 
        * exp_aggr.adb (Has_Mutable_Components): Look at the underlying

diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb
index 280c9258e187196ee1dc1593d668f7828e475d00..4e74f9a6e9fd9f2fc3b0df3986a5b8d957591665 100644 (file)
--- a/gcc/ada/sem_ch12.adb
+++ b/gcc/ada/sem_ch12.adb
@@ -7478,6 +7478,11 @@ package body Sem_Ch12 is
                end loop;
             end;
 
+         --  The following case does not test Has_Private_View (N) so it may
+         --  end up switching views when they are not supposed to be switched.
+         --  This might be in keeping with Set_Global_Type setting the flag
+         --  for an array type even if it is not private ???
+
          elsif Is_Private_Type (T)
            and then Present (Full_View (T))
            and then Is_Array_Type (Full_View (T))