https://bugs.winehq.org/show_bug.cgi?id=41141
--- Comment #2 from Nikolay Sivov bunglehead@gmail.com --- (In reply to Sergey Isakov from comment #1)
Nonsense
Not necessarily. It's undefined behavior according to standard, because result is signed be default, and 0xff << 24 is not representable with 32bit signed integer.