[Ada] Enable checks on runtime by default
authorArnaud Charlet <charlet@adacore.com>
Mon, 2 Nov 2020 17:27:55 +0000 (12:27 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 30 Nov 2020 14:16:21 +0000 (09:16 -0500)
commitb60170728ea74dd615f32a7da11e8291c935ab66
treef9ded79bb4bb16e6ac45e9f050cbde3d74b2397b
parent19b95c22c0fb9d301cac839936e8348b857ee550
[Ada] Enable checks on runtime by default

gcc/ada/

* gcc-interface/Makefile.in (GNATLIBFLAGS): Enable checks by
default.
* libgnat/s-bitfie.ads: Suppress alignment checks.
* libgnat/s-bituti.adb: Minor reformatting.
* libgnat/s-secsta.adb (SS_Allocate): Support Size = 0.
gcc/ada/gcc-interface/Makefile.in
gcc/ada/libgnat/s-bitfie.ads
gcc/ada/libgnat/s-bituti.adb
gcc/ada/libgnat/s-secsta.adb