[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 #6 from Daniel Petrovic <daniel-dev at hotmail dot de> ---
Created attachment 65881
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65881&action=edit
z3 claim verifier