1*641fbf15SFlorian Hahn // RUN: %clangxx_tysan -O0 %s -c -o %t.o 2*641fbf15SFlorian Hahn // RUN: %clangxx_tysan -O0 %s -DPMAIN -c -o %tm.o 3*641fbf15SFlorian Hahn // RUN: %clangxx_tysan -O0 %t.o %tm.o -o %t 4*641fbf15SFlorian Hahn // RUN: %run %t >%t.out 2>&1 5*641fbf15SFlorian Hahn // RUN: FileCheck %s < %t.out 6*641fbf15SFlorian Hahn 7*641fbf15SFlorian Hahn #include <iostream> 8*641fbf15SFlorian Hahn 9*641fbf15SFlorian Hahn // This test demonstrates that the types from anonymous namespaces are 10*641fbf15SFlorian Hahn // different in different translation units (while the char* type is the same). 11*641fbf15SFlorian Hahn 12*641fbf15SFlorian Hahn namespace { 13*641fbf15SFlorian Hahn struct X { 14*641fbf15SFlorian Hahn X(int i, int j) : a(i), b(j) {} 15*641fbf15SFlorian Hahn int a; 16*641fbf15SFlorian Hahn int b; 17*641fbf15SFlorian Hahn }; 18*641fbf15SFlorian Hahn } // namespace 19*641fbf15SFlorian Hahn 20*641fbf15SFlorian Hahn #ifdef PMAIN 21*641fbf15SFlorian Hahn void foo(void *context, int i); 22*641fbf15SFlorian Hahn char fbyte(void *context); 23*641fbf15SFlorian Hahn 24*641fbf15SFlorian Hahn int main() { 25*641fbf15SFlorian Hahn X x(5, 6); 26*641fbf15SFlorian Hahn foo((void *)&x, 8); 27*641fbf15SFlorian Hahn std::cout << "fbyte: " << fbyte((void *)&x) << "\n"; 28*641fbf15SFlorian Hahn } 29*641fbf15SFlorian Hahn #else 30*641fbf15SFlorian Hahn void foo(void *context, int i) { 31*641fbf15SFlorian Hahn X *x = (X *)context; 32*641fbf15SFlorian Hahn x->b = i; 33*641fbf15SFlorian Hahn // CHECK: ERROR: TypeSanitizer: type-aliasing-violation 34*641fbf15SFlorian Hahn // CHECK: WRITE of size 4 at {{.*}} with type int (in (anonymous namespace)::X at offset 4) accesses an existing object of type int (in (anonymous namespace)::X at offset 4) 35*641fbf15SFlorian Hahn // CHECK: {{#0 0x.* in foo\(void\*, int\) .*anon-ns.cpp:}}[[@LINE-3]] 36*641fbf15SFlorian Hahn } 37*641fbf15SFlorian Hahn 38*641fbf15SFlorian Hahn char fbyte(void *context) { return *(char *)context; } 39*641fbf15SFlorian Hahn #endif 40*641fbf15SFlorian Hahn 41*641fbf15SFlorian Hahn // CHECK-NOT: ERROR: TypeSanitizer: type-aliasing-violation 42