https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110487
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #5) > I think there is zero_one_value_p is also accepting signed-boolean:32 > incorrectly too ... No, zero_one_value_p is fine as truth_valued_p only accepts single bit integeral types. Though the pattern mentioned in comment #3 is still an issue ...