https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96370
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Component|c |tree-optimization Status|UNCONFIRMED |ASSIGNED Version|unknown |11.0 Last reconfirmed| |2020-07-30 Keywords| |ice-on-valid-code Ever confirmed|0 |1 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Confirmed. #1 0x0000000000e1d0d9 in gimple_build_assign_1 (lhs= <ssa_name 0x7ffff6574f30 6>, subcode=NEGATE_EXPR, op1=<ssa_name 0x7ffff6574d80 3>, op2=<ssa_name 0x7ffff6574d80 3>, op3=<tree 0x0>) at ../../src/test/gcc/gimple.c:455 455 gcc_assert (num_ops > 2); #3 0x00000000016294ee in rewrite_expr_tree ( stmt=<gimple_assign 0x7ffff66adaa0>, opindex=1, ops=..., changed=true, next_changed=false) at ../../src/test/gcc/tree-ssa-reassoc.c:4963 4963 = gimple_build_assign (lhs, gimple_assign_rhs_code (stmt), (gdb) l 4958 { 4959 gimple *insert_point 4960 = find_insert_point (stmt, oe1->op, oe2->op); 4961 lhs = make_ssa_name (TREE_TYPE (lhs)); 4962 stmt 4963 = gimple_build_assign (lhs, gimple_assign_rhs_code (stmt), 4964 oe1->op, oe2->op); so the rhs code is a negate while we expect sth else. I will have a look.