https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95650 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I think clang is wrong here. The abi says the non lower 16 bits is undefined. So they could be set and you could get a wrap around.