projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19b95c2) | patch
[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
treef9ded79bb4bb16e6ac45e9f050cbde3d74b2397btree
parent19b95c22c0fb9d301cac839936e8348b857ee550commit | diff
[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 diff | blob | history
gcc/ada/libgnat/s-bitfie.ads diff | blob | history
gcc/ada/libgnat/s-bituti.adb diff | blob | history
gcc/ada/libgnat/s-secsta.adb diff | blob | history