2011-09-30 Richard Guenther <rguenther@suse.de>

	PR middle-end/50574
	* tree-cfg.c (verify_gimple_comparison): Compare component
	mode sizes for vector comparisons.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index bbf1897..75303db 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2011-09-30  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/50574
+       * tree-cfg.c (verify_gimple_comparison): Compare component
+       mode sizes for vector comparisons.
+
 2011-09-30  Revital Eres  <revital.eres@linaro.org>
 
        * ddg.c (autoinc_var_is_used_p): New function.

diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index 20feff9..5e5de8f 100644 (file)
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -3229,8 +3229,8 @@ verify_gimple_comparison (tree type, tree op0, tree op1)
         }
 
       if (TYPE_VECTOR_SUBPARTS (type) != TYPE_VECTOR_SUBPARTS (op0_type)
-         || (GET_MODE_SIZE (TYPE_MODE (type))
-             != GET_MODE_SIZE (TYPE_MODE (op0_type))))
+         || (GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (type)))
+             != GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (op0_type)))))
         {
           error ("invalid vector comparison resulting type");
           debug_generic_expr (type);