结构和结构的第一个成员之间的指针别名

C中的指针别名通常是未定义的行为(因为有严格的别名),但C11标准似乎允许对指向结构的指针和指向结构的第一个成员的指针进行别名

C11 6.7.2.1(15)…指向结构对象的指针。。。指向其初始成员。。。反之亦然。。。

下面的代码是否包含未定义的行为

struct Foo {
    int x;
    int y;
};

// does foe return always 100?
int foe() {
    struct Foo foo = { .x = 10, .y = 20 }, *pfoo = &foo;
    int *px = (int*)pfoo;
    *px = 100;
    return pfoo->x;
}