diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-02-16 07:16:45 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-08 03:51:03 -0400 |
| commit | b4aa6e2978408f0f45fe1074481cfd4044947ab9 (patch) | |
| tree | 6268ae9f3ce9ed75b15c3391b407cdabc4f6f0f1 /gcc/ada/sinfo.adb | |
| parent | 58c4038810a0951979d2b3c06bda0cadea3a50ea (diff) | |
| download | gcc-b4aa6e2978408f0f45fe1074481cfd4044947ab9.zip gcc-b4aa6e2978408f0f45fe1074481cfd4044947ab9.tar.gz gcc-b4aa6e2978408f0f45fe1074481cfd4044947ab9.tar.bz2 | |
[Ada] AI12-0287 Legality Rules for null exclusions in renaming are too fierce
2020-06-08 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* sem_ch12.adb (Instantiate_Object): Relax rules related to null
exclusions and generic objects. Handle all anonymous types
consistently and not just E_Anonymous_Access_Type.
* sem_ch8.adb (Analyze_Object_Renaming): Change wording so that
it applies to both renamings and instantiations to avoid
confusion.
Diffstat (limited to 'gcc/ada/sinfo.adb')
0 files changed, 0 insertions, 0 deletions