From 9feb29df994174d571b3fba6e6a60c24a2dc111c Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Thu, 13 Sep 2012 18:57:15 +0200 Subject: [PATCH] re PR c/54559 (, ICE in gimplify_expr, at gimplify.c:7592) PR c/54559 * c-typeck.c (c_finish_return): Do convert to BOOLEAN_TYPE or COMPLEX_TYPE with in_late_binary_op set temporarily to true. * gcc.c-torture/compile/pr54559.c: New test. From-SVN: r191270 --- gcc/c/ChangeLog | 6 ++++++ gcc/c/c-typeck.c | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.c-torture/compile/pr54559.c | 9 +++++++++ 4 files changed, 26 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/compile/pr54559.c diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 11f9be7..f075776 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,9 @@ +2012-09-13 Jakub Jelinek + + PR c/54559 + * c-typeck.c (c_finish_return): Do convert to BOOLEAN_TYPE or + COMPLEX_TYPE with in_late_binary_op set temporarily to true. + 2012-08-31 Jakub Jelinek PR c/54428 diff --git a/gcc/c/c-typeck.c b/gcc/c/c-typeck.c index b5fb9c9..2d74da8 100644 --- a/gcc/c/c-typeck.c +++ b/gcc/c/c-typeck.c @@ -8682,12 +8682,18 @@ c_finish_return (location_t loc, tree retval, tree origtype) npc, NULL_TREE, NULL_TREE, 0); tree res = DECL_RESULT (current_function_decl); tree inner; + bool save; current_function_returns_value = 1; if (t == error_mark_node) return NULL_TREE; + save = in_late_binary_op; + if (TREE_CODE (TREE_TYPE (res)) == BOOLEAN_TYPE + || TREE_CODE (TREE_TYPE (res)) == COMPLEX_TYPE) + in_late_binary_op = true; inner = t = convert (TREE_TYPE (res), t); + in_late_binary_op = save; /* Strip any conversions, additions, and subtractions, and see if we are returning the address of a local variable. Warn if so. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0820a05..95def4c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-09-13 Jakub Jelinek + + PR c/54559 + * gcc.c-torture/compile/pr54559.c: New test. + 2012-09-13 Jason Merrill PR c++/53839 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr54559.c b/gcc/testsuite/gcc.c-torture/compile/pr54559.c new file mode 100644 index 0000000..847497f --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr54559.c @@ -0,0 +1,9 @@ +/* PR c/54559 */ + +typedef double _Complex T; + +T +foo (double x, double y) +{ + return x + y * (T) (__extension__ 1.0iF); +} -- 2.7.4