int i;
char c;
c = 0xff;
i = c << 24;

これ、gcc3でコンパイルするとi==0xff000000になりますが、
この結果は規格で保証されてますか？