aboutsummaryrefslogtreecommitdiff
path: root/gcc/fortran
diff options
context:
space:
mode:
authorYannick Moy <moy@adacore.com>2020-01-10 14:46:25 +0100
committerPierre-Marie de Rodat <derodat@adacore.com>2020-06-03 06:01:39 -0400
commit93b3110d75423001107785967a9f9c962e96d2e9 (patch)
treec8294a0e8410e803d0f1c78eb1b9726393bc9894 /gcc/fortran
parente60b6e23741c6d6059e6f765f18ce4c56366874b (diff)
downloadgcc-93b3110d75423001107785967a9f9c962e96d2e9.zip
gcc-93b3110d75423001107785967a9f9c962e96d2e9.tar.gz
gcc-93b3110d75423001107785967a9f9c962e96d2e9.tar.bz2
[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.
Diffstat (limited to 'gcc/fortran')
0 files changed, 0 insertions, 0 deletions