From: Jason Merrill <jason@redhat.com>
Date: Tue, 18 May 2004 19:53:21 +0000 (-0400)
Subject: * class.c (build_base_path): Tidy a bit.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d7981fd95fde4396a5d774be8db49708ef68b86d;p=gcc.git

* class.c (build_base_path): Tidy a bit.

From-SVN: r82004
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f1c24c1a36e..ec73835eb55 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,7 @@
+2004-05-18  Jason Merrill  <jason@redhat.com>
+
+	* class.c (build_base_path): Tidy a bit.
+
 2004-05-14  Geoffrey Keating  <geoffk@apple.com>
 
 	* name-lookup.c (struct scope_binding): New.
diff --git a/gcc/cp/class.c b/gcc/cp/class.c
index 6d2fef50205..33cbdb64746 100644
--- a/gcc/cp/class.c
+++ b/gcc/cp/class.c
@@ -255,6 +255,7 @@ build_base_path (enum tree_code code,
   int fixed_type_p;
   int want_pointer = TREE_CODE (TREE_TYPE (expr)) == POINTER_TYPE;
   bool has_empty = false;
+  bool virtual_access;
 
   if (expr == error_mark_node || binfo == error_mark_node || !binfo)
     return error_mark_node;
@@ -296,21 +297,24 @@ build_base_path (enum tree_code code,
   offset = BINFO_OFFSET (binfo);
   fixed_type_p = resolves_to_fixed_type_p (expr, &nonnull);
 
-  if (want_pointer && !nonnull
-      && (!integer_zerop (offset) || (v_binfo && fixed_type_p <= 0)))
+  /* Do we need to look in the vtable for the real offset?  */
+  virtual_access = (v_binfo && fixed_type_p <= 0);
+
+  /* Do we need to check for a null pointer?  */
+  if (want_pointer && !nonnull && (virtual_access || !integer_zerop (offset)))
     null_test = error_mark_node;
 
-  if (TREE_SIDE_EFFECTS (expr)
-      && (null_test || (v_binfo && fixed_type_p <= 0)))
+  /* Protect against multiple evaluation if necessary.  */
+  if (TREE_SIDE_EFFECTS (expr) && (null_test || virtual_access))
     expr = save_expr (expr);
 
+  /* Now that we've saved expr, build the real null test.  */
   if (null_test)
     null_test = fold (build2 (NE_EXPR, boolean_type_node,
 			      expr, integer_zero_node));
 
   /* If this is a simple base reference, express it as a COMPONENT_REF.  */
-  if (code == PLUS_EXPR
-      && (v_binfo == NULL_TREE || fixed_type_p > 0)
+  if (code == PLUS_EXPR && !virtual_access
       /* We don't build base fields for empty bases, and they aren't very
 	 interesting to the optimizers anyway.  */
       && !has_empty)
@@ -323,7 +327,7 @@ build_base_path (enum tree_code code,
       goto out;
     }
 
-  if (v_binfo && fixed_type_p <= 0)
+  if (virtual_access)
     {
       /* Going via virtual base V_BINFO.  We need the static offset
          from V_BINFO to BINFO, and the dynamic offset from D_BINFO to