[Ada] Ada2020: Update Impunit for Ada 202X
authorBob Duff <duff@adacore.com>
Fri, 13 Dec 2019 09:03:50 +0000 (09:03 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 13 Dec 2019 09:03:50 +0000 (09:03 +0000)
commite841d4d8b3d1e64fe2f31329c8644ceca341874f
treeaed108db93f82ae274c1278b8bea90bd77d2f1b3
parent90366d65738e17da9998dc5618d6e970b6ee3b48
[Ada] Ada2020: Update Impunit for Ada 202X

2019-12-13  Bob Duff  <duff@adacore.com>

gcc/ada/

* impunit.ads: Add Ada_202X_Unit.
* impunit.adb: Add a table Non_Imp_File_Names_2X analogous to
the other tables. Add code to search this table.
* opt.ads: Add Warn_On_Ada_202X_Compatibility flag, currently
always True.
* sem_ch10.adb (Analyze_With_Clause): Give a warning if an Ada
2020 unit is with-ed when Ada_Version < Ada_2020.  Change 'if'
to 'case': Full coverage rules rule.

From-SVN: r279346
gcc/ada/ChangeLog
gcc/ada/impunit.adb
gcc/ada/impunit.ads
gcc/ada/opt.ads
gcc/ada/sem_ch10.adb