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