C语言中restrict限定符的下述用法是否合法？是否为未定义行为？

一、restrict用法的合法性 #

这段代码里的restrict用法完全合法：

• 函数参数a被声明为float * restrict，表示a是指向对应内存区域的唯一“受限”指针——在当前作用域内，所有对该区域的访问都只能通过a或其关联的受限指针完成。
• 将a赋值给同样带restrict限定的指针c，符合C标准规定：只要两个受限指针指向同一对象，且作用域内没有其他非受限指针访问该对象，这种赋值就被允许。本代码中没有其他指针操作a指向的内存，因此完全合规。

二、是否存在未定义行为 #

代码里没有未定义行为，但有一处实现定义的行为：

• 最后一行printf("%p %p", (void *)a1, (void *)a2);中，把float类型变量强制转换为void*，这属于实现定义行为（并非未定义行为）——C标准允许这种转换，但具体转换结果由编译器决定，不同编译器可能有不同表现。

三、编译器是否需要重新加载a[0]和a[1] #

编译器不需要重新加载：

• 根据restrict的语义，编译器可以确定：在a的作用域内，所有对a指向内存的修改只能通过a或者与a关联的受限指针（这里就是c）完成。
• 当通过c修改了*c和*(c+1)后，编译器明确知道a指向的内存内容已经被修改，因此可以直接使用修改后的值，无需重新从内存加载。甚至可以直接优化为输出1.000000和2.000000。

内容的提问来源于stack exchange，提问作者Aditya Kurrodu