https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116772
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- Note genmatch uses TREE_SIDE_EFFECTS only for dropping/duplicating issues, making traps unconditional is sth that patterns need to check.