[avr-gcc-list] Bug in shift operation with avr-gcc

[Celio Guimaraes]

uint32_t  t1;
int main(){ 
    t1=0xf << (12);    // t1 gets fffff000 instead of 0000f000
}