From c617fb562d510101b5445464753858a557020acb Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Fri, 6 Apr 2018 19:28:54 +0200 Subject: [PATCH] re PR debug/85252 (ICE with -g for static zero-length array initialization) PR debug/85252 * dwarf2out.c (rtl_for_decl_init): For STRING_CST initializer only build CONST_STRING if TYPE_MAX_VALUE is non-NULL and is INTEGER_CST. * gcc.dg/debug/pr85252.c: New test. From-SVN: r259183 --- gcc/ChangeLog | 4 ++++ gcc/dwarf2out.c | 2 ++ gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/gcc.dg/debug/pr85252.c | 11 +++++++++++ 4 files changed, 20 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/debug/pr85252.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1a8fcf692d5..c82d2bc57f8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2018-04-06 Jakub Jelinek + PR debug/85252 + * dwarf2out.c (rtl_for_decl_init): For STRING_CST initializer only + build CONST_STRING if TYPE_MAX_VALUE is non-NULL and is INTEGER_CST. + PR rtl-optimization/84872 * cfgloopmanip.c (create_preheader): Use make_forwarder_block even if nentry == 1 when CP_FALLTHRU_PREHEADERS and single_entry is diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c index 793305484df..50a41c56091 100644 --- a/gcc/dwarf2out.c +++ b/gcc/dwarf2out.c @@ -19596,6 +19596,8 @@ rtl_for_decl_init (tree init, tree type) if (is_int_mode (TYPE_MODE (enttype), &mode) && GET_MODE_SIZE (mode) == 1 && domain + && TYPE_MAX_VALUE (domain) + && TREE_CODE (TYPE_MAX_VALUE (domain)) == INTEGER_CST && integer_zerop (TYPE_MIN_VALUE (domain)) && compare_tree_int (TYPE_MAX_VALUE (domain), TREE_STRING_LENGTH (init) - 1) == 0 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 25cda5027ac..4ab768d2fc4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2018-04-06 Jakub Jelinek + PR debug/85252 + * gcc.dg/debug/pr85252.c: New test. + PR rtl-optimization/84872 * gcc.dg/graphite/pr84872.c: New test. diff --git a/gcc/testsuite/gcc.dg/debug/pr85252.c b/gcc/testsuite/gcc.dg/debug/pr85252.c new file mode 100644 index 00000000000..6e5ca85bc86 --- /dev/null +++ b/gcc/testsuite/gcc.dg/debug/pr85252.c @@ -0,0 +1,11 @@ +/* PR debug/85252 */ +/* { dg-do compile } */ + +void +foo (void) +{ + static char a[0] = ""; + static char b[0] = "b"; /* { dg-warning "initializer-string for array of chars is too long" } */ + static char c[1] = "c"; + static char d[1] = "de"; /* { dg-warning "initializer-string for array of chars is too long" } */ +} -- 2.30.2