re PR c++/17232 ([DR 1640] classes and class template specializations treated differe...

	PR c++/17232
	PR c++/56642
	* typeck2.c (abstract_virtuals_error_sfinae): Revert complete_type
	change for now.

From-SVN: r196758

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index dc094f7284874e81ed967344b001282c76aa1bbd..b341e92979049fa303ed7b86636be3197757ee8a 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2013-03-17  Jason Merrill  <jason@redhat.com>
+
+       PR c++/17232
+       PR c++/56642
+       * typeck2.c (abstract_virtuals_error_sfinae): Revert complete_type
+       change for now.
+
 2013-03-16  Jason Merrill  <jason@redhat.com>
 
        * decl.c (grokdeclarator): Assert that we won't see a pointer to

diff --git a/gcc/cp/typeck2.c b/gcc/cp/typeck2.c
index 3bac67cf1192f567fb1b3988b9984973553c7e29..24b559385276d19dd775e9527900c53cebf7fc02 100644 (file)
--- a/gcc/cp/typeck2.c
+++ b/gcc/cp/typeck2.c
@@ -265,10 +265,6 @@ abstract_virtuals_error_sfinae (tree decl, tree type, abstract_class_use use,
     return 0;
   type = TYPE_MAIN_VARIANT (type);
 
-  /* In SFINAE context, force instantiation.  */
-  if (!(complain & tf_error))
-    complete_type (type);
-
   /* If the type is incomplete, we register it within a hash table,
      so that we can check again once it is completed. This makes sense
      only for objects for which we have a declaration or at least a