diff options
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/sem_ch12.adb | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index ff66682..8a87274 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,10 @@ 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 type of components to find out whether they are mutable. diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index 280c925..4e74f9a 100644 --- 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)) |