projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4f6c18) | patch
[Ada] Add Package_Body helper routine to be used in GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 22 Jul 2021 13:33:16 +0000 (15:33 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 22 Sep 2021 15:01:47 +0000 (15:01 +0000)
commit920e43ee2143c2dbe71d0117243ef53363396ee1
tree121191ea7281051ca8e3c336af9167a456e3ca51tree | snapshot
parentf4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248facommit | diff
[Ada] Add Package_Body helper routine to be used in GNATprove

gcc/ada/

* sem_aux.adb, sem_aux.ads (Package_Body): Moved from GNATprove.
* sem_elab.adb (Spec_And_Body_From_Entity): Refine type of parameter.
gcc/ada/sem_aux.adb diff | blob | history
gcc/ada/sem_aux.ads diff | blob | history
gcc/ada/sem_elab.adb diff | blob | history
Domain: System / Toolchain;