* typeck.c (build_class_member_access_expr): Skip null deref

        warning when we don't dereference it.

Radar 3718909

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

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 3d194a4..01112d5 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2004-07-09  Mike Stump  <mrs@apple.com>
+
+       * typeck.c (build_class_member_access_expr): Skip null deref
+       warning when we don't dereference it.
+
 2004-07-09  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
 
        PR c++/8211

diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c
index 55b3ef3..6b11325 100644 (file)
--- a/gcc/cp/typeck.c
+++ b/gcc/cp/typeck.c
@@ -1707,7 +1707,8 @@ build_class_member_access_expr (tree object, tree member,
         actually used the offsetof macro, since there's no way to know at this
         point.  So we just give a warning, instead of a pedwarn.  */
       if (null_object_p && warn_invalid_offsetof
-         && CLASSTYPE_NON_POD_P (object_type))
+         && CLASSTYPE_NON_POD_P (object_type)
+         && ! skip_evaluation)
        {
          warning ("invalid access to non-static data member `%D' of NULL object", 
                   member);

diff --git a/gcc/testsuite/g++.old-deja/g++.mike/sizeof.C b/gcc/testsuite/g++.old-deja/g++.mike/sizeof.C
new file mode 100644 (file)
index 0000000..c336a7a
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.mike/sizeof.C
@@ -0,0 +1,9 @@
+// { dg-do compile }
+
+class Foo {
+  int children[4];
+public:
+  unsigned function(void) {
+    return sizeof (((Foo*)0)->children);
+  }
+};