1
Vote

unsoundness in unions with multiple members with same object type

description

the following verifies:
typedef struct S { int x; } S;
typedef union U {S s1; S s2; } U;
void test() {
              U u;
              _(union_reinterpret &u.s2)
              _(assert 0)
}

comments