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