aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoseph Myers <joseph@codesourcery.com>2008-10-16 18:05:57 +0100
committerJoseph Myers <jsm28@gcc.gnu.org>2008-10-16 18:05:57 +0100
commitbbe67e7ccffa62d1b8990cf8c88fb6f659efc6e5 (patch)
treef630ebe95310fde77ad8f064316d96d61265bf94
parentdd9315ded08da38108ff04216afb2ac333ab5380 (diff)
downloadgcc-bbe67e7ccffa62d1b8990cf8c88fb6f659efc6e5.zip
gcc-bbe67e7ccffa62d1b8990cf8c88fb6f659efc6e5.tar.gz
gcc-bbe67e7ccffa62d1b8990cf8c88fb6f659efc6e5.tar.bz2
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
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/c-typeck.c2
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.dg/imag-1.c18
4 files changed, 30 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b242191..9fdf2c5 100644
--- 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 ab8df37..da98c43 100644
--- 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 bb15a26..9d3d304 100644
--- 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
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;
+}