From f13355da300a1f58d0bb7bc4094921dda4169de2 Mon Sep 17 00:00:00 2001 From: Marek Polacek Date: Mon, 4 Apr 2016 08:11:46 +0000 Subject: re PR middle-end/70307 (ICE: in gimplify_expr, at gimplify.c:10915 on valid code) PR c/70307 * c-fold.c (c_fully_fold_internal): Handle VEC_COND_EXPR. * gcc.dg/torture/pr70307.c: New test. From-SVN: r234706 --- gcc/c/ChangeLog | 5 +++++ gcc/c/c-fold.c | 20 ++++++++++++++++++++ 2 files changed, 25 insertions(+) (limited to 'gcc/c') diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index b52b414..56e0b4d 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,8 @@ +2016-04-04 Marek Polacek + + PR c/70307 + * c-fold.c (c_fully_fold_internal): Handle VEC_COND_EXPR. + 2016-03-31 Marek Polacek PR c/70297 diff --git a/gcc/c/c-fold.c b/gcc/c/c-fold.c index f07917f..6c82f24 100644 --- a/gcc/c/c-fold.c +++ b/gcc/c/c-fold.c @@ -528,6 +528,26 @@ c_fully_fold_internal (tree expr, bool in_init, bool *maybe_const_operands, *maybe_const_itself &= op2_const_self; goto out; + case VEC_COND_EXPR: + orig_op0 = op0 = TREE_OPERAND (expr, 0); + orig_op1 = op1 = TREE_OPERAND (expr, 1); + orig_op2 = op2 = TREE_OPERAND (expr, 2); + op0 = c_fully_fold_internal (op0, in_init, maybe_const_operands, + maybe_const_itself, for_int_const); + STRIP_TYPE_NOPS (op0); + op1 = c_fully_fold_internal (op1, in_init, maybe_const_operands, + maybe_const_itself, for_int_const); + STRIP_TYPE_NOPS (op1); + op2 = c_fully_fold_internal (op2, in_init, maybe_const_operands, + maybe_const_itself, for_int_const); + STRIP_TYPE_NOPS (op2); + + if (op0 != orig_op0 || op1 != orig_op1 || op2 != orig_op2) + ret = fold_build3_loc (loc, code, TREE_TYPE (expr), op0, op1, op2); + else + ret = fold (expr); + goto out; + case EXCESS_PRECISION_EXPR: /* Each case where an operand with excess precision may be encountered must remove the EXCESS_PRECISION_EXPR around -- cgit v1.1