gcc generates bad code for volatile data

If you look at the generated code for reads of volatile char and short data, it seems that gcc assumes that the high bits of the register are undefined. For instance: int fubar(volatile char...