https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125451
--- Comment #14 from Drea Pinski <pinskia at gcc dot gnu.org> --- (In reply to Drea Pinski from comment #13)> > > > but an unsigned short must not be sign-extended into an int. No for function argument passing it is unspecified (as part of the ABI) what the top bits are. So sign or zero extending is fine here. The problem is the type of the function argument is `unsigned int` rather than `unsigned short`.
