diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-09-19 08:14:42 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-19 08:14:42 +0000 |
| commit | 87cd385fa5dad3a0e5d144e08670c7fdd85fe2ef (patch) | |
| tree | d4e11d680f4ca177cdf2cdbb11486e9c5133bab8 /gcc | |
| parent | bee475e2e059ef30d5dae7eea0cb0e09c97a3f18 (diff) | |
| download | gcc-87cd385fa5dad3a0e5d144e08670c7fdd85fe2ef.zip gcc-87cd385fa5dad3a0e5d144e08670c7fdd85fe2ef.tar.gz gcc-87cd385fa5dad3a0e5d144e08670c7fdd85fe2ef.tar.bz2 | |
[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.
From-SVN: r275955
Diffstat (limited to 'gcc')
| -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)) |