From c448fedea9abae497aaebccf55d1b1db2c3e5593 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Wed, 16 May 2018 10:22:52 +0000 Subject: [PATCH] tree-cfg.c (verify_gimple_assign_ternary): Properly verify the [VEC_]COND_EXPR embedded comparison. 2018-05-16 Richard Biener * tree-cfg.c (verify_gimple_assign_ternary): Properly verify the [VEC_]COND_EXPR embedded comparison. From-SVN: r260283 --- gcc/ChangeLog | 5 +++++ gcc/tree-cfg.c | 6 ++++++ 2 files changed, 11 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 80097cbd96f..1f67c9b651f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2018-05-16 Richard Biener + + * tree-cfg.c (verify_gimple_assign_ternary): Properly + verify the [VEC_]COND_EXPR embedded comparison. + 2018-05-15 Martin Sebor PR tree-optimization/85753 diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 2ada965edd6..7f48d2dbe65 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -4137,6 +4137,12 @@ verify_gimple_assign_ternary (gassign *stmt) } /* Fallthrough. */ case COND_EXPR: + if (!is_gimple_val (rhs1) + && verify_gimple_comparison (TREE_TYPE (rhs1), + TREE_OPERAND (rhs1, 0), + TREE_OPERAND (rhs1, 1), + TREE_CODE (rhs1))) + return true; if (!useless_type_conversion_p (lhs_type, rhs2_type) || !useless_type_conversion_p (lhs_type, rhs3_type)) { -- 2.30.2