From: Jeff Law <law@redhat.com>
Date: Tue, 1 Feb 2005 03:48:52 +0000 (-0700)
Subject: fold-const.c (fold, [...]): Do not lose side effects when optimizing 0 % X.
X-Git-Tag: releases/gcc-4.0.0~1147
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=dc5d4efbce3e6587b31da8d6d1c502aea80acfcc;p=thirdparty%2Fgcc.git

fold-const.c (fold, [...]): Do not lose side effects when optimizing 0 % X.


	* fold-const.c (fold, case CEIL_MOD_EXPR): Do not lose side
	effects when optimizing 0 % X.  Do not try to optimize X % 0.

	* gcc.c-torture/execute/20050131-1.c: New test.
	* gcc.dg/wcaselabel.c: New test.

From-SVN: r94516
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1b5174ead58f..5320b6dffa63 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-01-31  Jeff Law  <law@redhat.com>
+
+        * fold-const.c (fold, case CEIL_MOD_EXPR): Do not lose side
+        effects when optimizing 0 % X.  Do not try to optimize X % 0.
+
 2005-01-31  James E. Wilson  <wilson@specifixinc.com>
 
 	* config/ia64/itanium1.md (1_scall bypass): Change 2_mmalua to
diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 13c57e0ba6ae..22857428a5c5 100644
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -7938,12 +7938,21 @@ fold (tree expr)
     case FLOOR_MOD_EXPR:
     case ROUND_MOD_EXPR:
     case TRUNC_MOD_EXPR:
-      /* 0 % X is always zero as is X % 1.  */
-      if (integer_zerop (arg0) || integer_onep (arg1))
+      /* X % 1 is always zero, but be sure to preserve any side
+	 effects in X.  */
+      if (integer_onep (arg1))
 	return omit_one_operand (type, integer_zero_node, arg0);
+
+      /* X % 0, return X % 0 unchanged so that we can get the
+	 proper warnings and errors.  */
       if (integer_zerop (arg1))
 	return t;
 
+      /* 0 % X is always zero, but be sure to preserve any side
+	 effects in X.  Place this after checking for X == 0.  */
+      if (integer_zerop (arg0))
+	return omit_one_operand (type, integer_zero_node, arg1);
+
       /* X % -1 is zero.  */
       if (!TYPE_UNSIGNED (type)
 	  && TREE_CODE (arg1) == INTEGER_CST
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4c7011ec9901..b697d41120d4 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2005-01-31  Jeff Law  <law@redhat.com>
+
+	* gcc.c-torture/execute/20050131-1.c: New test.
+	* gcc.dg/wcaselabel.c: New test.
+
 2005-01-31  Mark Mitchell  <mark@codesourcery.com>
 
 	* g++.dg/other/warning1.C: Adjust error messags.
diff --git a/gcc/testsuite/gcc.c-torture/execute/20050131-1.c b/gcc/testsuite/gcc.c-torture/execute/20050131-1.c
new file mode 100644
index 000000000000..9fae91181d5b
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20050131-1.c
@@ -0,0 +1,18 @@
+/* Verify that we do not lose side effects on a MOD expression.  */
+
+#include <stdlib.h>
+#include <stdio.h>
+
+int
+foo (int a)
+{
+  int x = 0 % a++;
+  return a;
+}
+
+main()
+{
+  if (foo (9) != 10)
+    abort ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/wcaselabel-1.c b/gcc/testsuite/gcc.dg/wcaselabel-1.c
new file mode 100644
index 000000000000..6f673dfaf690
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/wcaselabel-1.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "-w" } */
+
+
+int foo(int x)
+{
+  switch(x)
+  {
+
+  case 0 % 0:	 /* { dg-error "case label does not reduce to an integer constant" } */
+    return 1;
+  default:
+    return 2;
+  }
+}