[Bug tree-optimization/115392] Missed optimization: fold `(a^b) <= 3` to `b < 4` for bool a

[daniel-dev at hotmail dot de via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115392

--- Comment #11 from Daniel Petrovic <daniel-dev at hotmail dot de> ---
patch posted:
https://gcc.gnu.org/pipermail/gcc-patches/2026-October/736749.html