aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2016-06-14 16:33:11 +0200
committerJakub Jelinek <jakub@gcc.gnu.org>2016-06-14 16:33:11 +0200
commitabe7f8287ef2a19f089b135dc3d0b1f666615485 (patch)
tree438eb09457329145f448e1a8cb02bcfab95ec9e3
parentacfadf066def1f73e4cb0a7bc4cd368165302fa2 (diff)
downloadgcc-abe7f8287ef2a19f089b135dc3d0b1f666615485.zip
gcc-abe7f8287ef2a19f089b135dc3d0b1f666615485.tar.gz
gcc-abe7f8287ef2a19f089b135dc3d0b1f666615485.tar.bz2
re PR c++/71516 (ICE on invalid C++ code (invalid use of forward declared type) on x86_64-linux-gnu: Segmentation fault (program cc1plus))
PR c++/71516 * decl.c (complete_vars): Handle gracefully type == error_mark_node. * g++.dg/init/pr71516.C: New test. From-SVN: r237445
-rw-r--r--gcc/cp/ChangeLog5
-rw-r--r--gcc/cp/decl.c5
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/init/pr71516.C10
4 files changed, 23 insertions, 2 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 64acdc8..d006305 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2016-06-14 Jakub Jelinek <jakub@redhat.com>
+
+ PR c++/71516
+ * decl.c (complete_vars): Handle gracefully type == error_mark_node.
+
2016-06-14 Paolo Carlini <paolo.carlini@oracle.com>
* typeck2.c (digest_init_r): Use EXPR_LOC_OR_LOC on init.
diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c
index 415689f..20e7307 100644
--- a/gcc/cp/decl.c
+++ b/gcc/cp/decl.c
@@ -15029,8 +15029,9 @@ complete_vars (tree type)
tree var = iv->decl;
tree type = TREE_TYPE (var);
- if (TYPE_MAIN_VARIANT (strip_array_types (type))
- == iv->incomplete_type)
+ if (type != error_mark_node
+ && (TYPE_MAIN_VARIANT (strip_array_types (type))
+ == iv->incomplete_type))
{
/* Complete the type of the variable. The VAR_DECL itself
will be laid out in expand_expr. */
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3addc24..0e3c9cd 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-06-14 Jakub Jelinek <jakub@redhat.com>
+
+ PR c++/71516
+ * g++.dg/init/pr71516.C: New test.
+
2016-06-14 Paolo Carlini <paolo.carlini@oracle.com>
* g++.dg/init/array46.C: New.
diff --git a/gcc/testsuite/g++.dg/init/pr71516.C b/gcc/testsuite/g++.dg/init/pr71516.C
new file mode 100644
index 0000000..0b9aec4
--- /dev/null
+++ b/gcc/testsuite/g++.dg/init/pr71516.C
@@ -0,0 +1,10 @@
+// PR c++/71516
+// { dg-do compile }
+
+struct A; // { dg-message "forward declaration of" }
+struct B
+{
+ static A a;
+};
+A B::a = A(); // { dg-error "has initializer but incomplete type|invalid use of incomplete type" }
+struct A {};