[Ada] Replace Opt.Extensions_Allowed by Ada_Version
authorArnaud Charlet <charlet@adacore.com>
Sun, 14 Mar 2021 19:49:39 +0000 (15:49 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 18 Jun 2021 08:36:46 +0000 (04:36 -0400)
commit5ddd01d6d41846eeb4b5e55351a4910841504510
tree446d9ece7603fc1bb74699a85c38b8c295157364
parent4153c7547146cbd775385569bfdaa6cb3fe19007
[Ada] Replace Opt.Extensions_Allowed by Ada_Version

gcc/ada/

* fe.h, opt.adb, opt.ads, par-prag.adb, sem_prag.adb,
switch-c.adb (Extensions_Allowed): Replace by a function.
(Ada_Version_Type): Add new value Ada_With_Extensions, to
replace setting of Extensions_Allowed.  Update setting of
Extensions_Allowed.
gcc/ada/fe.h
gcc/ada/opt.adb
gcc/ada/opt.ads
gcc/ada/par-prag.adb
gcc/ada/sem_prag.adb
gcc/ada/switch-c.adb