两个相同的右移表达式产生不同的结果

我刚查了一下 C++ 标准下面的代码似乎不应该被删除 undefined behavior :

unsigned int val = 0x0FFFFFFF;
unsigned int res = val >> 34;  // res should be 0 by C++ standard,
                               // but GCC gives warning and res is 67108863

根据标准:

E1的值>>E2是E1右移位的E2位位置。 如果E1 具有无符号类型,或者如果E1具有有符号类型和非负 值,结果的值是 E1/2^E2。 如果E1有符号类型和负值,则结果为 价值是实现密集型的。

根据标准,因为34不是负数,所以变量 res 将是0。

GCC对代码段给出以下警告,并且 物件 是 67108863 :

警告:右移计数>=字体宽度

我还检查了GCC发出的汇编代码。它只是打电话 SHRL ,以及针对SHRL的英特尔指令文档 物件 不是零。

那么,这是否意味着GCC不在英特尔平台上实现标准行为?