https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91088
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- I am surprised we don't have a match.pd transformation for v * 2 < 6 with undefined overflow. But that's only a side remark, not important for your report.