[avr-gcc-list] odd left-shift behavior, avr-gcc 4.1.2

[John Regehr]

Using avr-gcc 4.1.2, this code:

  int32_t x = ((uint16_t)0xffffL) << ((uint32_t)1L);

puts 0xfffe into x, as opposed to 0x1fffe as I would have expected.  Is 
a C compiler not required to promote such that both operands of a shift 
are the same size?

Thanks,

John Regehr