re PR c++/79535 (ICE in verify_ctor_sanity, at cp/constexpr.c:2636)

	PR c++/79535
	* cp-tree.h (maybe_reject_flexarray_init): Declare.
	* init.c (maybe_reject_flexarray_init): No longer static.
	Add check for current_function_decl.
	* parser.c (cp_parser_late_parse_one_default_arg): Reject
	a default mem-initializer for a flexible array.

	* g++.dg/ext/flexary23.C: New test.

From-SVN: r245641

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 82225414bf7d9452cc511181e83d05d84a29769c..90272d2638edb44699ff91eca87ed80ceb4add94 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,12 @@
+2017-02-21  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/79535
+       * cp-tree.h (maybe_reject_flexarray_init): Declare.
+       * init.c (maybe_reject_flexarray_init): No longer static.
+       Add check for current_function_decl.
+       * parser.c (cp_parser_late_parse_one_default_arg): Reject
+       a default mem-initializer for a flexible array.
+
 2017-02-21  Jakub Jelinek  <jakub@redhat.com>
            Paolo Carlini  <paolo.carlini@oracle.com>
 

diff --git a/gcc/cp/cp-tree.h b/gcc/cp/cp-tree.h
index 6675ee5bb50eb42abf8647178404f5498d52479e..f53f7442bc9fee734e8af1ca81aeb6cc77c1b17f 100644 (file)
--- a/gcc/cp/cp-tree.h
+++ b/gcc/cp/cp-tree.h
@@ -6069,6 +6069,7 @@ extern tree scalar_constant_value         (tree);
 extern tree decl_really_constant_value         (tree);
 extern int diagnose_uninitialized_cst_or_ref_member (tree, bool, bool);
 extern tree build_vtbl_address                  (tree);
+extern bool maybe_reject_flexarray_init                (tree, tree);
 
 /* in lex.c */
 extern void cxx_dup_lang_specific_decl         (tree);

diff --git a/gcc/cp/init.c b/gcc/cp/init.c
index fa742268dc0fc3ea44262fe7976b144334f64e27..13ade8a616b8e96d7d07f254dd0c6a46e46314fb 100644 (file)
--- a/gcc/cp/init.c
+++ b/gcc/cp/init.c
@@ -600,7 +600,7 @@ get_nsdmi (tree member, bool in_ctor)
 /* Diagnose the flexible array MEMBER if its INITializer is non-null
    and return true if so.  Otherwise return false.  */
 
-static bool
+bool
 maybe_reject_flexarray_init (tree member, tree init)
 {
   tree type = TREE_TYPE (member);
@@ -615,6 +615,7 @@ maybe_reject_flexarray_init (tree member, tree init)
      initializer list.  */
   location_t loc;
   if (DECL_INITIAL (member) == init
+      || !current_function_decl
       || DECL_DEFAULTED_FN (current_function_decl))
     loc = DECL_SOURCE_LOCATION (member);
   else

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index 0146596d1545a890e2b4ebfe2e20257c61c2a36d..3992516de0e3c730bdc885af8a187560f23b6258 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -27228,6 +27228,8 @@ cp_parser_late_parse_one_default_arg (cp_parser *parser, tree decl,
       if (TREE_CODE (decl) == PARM_DECL)
        parsed_arg = check_default_argument (parmtype, parsed_arg,
                                             tf_warning_or_error);
+      else if (maybe_reject_flexarray_init (decl, parsed_arg))
+       parsed_arg = error_mark_node;
       else
        parsed_arg = digest_nsdmi_init (decl, parsed_arg);
     }

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1262b2eaa79700bb78d324cf5b7d35de32d28915..b76d0a31f8617e694c46dc4acbae4c35a345bad6 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-02-21  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/79535
+       * g++.dg/ext/flexary23.C: New test.
+
 2017-02-21  Jakub Jelinek  <jakub@redhat.com>
 
        PR c++/79654

diff --git a/gcc/testsuite/g++.dg/ext/flexary23.C b/gcc/testsuite/g++.dg/ext/flexary23.C
new file mode 100644 (file)
index 0000000..099e7fd
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ext/flexary23.C
@@ -0,0 +1,11 @@
+// PR c++/79535 - ICE with NSDMI and array
+// { dg-do compile { target c++14 } }
+// { dg-options -Wno-pedantic }
+
+struct A
+{
+  int b = 1;
+  int c = 2;
+  int x[] = { c, 3 }; // { dg-error "initializer for flexible array member" }
+};
+A a = { 4, 5 };