c++ - 警告 C4407 に関して、VC は標準に準拠していますか?

Question

次のソースは、VC で警告 C4407 を生成し、コンパイラは実際に正しくないコードを生成します。

struct A1 {
    int a1;
};

struct A2 {
    int a2;
};

struct B: A1, A2 {
    void f() {
        std::cout << this << '\n';
    }
};

int main() {
    B b = B();
    void (B::*pb)() = &B::f;
    void (A2::*pa)() = (void (A2::*)())pb;  // performs static_cast actually
    std::cout << (std::uintptr_t&)pb << '\n';
    std::cout << (std::uintptr_t&)pa << '\n';
    B* pB = &b;
    A2* pA = pB;
    std::cout << pB << '\n';
    std::cout << pA << '\n';
    (pB->*pb)();
    (pA->*pa)();
}

pAの呼び出し時にポインターが調整されずpa、 のthisポインター値が正しくないため、生成されたコードは正しくありませんf。ただし、コードは GCC で正常にコンパイルされ、clang は警告なしで実行されます (strict-aliasing を除く)。ポインターpAは、GCC と clang によって生成されたコードで適切に調整されます。それで、標準はこれについて何を言っているのだろうかと思いますか？上記のコードのキャストは標準に従って問題ありませんか? それとも、GCC と clang の非標準拡張ですか?