Clang/gcc предполагают, что указатель на член может быть псевдонимом другого члена другого типа? ⇐ C++

[Anonymous]

Похоже, что в следующем примере компилятор предполагает, что указатель, который дважды передается в bar(), может быть псевдонимом целочисленного члена a:

Код: Выделить всё

struct A {
int a;
double b;
};

void bar(double*);

int foo() {
A a;
a.a = 9;
bar(&a.b);
return a.a;
}

clang генерирует:

Код: Выделить всё

        stp     x29, x30, [sp, #16]
add     x29, sp, #16
mov     w8, #9
str     w8, [sp]
mov     x8, sp              # saving the variable
add     x0, x8, #8
bl      bar(double*)
ldr     w0, [sp]            # the reload
ldp     x29, x30, [sp, #16]
add     sp, sp, #32
ret

(godbolt)
Очевидно, этого не произойдет, если целочисленная переменная определена вне класса (godbolt). Так что мне кажется, что и gcc, и clang предполагают, что foo(double*) может перебить A::a через A::b, что кажется странным, поскольку double* не может использовать псевдоним int*. Верна ли интуиция, и если да, то почему?

Подробнее здесь: https://stackoverflow.com/questions/792 ... -of-a-diff