1 // RUN: %clangxx_cfi -o %t %s
2 // RUN: %run %t
3 
4 // In this example, both __typeid_A_global_addr and __typeid_B_global_addr will
5 // refer to the same address. Make sure that the compiler does not assume that
6 // they do not alias.
7 
8 struct A {
9   virtual void f() = 0;
10 };
11 
12 struct B : A {
13   virtual void f() {}
14 };
15 
16 __attribute__((weak)) void foo(void *p) {
17   B *b = (B *)p;
18   A *a = (A *)b;
19   a->f();
20 }
21 
22 int main() {
23   B b;
24   foo(&b);
25 }
26