expr.c (store_field): Do nothing except elaborate side-effects if zero-bit field.

	* expr.c (store_field): Do nothing except elaborate side-effects if
	zero-bit field.

From-SVN: r41763

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7dad94b2fdfad349286924ce018dbc167599c206..8779914283f13811ff1f4b7506a8ebac02fd3be6 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+Wed May  2 13:09:36 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
+
+       * expr.c (store_field): Do nothing except elaborate side-effects if
+       zero-bit field.
+
 2001-05-02  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 
        * c-lex.c: NULL_PTR -> NULL.

diff --git a/gcc/expr.c b/gcc/expr.c
index 0ef52f5d9ce6bb6240ec20f161ff7ec7bb05cad5..67cafeb7c9cb3acfbd14f74364e47703ac3c53b4 100644 (file)
--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -5131,6 +5131,11 @@ store_field (target, bitsize, bitpos, mode, exp, value_mode,
   if (TREE_CODE (exp) == ERROR_MARK)
     return const0_rtx;
 
+  /* If we have nothing to store, do nothing unless the expression has
+     side-effects.  */
+  if (bitsize == 0)
+    return expand_expr (exp, const0_rtx, VOIDmode, 0);
+
   if (bitsize < HOST_BITS_PER_WIDE_INT)
     width_mask = ((HOST_WIDE_INT) 1 << bitsize) - 1;