[Ada] Clean up support for validity checks in the compiler
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 4 Jul 2019 08:07:19 +0000 (08:07 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 4 Jul 2019 08:07:19 +0000 (08:07 +0000)
commit7cbe60de258f6d09561d4fe32dac8892b52520fe
tree551af59dfb80446b3ec68ca91ffe686ad68d8838
parenteedc5882dd635ce9cfaa650c790081b5130749af
[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
gcc/ada/ChangeLog
gcc/ada/gnat1drv.adb
gcc/ada/par-load.adb
gcc/ada/validsw.adb
gcc/ada/validsw.ads