projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d68c6d7) | patch
[Ada] Ada2020: AI12-0301 Predicates and Default_Value
authorArnaud Charlet <charlet@adacore.com>
Sun, 23 Feb 2020 18:50:18 +0000 (13:50 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 9 Jun 2020 08:09:00 +0000 (04:09 -0400)
commitc68d70e8bda9423f502351e88e464803f73941b4
tree9599132d8355b589539eeef18904260dc710ddf8tree | snapshot
parentd68c6d7dcc46a50ec248f9989243f83ad9a3ca0ecommit | diff
[Ada] Ada2020: AI12-0301 Predicates and Default_Value

2020-06-09  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* sem_util.ads, sem_util.adb (Is_Partially_Initialized_Type):
Take Default_Value and Default_Component_Value into account.
* sem_ch3.adb (Analyze_Object_Declaration): Update comment.
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history
Domain: System / Toolchain;