diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-11-02 12:27:55 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-30 09:16:21 -0500 |
| commit | b60170728ea74dd615f32a7da11e8291c935ab66 (patch) | |
| tree | f9ded79bb4bb16e6ac45e9f050cbde3d74b2397b /gcc/ada/gcc-interface/Makefile.in | |
| parent | 19b95c22c0fb9d301cac839936e8348b857ee550 (diff) | |
| download | gcc-b60170728ea74dd615f32a7da11e8291c935ab66.zip gcc-b60170728ea74dd615f32a7da11e8291c935ab66.tar.gz gcc-b60170728ea74dd615f32a7da11e8291c935ab66.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/gcc-interface/Makefile.in')
| -rw-r--r-- | gcc/ada/gcc-interface/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/gcc-interface/Makefile.in b/gcc/ada/gcc-interface/Makefile.in index bdf6ae2..a6325aa 100644 --- a/gcc/ada/gcc-interface/Makefile.in +++ b/gcc/ada/gcc-interface/Makefile.in @@ -110,7 +110,7 @@ NO_INLINE_ADAFLAGS = -fno-inline NO_OMIT_ADAFLAGS = -fno-omit-frame-pointer NO_SIBLING_ADAFLAGS = -fno-optimize-sibling-calls NO_REORDER_ADAFLAGS = -fno-toplevel-reorder -GNATLIBFLAGS = -W -Wall -gnatpg -nostdinc +GNATLIBFLAGS = -W -Wall -gnatg -nostdinc GNATLIBCFLAGS = -g -O2 # Pretend that _Unwind_GetIPInfo is available for the target by default. This # should be autodetected during the configuration of libada and passed down to |