https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71423
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> --- match.pd has transformations like (~X & Y) -> X < Y for types of precision 1. It looks like those are only valid if the type is unsigned, the comparison should be reversed (Y < X) if the type is signed. I didn't check if that's actually causing this bug.
