From: Joseph Myers Date: Thu, 16 Oct 2008 17:05:57 +0000 (+0100) Subject: re PR c/33192 (__imag operator drops side effects in subexpr) X-Git-Tag: releases/gcc-4.4.0~2022 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=bbe67e7ccffa62d1b8990cf8c88fb6f659efc6e5;p=thirdparty%2Fgcc.git 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 b242191716ba..9fdf2c52f331 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-10-16 Joseph Myers + + PR c/33192 + * c-typeck.c (build_unary_op): Use omit_one_operand for + IMAGPART_EXPR of real argument. + 2008-10-16 Jakub Jelinek PR tree-optimization/37664 diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c index ab8df375448c..da98c43c4bf7 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 bb15a266e086..9d3d3040070c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-10-16 Joseph Myers + + PR c/33192 + * gcc.dg/imag-1.c: New test. + 2008-10-16 Daniel Kraft * 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 000000000000..e07ef72e43cd --- /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 */ +/* { 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; +}