[Bug middle-end/78429] [6/7 Regression] ice on valid C code on x86_64-linux-gnu at -O3 in both 32-bit and 64-bit modes (internal compiler error: in set_value_range, at tree-vrp.c:361)

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78429

--- Comment #16 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Eric Botcazou from comment #14)
> > In the end having a bool_with_only_0_and_1 predicate rather than
> > open-coding (several variants of) the test throughout the middle-end
> > might be a good idea...
> 
> Like the to be attached patch?

Yes.