https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112928
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Does this show up in real code? If so the code is undefined and should be fixed. Note we could even replace the comparison directly with `__builtin_unreachable ()` and it would be valid transformation due to this non equality comparisons against two different "arrays" is undefined.