PR c++/10230, c++/10481

	PR c++/10230, c++/10481
	* semantics.c (finish_non_static_data_member): Handle when the
	non-static member is not from a base of the current class type.

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

From-SVN: r66683

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 9aa822b8ceffd55089e8e3ba9a4e08aeeda77277..a11a50218b35315efb03913b824450284f14ecd2 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2003-05-11  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
+
+       PR c++/10230, c++/10481
+       * semantics.c (finish_non_static_data_member): Handle when the
+       non-static member is not from a base of the current class type.
+
 2003-05-11  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
 
        PR c++/10552

diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index 62a900a95b512293efd7fbcc128e34ee5da08a22..ab6a75c7ddbca03d50afcd406023575ed29670df 100644 (file)
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -1276,13 +1276,22 @@ finish_non_static_data_member (tree decl, tree qualifying_scope)
       tree access_type = current_class_type;
       tree object = current_class_ref;
 
-      while (!DERIVED_FROM_P (context_for_name_lookup (decl), access_type))
+      while (access_type
+            && !DERIVED_FROM_P (context_for_name_lookup (decl), access_type))
        {
          access_type = TYPE_CONTEXT (access_type);
-         while (DECL_P (access_type))
+         while (access_type && DECL_P (access_type))
            access_type = DECL_CONTEXT (access_type);
        }
 
+      if (!access_type)
+       {
+         cp_error_at ("object missing in reference to `%D'",
+                      decl);
+         error ("from this location");
+         return error_mark_node;
+       }
+
       perform_or_defer_access_check (access_type, decl);
 
       /* If the data member was named `C::M', convert `*this' to `C'

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ade25071722b474becf0ad4dc37e289fb34edc57..5f370555bf42be61e37edbf1d41d8620991cbb1d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2003-05-11  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
+
+       PR c++/10230, c++/10481
+       * g++.dg/lookup/scoped5.C: New test.
+
 2003-05-11  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
 
        PR c++/10552

diff --git a/gcc/testsuite/g++.dg/lookup/scoped5.C b/gcc/testsuite/g++.dg/lookup/scoped5.C
new file mode 100644 (file)
index 0000000..267bc60
--- /dev/null
+++ b/gcc/testsuite/g++.dg/lookup/scoped5.C
@@ -0,0 +1,19 @@
+// { dg-do compile }
+
+// Origin: pepeaty@yahoo.com
+
+// PR c++/10230: ICE while determining if refered non-static member
+// is from a base type of the current class.
+
+class A {
+public:
+  class B {
+  public:
+    int a;                     // { dg-error "member of base" }
+  };
+};
+
+class C {
+public:
+  void f(void) { sizeof(A::B::a); } // { dg-error "this location" }
+};