[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 #9 from Daniel Petrovic <daniel-dev at hotmail dot de> ---
One more observation to last comments: 

in (a op b) <= C

'a' doesnt even need to be a constant but just range limited.