PR c++/9432, c++/9528

	* decl2.c (validate_nonmember_using_decl): Handle SCOPE_REF.

	* g++.dg/lookup/using4.C: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@66298 138bc75d-0d04-0410-961f-82ee72b054a4

4 files changed, 33 insertions, 0 deletions

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index d6fd395505f..eb5b26ee42c 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2003-04-30  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
+
+	PR c++/9432, c++/9528
+	* decl2.c (validate_nonmember_using_decl): Handle SCOPE_REF.
+
 2003-04-30  Garbiel Dos Reis  <gcc@integrable-solutions.net>
 
 	* decl.c (check_previous_goto_1): Adjust prototype.
diff --git a/gcc/cp/decl2.c b/gcc/cp/decl2.c
index cf63b387e97..4f0337d40f0 100644
--- a/gcc/cp/decl2.c
+++ b/gcc/cp/decl2.c
@@ -4236,6 +4236,14 @@ validate_nonmember_using_decl (tree decl, tree *scope, tree *name)
       return NULL_TREE;
     }
 
+  if (TREE_CODE (decl) == SCOPE_REF)
+    {
+      /* It's a nested name with template parameter dependent scope.
+	 This can only be using-declaration for class member.  */
+      error ("`%T' is not a namespace", TREE_OPERAND (decl, 0));
+      return NULL_TREE;
+    }
+
   if (is_overloaded_fn (decl))
     decl = get_first_fn (decl);
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5a7ddceb97c..96ea0ab05d2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2003-04-30  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
+
+	PR c++/9432, c++/9528
+	* g++.dg/lookup/using4.C: New test.
+
 2003-04-29  Geoffrey Keating  <geoffk@apple.com>
 
 	* gcc.dg/noreturn-5.c: New file.
diff --git a/gcc/testsuite/g++.dg/lookup/using4.C b/gcc/testsuite/g++.dg/lookup/using4.C
new file mode 100644
index 00000000000..a6421c87598
--- /dev/null
+++ b/gcc/testsuite/g++.dg/lookup/using4.C
@@ -0,0 +1,15 @@
+// { dg-do compile }
+
+// Origin: Richard Guenther <rguenth@tat.physik.uni-tuebingen.de>
+
+// PR c++/9432: ICE in validate_nonmember_using_decl when decl is a 
+// SCOPE_REF.
+
+template <class T> struct Foo;
+template <class T>
+struct Bar : public Foo<T> {
+        void foo()
+        {
+                using Foo<T>::i;	// { dg-error "not a namespace" }
+        }
+};