将指向同一联合成员​​的两个指针传递给函数是否违反了严格的别名规则？

注意：学习严格的别名规则。请耐心等待。

代码示例（t935.c）：

#include <stdio.h>

int f(int* pi, double* pd)
{
    *pi = 13;
    *pd = 7E-323;
    return *pi;
}

int main(void)
{
    union { int i; double d; } u;
    printf("%d\n", f(&u.i, &u.d));
    return 0;
}

调用：

$ gcc t935.c -Wall -Wextra -std=c11 -pedantic  && ./a.exe
14

$ gcc t935.c -Wall -Wextra -std=c11 -pedantic -O2 && ./a.exe
13

$ gcc t935.c -Wall -Wextra -std=c11 -pedantic -O2 -fno-strict-aliasing && ./a.exe
14

问题：将指向同一联合成员​​的两个指针传递给函数是否违反了严格的别名规则？

这个问题源于Unions 和 type-punning。

UPD20210901

对于“u在全局范围内定义联合”（实际上是文件范围）的情况，gcc 和 clang 显示的结果与上面报告的 gcc 相同。

回答