projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3221be1) | patch
[Ada] ACATS 4.1P [BDB4001] - 13.11.4(22-23/3) not enforced
authorArnaud Charlet <charlet@adacore.com>
Sat, 30 May 2020 18:04:33 +0000 (14:04 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 15 Jul 2020 13:42:47 +0000 (09:42 -0400)
commitd0f6dd47fd7744835f6f2dde4394a5c7a41fe895
tree83f31a6fb2c734a09f071efa02b193c95e7784a4tree
parent3221be144431dae561be518c1411849fa65ac486commit | diff
[Ada] ACATS 4.1P [BDB4001] - 13.11.4(22-23/3) not enforced

gcc/ada/

* exp_ch3.adb (Freeze_Type): Remove warning in expander,
replaced by a corresponding error in sem_ch13.adb. Replace
RTE_Available by RTU_Loaded to avoid adding unnecessary
dependencies.
* sem_ch13.adb (Associate_Storage_Pool): New procedure.
(Analyze_Attribute_Definition_Clause
[Attribute_Simple_Storage_Pool| Attribute_Storage_Pool]): Call
Associate_Storage_Pool to add proper legality checks on
subpools.
gcc/ada/exp_ch3.adb diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history