]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1118113) | 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)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:17:55 +0000 (13:17 -0300)
commit1595d5b67f3464ca154dd49b09964917f9a15132
tree2028717fb1a70f6162ff709911cf394737abecectree
parent1118113a682d6cbfc7931ea2ce47847ce4d7bf68commit | 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 | blame | history
gcc/ada/sem_ch13.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git