diff options
| author | Yannick Moy <moy@adacore.com> | 2022-09-05 12:20:18 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-12 10:16:52 +0200 |
| commit | 4caf4b5ef315a8e902471fe8797e504967f66a6b (patch) | |
| tree | 9cbd5b9b9aa511bfc5b12318e20887389be54ec4 /gcc/ada/debug.adb | |
| parent | 517817a434f0c15a355cb1e9ab3aaea14a54e9a6 (diff) | |
| download | gcc-4caf4b5ef315a8e902471fe8797e504967f66a6b.zip gcc-4caf4b5ef315a8e902471fe8797e504967f66a6b.tar.gz gcc-4caf4b5ef315a8e902471fe8797e504967f66a6b.tar.bz2 | |
[Ada] Accept explicit SPARK_Mode Auto as configuration pragma
An explicit value of Auto is now accepted for a configuration pragma
SPARK_Mode, as a way to exempt a unit from complete adherence to
SPARK rules when using a global configuration pragma file where
SPARK_Mode=>On is specified.
gcc/ada/
* sem_prag.adb (Analyze_Pragma): Accept SPARK_Mode=>Auto as
configuration pragma.
(Get_SPARK_Mode): Make the value for Auto explicit.
* snames.ads-tmpl (Name_Auto): Add name.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions