pt.c (tsubst_decl): If the type of a template instantiation is bogus, so is the…

pt.c (tsubst_decl): If the type of a template instantiation is bogus, so is the whole instantiation.

	* pt.c (tsubst_decl): If the type of a template instantiation is
	bogus, so is the whole instantiation.

From-SVN: r29757

gcc/cp/ChangeLog

+1999-10-01  Mark Mitchell  <mark@codesourcery.com>
+
+	* pt.c (tsubst_decl): If the type of a template instantiation is
+	bogus, so is the whole instantiation.
+
 1999-09-30  Mark Mitchell  <mark@codesourcery.com>
 
 	* decl.c (initialize_local_var): Handle static variables here.

gcc/cp/pt.c

@@ -5778,6 +5778,8 @@ tsubst_decl (t, args, type, in_decl)
 	    ctx = NULL_TREE;
 	  }
 	type = tsubst (type, args, /*complain=*/1, in_decl);
+	if (type == error_mark_node)
+	  return error_mark_node;
 
 	/* We do NOT check for matching decls pushed separately at this
            point, as they may not represent instantiations of this

gcc/testsuite/g++.old-deja/g++.pt/error2.C

+// Build don't link:
+// Origin: Carl Nygard <cnygard@bellatlantic.net>
+
+template <class RT>
+class Test { // ERROR - in instantiation
+public:
+  Test(const RT& c = RT()) {} // ERROR - reference to void
+};
+
+void f ()
+{
+  Test<void> c; // ERROR - instantiated from here
+}
+
+

gcc/testsuite/g++.old-deja/g++.pt/typename8.C

@@ -11,7 +11,7 @@ public:
     t=_t;
   }
 
-  anotherT getT() {
+  anotherT getT() { // ERROR - undefined type
     return t;
   }
 };
@@ -20,8 +20,8 @@ class B : public A< B > // ERROR - forward declaration
 {
 public:
   typedef int myT;
-};
+}; // ERROR - base with non-default constructor
 
 int main() {
-  B b;
+  B b; // ERROR - no constructor
 }