re PR c/33192 (__imag operator drops side effects in subexpr)

	PR c/33192
	* c-typeck.c (build_unary_op): Use omit_one_operand for
	IMAGPART_EXPR of real argument.

testsuite:
	* gcc.dg/imag-1.c: New test.

From-SVN: r141176

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b242191716ba448f77c388d60e121853baf0e323..9fdf2c52f33143a225c52d3fdcbd0964325e600e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2008-10-16  Joseph Myers  <joseph@codesourcery.com>
+
+       PR c/33192
+       * c-typeck.c (build_unary_op): Use omit_one_operand for
+       IMAGPART_EXPR of real argument.
+
 2008-10-16  Jakub Jelinek  <jakub@redhat.com>
 
        PR tree-optimization/37664

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index ab8df375448c41790ca284ca47c74f59233163be..da98c43c4bf7dae1808b2ed1eb3c797a6478a5c7 100644 (file)
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -3038,7 +3038,7 @@ build_unary_op (location_t location,
       else if (TREE_CODE (TREE_TYPE (arg)) == COMPLEX_TYPE)
        ret = fold_build1 (IMAGPART_EXPR, TREE_TYPE (TREE_TYPE (arg)), arg);
       else
-       ret = convert (TREE_TYPE (arg), integer_zero_node);
+       ret = omit_one_operand (TREE_TYPE (arg), integer_zero_node, arg);
       goto return_build_unary_op;
 
     case PREINCREMENT_EXPR:

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index bb15a266e086b2d3035ce5a8659c0d90cb98064f..9d3d3040070c03603aafbd6fa5d2da39db09eb5c 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-10-16  Joseph Myers  <joseph@codesourcery.com>
+
+       PR c/33192
+       * gcc.dg/imag-1.c: New test.
+
 2008-10-16  Daniel Kraft  <d@domob.eu>
 
        * gfortran.dg/elemental_intrinsic_1.f03: New test.

diff --git a/gcc/testsuite/gcc.dg/imag-1.c b/gcc/testsuite/gcc.dg/imag-1.c
new file mode 100644 (file)
index 0000000..e07ef72
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/imag-1.c
@@ -0,0 +1,18 @@
+/* Test for __imag__ side effects; see PR 33192.  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do run } */
+/* { dg-options "-std=gnu99" } */
+
+extern void abort (void);
+extern void exit (int);
+
+int
+main (void)
+{
+  int i, j;
+  i = 1;
+  j = __imag__ ++i;
+  if (i != 2 || j != 0)
+    abort ();
+  return 0;
+}