projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d3a9f3) | patch
[Ada] Ada2020: AI12-0368 Declare expressions can be static
authorBob Duff <duff@adacore.com>
Thu, 28 May 2020 20:16:06 +0000 (16:16 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 10 Jul 2020 09:16:22 +0000 (05:16 -0400)
commit619395467573f4cc869e441d99b112f5c1df9bbe
tree915aed5ae0fcf3d55f86868e699fdc71b93fb9abtree | snapshot
parent7d3a9f399afb2c6c00dbbc8c2538d18faacba13acommit | diff
[Ada] Ada2020: AI12-0368 Declare expressions can be static

gcc/ada/

* sem_res.adb (Resolve_Expression_With_Actions): Check the rules
of AI12-0368, and mark the declare expression as static or known
at compile time as appropriate.
* sem_ch4.adb: Minor reformatting.
* libgnat/a-stoufo.ads, libgnat/a-stoufo.adb: Allow up to 9
replacement parameters. I'm planning to use this in the test
case for this ticket.
gcc/ada/libgnat/a-stoufo.adb diff | blob | history
gcc/ada/libgnat/a-stoufo.ads diff | blob | history
gcc/ada/sem_ch4.adb diff | blob | history
gcc/ada/sem_res.adb diff | blob | history
Domain: System / Toolchain;