From: Marc Glisse <marc.glisse@inria.fr>
Date: Sat, 4 Jul 2015 11:15:33 +0000 (+0200)
Subject: tree-cfg.c (verify_gimple_assign_ternary): Check the first argument.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3958eee171b1d9c173e674031b0091097bb17a5a;p=gcc.git

tree-cfg.c (verify_gimple_assign_ternary): Check the first argument.

2015-07-04  Marc Glisse  <marc.glisse@inria.fr>

	* tree-cfg.c (verify_gimple_assign_ternary) <VEC_COND_EXPR>: Check
	the first argument.

From-SVN: r225411
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 50f0a54d8fd..4f60a00e92e 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-07-04  Marc Glisse  <marc.glisse@inria.fr>
+
+	* tree-cfg.c (verify_gimple_assign_ternary) <VEC_COND_EXPR>: Check
+	the first argument.
+
 2015-07-03  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	* attribs.c (decl_attributes): Guard inform with the return value
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index 94ed95751a9..f47795a3cf2 100644
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -4001,8 +4001,22 @@ verify_gimple_assign_ternary (gassign *stmt)
 	}
       break;
 
-    case COND_EXPR:
     case VEC_COND_EXPR:
+      if (!VECTOR_INTEGER_TYPE_P (rhs1_type)
+	  || TYPE_SIGN (rhs1_type) != SIGNED
+	  || TYPE_SIZE (rhs1_type) != TYPE_SIZE (lhs_type)
+	  || TYPE_VECTOR_SUBPARTS (rhs1_type)
+	     != TYPE_VECTOR_SUBPARTS (lhs_type))
+	{
+	  error ("the first argument of a VEC_COND_EXPR must be of a signed "
+		 "integral vector type of the same size and number of "
+		 "elements as the result");
+	  debug_generic_expr (lhs_type);
+	  debug_generic_expr (rhs1_type);
+	  return true;
+	}
+      /* Fallthrough.  */
+    case COND_EXPR:
       if (!useless_type_conversion_p (lhs_type, rhs2_type)
 	  || !useless_type_conversion_p (lhs_type, rhs3_type))
 	{