From: rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 16 May 2018 10:22:52 +0000 (+0000)
Subject: 2018-05-16  Richard Biener  <rguenther@suse.de>
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=98c7f8224ac8ad2214e1c5014bc15bd85ae8f725;p=thirdparty%2Fgcc.git

2018-05-16  Richard Biener  <rguenther@suse.de>

	* tree-cfg.c (verify_gimple_assign_ternary): Properly
	verify the [VEC_]COND_EXPR embedded comparison.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@260283 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 80097cbd96f5..1f67c9b651f6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2018-05-16  Richard Biener  <rguenther@suse.de>
+
+	* tree-cfg.c (verify_gimple_assign_ternary): Properly
+	verify the [VEC_]COND_EXPR embedded comparison.
+
 2018-05-15  Martin Sebor  <msebor@redhat.com>
 
 	PR tree-optimization/85753
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index 2ada965edd61..7f48d2dbe658 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))
 	{