https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69684
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- See other PR, this is about coding-style. One could say even a || !a && b doesn't make sense as the !a in the !a && b conditon will always be true and thus this is a || b. So a diagnostic is warranted - maybe it's wording is not exactly helpful and "warning: your condition is obfuscated" would be better? ;)