projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e60b6e2) | patch
[Ada] Improve handling of SPARK_Mode in generic instances
authorYannick Moy <moy@adacore.com>
Fri, 10 Jan 2020 13:46:25 +0000 (14:46 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 3 Jun 2020 10:01:39 +0000 (06:01 -0400)
commit93b3110d75423001107785967a9f9c962e96d2e9
treec8294a0e8410e803d0f1c78eb1b9726393bc9894tree
parente60b6e23741c6d6059e6f765f18ce4c56366874bcommit | diff
[Ada] Improve handling of SPARK_Mode in generic instances

2020-06-03  Yannick Moy  <moy@adacore.com>

gcc/ada/

* rtsfind.adb (Load_RTU): Correctly set/reset global variable to
ignore SPARK_Mode in instances around loading.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Accept Off
without prior On.
* sem_ch7.adb (Analyze_Package_Body_Helper): Likewise.
* sem_prag.adb (Analyze_Pragma): Always take into account
SPARK_Mode Off.
gcc/ada/rtsfind.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/sem_ch7.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history