tree-cfg.c (verify_gimple_comparison): Verify that vector comparison returns a vector.

2012-11-27  Marc Glisse  <marc.glisse@inria.fr>

	* tree-cfg.c (verify_gimple_comparison): Verify that vector
	comparison returns a vector.

From-SVN: r193862

gcc/ChangeLog

+2012-11-27  Marc Glisse  <marc.glisse@inria.fr>
+
+	* tree-cfg.c (verify_gimple_comparison): Verify that vector
+	comparison returns a vector.
+
 2012-11-27  Meador Inge  <meadori@codesourcery.com>
 
 	* collect2.c (main): Call find_file_set_debug.

gcc/tree-cfg.c

@@ -3266,7 +3266,16 @@ verify_gimple_comparison (tree type, tree op0, tree op1)
   if (INTEGRAL_TYPE_P (type)
       && (TREE_CODE (type) == BOOLEAN_TYPE
 	  || TYPE_PRECISION (type) == 1))
-    ;
+    {
+      if (TREE_CODE (op0_type) == VECTOR_TYPE
+	  || TREE_CODE (op1_type) == VECTOR_TYPE)
+        {
+          error ("vector comparison returning a boolean");
+          debug_generic_expr (op0_type);
+          debug_generic_expr (op1_type);
+          return true;
+        }
+    }
   /* Or an integer vector type with the same size and element count
      as the comparison operand types.  */
   else if (TREE_CODE (type) == VECTOR_TYPE