https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96695
--- Comment #1 from Gabriel Ravier <gabravier at gmail dot com> --- PS: Very similar transformations can be done with alike patterns like `(x == 0) && (x <= y)`, which can be optimized to `x == 0`.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96695
--- Comment #1 from Gabriel Ravier <gabravier at gmail dot com> --- PS: Very similar transformations can be done with alike patterns like `(x == 0) && (x <= y)`, which can be optimized to `x == 0`.