[Bug tree-optimization/110554] veclowering introduces invalid wide Boolean values

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Actually the issue is:
signed-boolean:32 _8 = _7 > 1;

That is not [-1,0] but still [0,1] ... (VRP says it is too).

Let me see where that is built.