From c4603e7ce0b0e007db25abc234a85d1562a9c988 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Thu, 7 Jul 2011 21:11:27 +0200 Subject: [PATCH] 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 --- gcc/ChangeLog | 7 +++++++ gcc/c-typeck.c | 2 ++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.c-torture/execute/pr49644.c | 16 ++++++++++++++++ 4 files changed, 30 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/execute/pr49644.c 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 + + 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 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 + + PR c/49644 + * gcc.c-torture/execute/pr49644.c: New test. + 2011-07-07 H.J. Lu * 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; +}