https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110487
--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #8) > (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 ... The pattern in comment # 3 is especially an issue with strict enum even.