Why doesn't Arduino 1.0.1 use the latest GCC?

avr-gcc 4.3.2 will do a swap for x<<=4;

avr-gcc 4.7.0 doesn't do a swap for x>>=4;