https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66630
--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> --- That's one thing. But there also something else going on. I hope it's just missing TYPE_OVERFLOW_SANITIZED in some match.pd patterns.