https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110228
--- Comment #12 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I should note my reduced testcase does not even need the ranger to tell me that the range is [0,1] because it uses a bool which has a PRECISION of 1. If an expand solution is not implemented in a few months, I will submit a patch which disables the `bit_ior` case and leave a comment there on referencing PR 71762 and this bug.