diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-07-22 15:33:16 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-22 15:01:47 +0000 |
| commit | 920e43ee2143c2dbe71d0117243ef53363396ee1 (patch) | |
| tree | 121191ea7281051ca8e3c336af9167a456e3ca51 /gcc/ada/gcc-interface | |
| parent | f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa (diff) | |
| download | gcc-920e43ee2143c2dbe71d0117243ef53363396ee1.zip gcc-920e43ee2143c2dbe71d0117243ef53363396ee1.tar.gz gcc-920e43ee2143c2dbe71d0117243ef53363396ee1.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions