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.