diff options
| author | Richard Biener <rguenther@suse.de> | 2018-04-30 08:18:03 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-04-30 08:18:03 +0000 |
| commit | bece35ca280ed20a8c9bb540881c79fa4bd28cff (patch) | |
| tree | 5221f79e0e264cfb9f8738d02501c82bff64a79f /gcc | |
| parent | 2925cd9d1c9d9e03a55f9f67ab81ead94f9e4f6c (diff) | |
| download | gcc-bece35ca280ed20a8c9bb540881c79fa4bd28cff.zip gcc-bece35ca280ed20a8c9bb540881c79fa4bd28cff.tar.gz gcc-bece35ca280ed20a8c9bb540881c79fa4bd28cff.tar.bz2 | |
re PR bootstrap/85571 (non-bootstrap-debug miscompare with trunk)
2018-04-30 Richard Biener <rguenther@suse.de>
PR bootstrap/85571
* Makefile.tpl (STAGE3_CFLAGS): Use -fchecking=1.
(STAGE3_TFLAGS): Likewise.
(STAGEtrain_CFLAGS): Filter out -fchecking=1.
(STAGEtrain_TFLAGS): Likewise.
* Makefile.in: Regenerate.
* dwarf2out.c (gen_producer_string): Ignore -fchecking[=].
From-SVN: r259755
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/dwarf2out.c | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1470c89..11b7a83 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2018-04-30 Richard Biener <rguenther@suse.de> + PR bootstrap/85571 + * dwarf2out.c (gen_producer_string): Ignore -fchecking[=]. + +2018-04-30 Richard Biener <rguenther@suse.de> + PR tree-optimization/28364 PR tree-optimization/85275 * tree-ssa-loop-ch.c (ch_base::copy_headers): Stop after diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c index d2d4ec0..a92b0ce 100644 --- a/gcc/dwarf2out.c +++ b/gcc/dwarf2out.c @@ -24234,6 +24234,8 @@ gen_producer_string (void) case OPT_fmacro_prefix_map_: case OPT_ffile_prefix_map_: case OPT_fcompare_debug: + case OPT_fchecking: + case OPT_fchecking_: /* Ignore these. */ continue; default: |