[Bug middle-end/78501] [7 regression] SEGV in vrp_val_max

[jakub at gcc dot gnu.org]

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

--- Comment #15 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
For the tests, I think they would just pass on VMS.  In one case you are
comparing if 0x7fffffffffffffffULL <= (unsigned int) something, that is for
32-bit int clearly never true and should be folded.  And in the other case, you
are assigning 32-bit unsigned value into 64-bit signed var and then testing if
it is negative, again, that is never true.