projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58c4038) | patch
[Ada] AI12-0287 Legality Rules for null exclusions in renaming are too fierce
authorArnaud Charlet <charlet@adacore.com>
Sun, 16 Feb 2020 12:16:45 +0000 (07:16 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:51:03 +0000 (03:51 -0400)
commitb4aa6e2978408f0f45fe1074481cfd4044947ab9
tree6268ae9f3ce9ed75b15c3391b407cdabc4f6f0f1tree
parent58c4038810a0951979d2b3c06bda0cadea3a50eacommit | diff
[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.
gcc/ada/sem_ch12.adb diff | blob | history
gcc/ada/sem_ch8.adb diff | blob | history