From: Richard Kenner <kenner@gcc.gnu.org>
Date: Wed, 28 Apr 1993 10:16:57 +0000 (-0400)
Subject: (convert_to_integer): When we want to return zero, be sure we honor
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d9a9c5a7b31878d5926d2da3c191cb0df348e2ab;p=gcc.git

(convert_to_integer): When we want to return zero, be sure we honor
any side-effects in our operand.

From-SVN: r4255
---

diff --git a/gcc/convert.c b/gcc/convert.c
index 7261e1baa8e..d073ac3ee62 100644
--- a/gcc/convert.c
+++ b/gcc/convert.c
@@ -199,11 +199,22 @@ convert_to_integer (type, expr)
 		/* In this case, shifting is like multiplication.  */
 		goto trunc1;
 	      else
-		/* If it is >= that width, result is zero.
-		   Handling this with trunc1 would give the wrong result:
-		   (int) ((long long) a << 32) is well defined (as 0)
-		   but (int) a << 32 is undefined and would get a warning.  */
-		return convert_to_integer (type, integer_zero_node);
+		{
+		  /* If it is >= that width, result is zero.
+		     Handling this with trunc1 would give the wrong result:
+		     (int) ((long long) a << 32) is well defined (as 0)
+		     but (int) a << 32 is undefined and would get a
+		     warning.  */
+
+		  tree t = convert_to_integer (type, integer_zero_node);
+
+		  /* If the original expression had side-effects, we must
+		     preserve it.  */
+		  if (TREE_SIDE_EFFECTS (expr))
+		    return build (COMPOUND_EXPR, type, expr, t);
+		  else
+		    return t;
+		}
 	    }
 	  break;