C代码中的位移问题，很奇怪

#include <stdio.h>
int main()
{
    unsigned int value1, value2;
    unsigned int num ;
   
  /*使用变量表示位移量*/
    num = 32;
    value1 = 0xffffffff < < num;
    printf("value1 = %x\n", value1);
   
  /*使用常数表示位移量*/
    value2 = 0xffffffff < < 32;
    printf("value2 = %x\n", value2);

    return 0; 
}

但是输出结果确却是：
value1 = ffffffff
value2 = 0

    我是在linux下使用gcc 4.4.1编译运行这段代码，int是32位。我预想的是value1和value2结果都应该时0才对，为什么value1是ffffffff而value2是0？

    另外补充一下：上面的结果是在代码在编译时不开优化选项得到的，但是在编译时开启-O1,-O2或者-O3情况下，输出结果是：
value1 = 0
value2 = 0
   

---

LCC输出是

value1 =ffffffff


value2 =ffffffff


移位运算的右操作数不要超过或等于左操作数经过类型提升后的长度，否则其行为是未定义的：

飞流的正确答案

---

引用

移位运算的右操作数不要超过或等于左操作数经过类型提升后的长度，否则其行为是未定义的：


标准的内容：

6.5.7 Bitwise shift operators