From d8d638d9e24917b0d4e42c93fcac2b740a8f0eab Mon Sep 17 00:00:00 2001 From: Marc Glisse Date: Tue, 27 Nov 2012 19:01:45 +0100 Subject: [PATCH] tree-cfg.c (verify_gimple_comparison): Verify that vector comparison returns a vector. 2012-11-27 Marc Glisse * tree-cfg.c (verify_gimple_comparison): Verify that vector comparison returns a vector. From-SVN: r193862 --- gcc/ChangeLog | 5 +++++ gcc/tree-cfg.c | 11 ++++++++++- 2 files changed, 15 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e41e34d32302..230de334b7c9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2012-11-27 Marc Glisse + + * tree-cfg.c (verify_gimple_comparison): Verify that vector + comparison returns a vector. + 2012-11-27 Meador Inge * collect2.c (main): Call find_file_set_debug. diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 169a205d39ab..b79c3af3cf3a 100644 --- a/gcc/tree-cfg.c +++ b/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