gcc和clang在具有无符号值的左移时产生不同的输出

Question

根据这篇关于c语言中未定义行为优化的有趣文章，表达式（x

考虑以下代码：

#include <stdio.h>
#include <stdint.h>

uint32_t rotl(uint32_t x, uint32_t n)
{
    return (x << n) | (x >> (32 - n));
}

int main()
{
    uint32_t y = rotl(10, 0);
    printf("%u\n", y);
    return 0;
}

使用以下参数编译：-O3-std=c11-pedantic-Wall-Wextra

• 在gcc中

有趣的是，当使用c编译时，这仍然是正确的：gcc结果，clangresults。

因此，我的问题如下：

1. 我从标准中的语言中理解，这不应该调用未定义/实现定义的行为，因为两个参数都是无符号整数，并且没有一个值是负的。这是正确的吗？如果不是，c11和c 11的相关部分是什么？
2. 如果前面的语句为真，哪个编译器正在根据c/c标准产生正确的输出？直观地说，左移没有数字应该会给您返回值，即gcc输出的内容。
3. 如果上述情况并非如此，为什么没有警告此代码可能会因左移溢出而调用未定义的行为？




Answer 1

如果n为0，32-n为32，由于x有32位，x

链接SO帖子中的问题是不同的。这个与签名无关。

Answer 2

你的n是0，所以执行x

Answer 3

源自[expr.shift]，强调我的：

如果右操作数为负，或大于或等于提升后的左操作数的位长度，则行为未定义。

你正在做：

(x >> (32 - n))

使用n==0，则将32位数字右移32位。因此，乌布。