diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-04 08:06:45 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-04 08:06:45 +0000 |
| commit | 3cc0fae4334466cc8da40e454455b08e83c9e932 (patch) | |
| tree | cdc8e346dcc58caf75d305776ea0a891da21b318 /gcc/tree-ssa-alias.c | |
| parent | e3a79ce3c18fc6e1df6176e506095c7f8bac30ab (diff) | |
| download | gcc-3cc0fae4334466cc8da40e454455b08e83c9e932.zip gcc-3cc0fae4334466cc8da40e454455b08e83c9e932.tar.gz gcc-3cc0fae4334466cc8da40e454455b08e83c9e932.tar.bz2 | |
[Ada] SPARK_Mode Off now allowed inside subprogram
The rule on SPARK_Mode have been modified so that it is now possible to
have a subprogram or package declared with SPARK_Mode Off inside a
subprogram.
2019-07-04 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_prag.adb (Check_Library_Level_Entity): Update for new rule
on SPARK_Mode.
gcc/testsuite/
* gnat.dg/spark3.adb: New testcase.
From-SVN: r273064
Diffstat (limited to 'gcc/tree-ssa-alias.c')
0 files changed, 0 insertions, 0 deletions