https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63259 --- Comment #8 from Andreas Schwab <schwab@linux-m68k.org> --- (a & 0xFF00) >> 8 with short a = 0x8001 evaluates to 0x80, since all operands are first promoted to int.