C11相关语言正确性

Question

struct t1 { int m; };
struct t2 { int m; };
int f(struct t1 *p1, struct t2 *p2)
{
    if (p1->m < 0)
        p2->m = -p2->m;
    return p1->m;
}
int g()
{
    union {
        struct t1 s1;
        struct t2 s2;
    } u;
    /* ... */
    return f(&u.s1, &u.s2);
}

根据C11，g()内的最后一行无效。为什么会这样？

Answer 1

该示例来自ISO/IEC 9899：2011中§6.5.2.3结构和工会成员中的示例3。前面的一段是（着重号是后加的）：

“6为了简化联合的使用，有一个特殊的保证：如果一个联合包含多个共享公共初始序列的结构（见下文），并且如果联合对象当前包含其中一个结构，则允许在可以看到该联合的已完成类型声明的任何地方检查其中任何一个结构的公共初始部分。如果一个或多个初始成员的序列对应的成员具有兼容的类型（并且对于位字段，宽度相同），则两个结构共享一个公共的初始序列。

问题中引用的代码前面有注释：

clang -O3 -g -std=c11 -Wall -Wextra -Werror -Wmissing-prototypes \
    -Wstrict-prototypes -Weverything -pedantic …