[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)

[ebotcazou at gcc dot gnu.org]

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

--- Comment #14 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> 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?