https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70725
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
Status|UNCONFIRMED |NEW
Last reconfirmed| |2016-04-19
Ever confirmed|0 |1
Known to fail| |6.1.0, 7.0
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.
2043 if (COMPARISON_CLASS_P (cond))
2044 mask = gimple_build (&stmts, TREE_CODE (cond),
(gdb) l
2045 boolean_type_node,
2046 TREE_OPERAND (cond, 0),
2047 TREE_OPERAND (cond, 1));
2048 else
2049 {
2050 gcc_assert (TREE_CODE (cond) == SSA_NAME);
2051 mask = cond;
2052 }
(gdb) p cond
$1 = <integer_cst 0x7ffff68a91b0>
(gdb) p debug_generic_expr (cond)
0
we guard against is_true_predicate but not against is_false_predicate.