https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94272
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I think another reason why this FAILs is that the IF_STMTs that the FE emits initially have TREE_SIDE_EFFECTS set, because those are tcc_statement and for those make_node sets TREE_SIDE_EFFECTS. While genericize_if_stmt genericizes that into a COND_EXPR, which is tcc_expression and thus has TREE_SIDE_EFFECTS computed from TREE_SIDE_EFFECTS of the 3 operands (none of them have that set).