re PR c++/58843 (ICE with broken destructor call)

/cp
2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/58843
	* typeck.c (lookup_destructor): Check dtor_type for error_mark_node.

/testsuite
2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/58843
	* g++.dg/lookup/crash8.C: New.

From-SVN: r207305

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index ff696e3e88484a87c99abd596937fadfe40bf097..f49e2e55c4b21d9f7376df25b292b1b0c7dcf374 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/58843
+       * typeck.c (lookup_destructor): Check dtor_type for error_mark_node.
+
 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/58649

diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c
index 6268f7bfbba8acdac9d43e7f6149be334b377cd0..b6f47384f31c58edcac746f3ce4b88b9a7891b0b 100644 (file)
--- a/gcc/cp/typeck.c
+++ b/gcc/cp/typeck.c
@@ -2486,6 +2486,10 @@ lookup_destructor (tree object, tree scope, tree dtor_name,
   tree dtor_type = TREE_OPERAND (dtor_name, 0);
   tree expr;
 
+  /* We've already complained about this destructor.  */
+  if (dtor_type == error_mark_node)
+    return error_mark_node;
+
   if (scope && !check_dtor_name (scope, dtor_type))
     {
       if (complain & tf_error)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ce37ff1813992671d47413969b7b03081b0e41c9..22a79d4d971250aaf13546617ac17e13ab539757 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/58843
+       * g++.dg/lookup/crash8.C: New.
+
 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/58649

diff --git a/gcc/testsuite/g++.dg/lookup/crash8.C b/gcc/testsuite/g++.dg/lookup/crash8.C
new file mode 100644 (file)
index 0000000..7dce9cb
--- /dev/null
+++ b/gcc/testsuite/g++.dg/lookup/crash8.C
@@ -0,0 +1,13 @@
+// PR c++/58843
+
+struct A {};
+
+template<typename T> void foo(T t)
+{
+  t.T::~X();  // { dg-error "no type" }
+}
+
+void bar()
+{
+  foo(A());
+}