diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-07-04 08:07:19 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-04 08:07:19 +0000 |
| commit | 7cbe60de258f6d09561d4fe32dac8892b52520fe (patch) | |
| tree | 551af59dfb80446b3ec68ca91ffe686ad68d8838 /gcc/jit | |
| parent | eedc5882dd635ce9cfaa650c790081b5130749af (diff) | |
| download | gcc-7cbe60de258f6d09561d4fe32dac8892b52520fe.zip gcc-7cbe60de258f6d09561d4fe32dac8892b52520fe.tar.gz gcc-7cbe60de258f6d09561d4fe32dac8892b52520fe.tar.bz2 | |
[Ada] Clean up support for validity checks in the compiler
This removes old code in the parser that serves no useful purpose and
fixes minor issues in the Validsw package. No functional changes.
2019-07-04 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* gnat1drv.adb (Adjust_Global_Switches): Use proper interface to
set the validity settings in CodePeer mode.
* par-load.adb (Load): Remove all code dealing with validity
settings.
* validsw.ads (Validity_Check_Copies): Alphabetize.
* validsw.adb (Reset_Validity_Check_Options): Set all options to
off.
(Save_Validity_Check_Options): Save all options.
From-SVN: r273071
Diffstat (limited to 'gcc/jit')
0 files changed, 0 insertions, 0 deletions