From: mrs <mrs@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Fri, 9 Jul 2004 18:49:04 +0000 (+0000)
Subject:         * typeck.c (build_class_member_access_expr): Skip null deref
X-Git-Url: http://git.sourceforge.jp/view?p=pf3gnuchains%2Fgcc-fork.git;a=commitdiff_plain;h=3b7e867a3ab94880508704b334266485368cd3f3

    * 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 3d194a43668..01112d52c3c 100644
--- 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 55b3ef3bc57..6b113255bda 100644
--- 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
index 00000000000..c336a7a4642
--- /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);
+  }
+};