re PR c++/29388 (ICE with invalid nested name specifier)

2009-01-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR C++/29388
        * decl.c (grokdeclarator): Check for a non namespace/class context.


2009-01-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR C++/29388
        * g++.dg/template/error37.C: New testcase.

From-SVN: r143411

gcc/cp/ChangeLog

+2009-01-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
+
+	PR C++/29388
+	* decl.c (grokdeclarator): Check for a non namespace/class context.
+
 2009-01-15  Jason Merrill  <jason@redhat.com>
 
 	PR c++/36334

gcc/cp/decl.c

@@ -9285,6 +9285,13 @@ grokdeclarator (const cp_declarator *declarator,
 		       "declared out of global scope", name);
 	  }
 
+	if (ctype != NULL_TREE
+	    && TREE_CODE (ctype) != NAMESPACE_DECL && !MAYBE_CLASS_TYPE_P (ctype))
+	  {
+	    error ("%q#T is not a class or a namespace", ctype);
+	    ctype = NULL_TREE;
+	  }
+
 	if (ctype == NULL_TREE)
 	  {
 	    if (virtualp)

gcc/testsuite/ChangeLog

+2009-01-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
+
+        PR C++/29388
+	* g++.dg/template/error37.C: New testcase.
+
 2009-01-15  Jason Merrill  <jason@redhat.com>
 
 	PR c++/36334

gcc/testsuite/g++.dg/template/error37.C

+// { dg-do compile }
+// PR C++/29388
+// We used to ICE in is_ancestor because we would use int as the context of foo
+// but that is invalid.
+
+template<int> struct A
+{
+	  typedef int T;
+	    void foo();
+};
+
+template<int N> void A<N>::T::foo() {} // { dg-error "" }