I believe the comparison handling in adjust_bool_pattern is dead
after no longer queueing them but there's a do_compare goto that's
not obviously dead. So I'm looking for testcases - the code path
would build a COND_EXPR with a comparison embedded.
Bootstrap and regtest running on x86_64-unknown-linux-gnu.
* tree-vect-patterns.cc (adjust_bool_pattern): Assert
we do not reach the do_compare case.
---
gcc/tree-vect-patterns.cc | 1 +
1 file changed, 1 insertion(+)
diff --git a/gcc/tree-vect-patterns.cc b/gcc/tree-vect-patterns.cc
index 302101fa6a0..48550bb2672 100644
--- a/gcc/tree-vect-patterns.cc
+++ b/gcc/tree-vect-patterns.cc
@@ -5585,6 +5585,7 @@ adjust_bool_pattern (vec_info *vinfo, tree var, tree
out_type,
default:
do_compare:
+ gcc_unreachable ();
gcc_assert (TREE_CODE_CLASS (rhs_code) == tcc_comparison);
if (TREE_CODE (TREE_TYPE (rhs1)) != INTEGER_TYPE
|| !TYPE_UNSIGNED (TREE_TYPE (rhs1))
--
2.43.0