]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/ada/ChangeLog
[Ada] Clean up support for validity checks in the compiler
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Jul 2019 08:07:19 +0000 (08:07 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Jul 2019 08:07:19 +0000 (08:07 +0000)
commite0ff16395c0e705b310b35f141d9248e8855f0f9
tree551af59dfb80446b3ec68ca91ffe686ad68d8838
parent40bff3a0ced815430385981a98cac437db0e245f
[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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@273071 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gnat1drv.adb
gcc/ada/par-load.adb
gcc/ada/validsw.adb
gcc/ada/validsw.ads