From: Jakub Jelinek <jakub@redhat.com>
Date: Thu, 7 Jul 2011 19:11:27 +0000 (+0200)
Subject: re PR c/49644 (post-increment of promoted operand is incorrect.)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c4603e7ce0b0e007db25abc234a85d1562a9c988;p=gcc.git

re PR c/49644 (post-increment of promoted operand is incorrect.)

	PR c/49644
	* c-typeck.c (build_binary_op): For MULT_EXPR and TRUNC_DIV_EXPR with
	one non-complex and one complex argument, call c_save_expr on both
	operands.

	* gcc.c-torture/execute/pr49644.c: New test.

From-SVN: r176004
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dbeb8e68cd6..a93f5a1a0e6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2011-07-07  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c/49644
+	* c-typeck.c (build_binary_op): For MULT_EXPR and TRUNC_DIV_EXPR with
+	one non-complex and one complex argument, call c_save_expr on both
+	operands.
+
 2011-07-07  Martin Jambor  <mjambor@suse.cz>
 
 	PR middle-end/49495
diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index a4516064e50..bd2d685f8bc 100644
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -10040,6 +10040,7 @@ build_binary_op (location_t location, enum tree_code code,
 		{
 		case MULT_EXPR:
 		case TRUNC_DIV_EXPR:
+		  op1 = c_save_expr (op1);
 		  imag = build2 (resultcode, real_type, imag, op1);
 		  /* Fall through.  */
 		case PLUS_EXPR:
@@ -10060,6 +10061,7 @@ build_binary_op (location_t location, enum tree_code code,
 	      switch (code)
 		{
 		case MULT_EXPR:
+		  op0 = c_save_expr (op0);
 		  imag = build2 (resultcode, real_type, op0, imag);
 		  /* Fall through.  */
 		case PLUS_EXPR:
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ff76bb04342..a7eda91c69e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-07-07  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c/49644
+	* gcc.c-torture/execute/pr49644.c: New test.
+
 2011-07-07  H.J. Lu  <hongjiu.lu@intel.com>
 
 	* lib/target-supports.exp (check_effective_target_ia32): New.
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr49644.c b/gcc/testsuite/gcc.c-torture/execute/pr49644.c
new file mode 100644
index 00000000000..88be23c40a9
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr49644.c
@@ -0,0 +1,16 @@
+/* PR c/49644 */
+
+extern void abort (void);
+
+int
+main ()
+{
+  _Complex double a[12], *c = a, s = 3.0 + 1.0i;
+  double b[12] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 }, *d = b;
+  int i;
+  for (i = 0; i < 6; i++)
+    *c++ = *d++ * s;
+  if (c != a + 6 || d != b + 6)
+    abort ();
+  return 0;
+}