声明的参数限制和编译器警告

Question

gcc 5 和 clang 3.6 都不会在违反 restrict 限定符的约束时发出警告，即使使用 -Wall 调用也是如此。考虑以下代码片段：

extern void f(char *restrict p, char *restrict q);

void g(char *p)
{
    f(p, p);
}

天真地，我希望可以静态确定违规行为，并且我希望 -Wall 会发出警告。我是否错过了某处的标志，或者发出我没有看到的警告有什么问题？

Answer 1

从版本 8 开始，gcc 对上述代码给出了有用的警告：

a.c: In function ‘g’:
a.c:5:5: warning: passing argument 1 to restrict-qualified parameter aliases with argument 2 [-Wrestrict]
     f(p, p);
     ^

Answer 2

restrict 关键字是程序员明确保证所讨论的指针没有别名。本质上，它允许编译器省略对这些指针的别名分析，因为程序员已经提供了假定的答案。除了能够实现更好的优化之外，这还可以节省编译时间。在大型程序中，分析可能会非常昂贵，因此这本身就是一件大事。

所以，我相信你的问题的答案是，“编译器没有在寻找，因为代码告诉他们不要打扰”

Answer 3

给定代码：

void test(int *restrict a, int *restrict b, int c)
{
  a[0] += b[c];
}

受restrict 限定符影响的唯一场景是a==b+c； 在这种情况下，a 中的指针将用于修改一个对象，该对象是 也可以通过b 中的无关指针访问。在所有其他情况下 将在没有restrict 的情况下定义，没有对象被访问 通过a 也可以通过b 访问，反之亦然。

编译器可以看到传递的函数restrict- 限定的指针参数使用它们违反了相关的规则 因此可能有助于警告这种违规行为，但编译器不能 看到一个函数将无法知道哪些组合 参数将有效或无效。