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

[prathamesh3492 at gcc dot gnu.org]

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

--- Comment #17 from prathamesh3492 at gcc dot gnu.org ---
(In reply to Jakub Jelinek from comment #15)
> 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.
Ah right, thanks for pointing it out!

Regards,
Prathamesh