https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88149
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Thanks. The issue is that we have a discrepancy between analysis and transform stage for the def type of one of the comparison operands. I'll see to track that down tomorrow.