1*641fbf15SFlorian Hahn // RUN: %clang_tysan -O0 %s -o %t && %run %t >%t.out 2>&1 2*641fbf15SFlorian Hahn // RUN: FileCheck %s < %t.out 3*641fbf15SFlorian Hahn 4*641fbf15SFlorian Hahn // https://github.com/llvm/llvm-project/issues/68655 5*641fbf15SFlorian Hahn struct S1 { 6*641fbf15SFlorian Hahn long long a; 7*641fbf15SFlorian Hahn long long b; 8*641fbf15SFlorian Hahn }; 9*641fbf15SFlorian Hahn 10*641fbf15SFlorian Hahn // CHECK: TypeSanitizer: type-aliasing-violation on address 11*641fbf15SFlorian Hahn // CHECK-NEXT: READ of size 4 at {{.+}} with type int accesses an existing object of type long long (in {{.*}}S1 at offset 0) 12*641fbf15SFlorian Hahn // CHECK-NEXT: in copyMem(S1*, S1*) {{.*/?}}violation-pr68655.cpp:19 13*641fbf15SFlorian Hahn 14*641fbf15SFlorian Hahn void inline copyMem(S1 *dst, S1 *src) { 15*641fbf15SFlorian Hahn unsigned *d = reinterpret_cast<unsigned *>(dst); 16*641fbf15SFlorian Hahn unsigned *s = reinterpret_cast<unsigned *>(src); 17*641fbf15SFlorian Hahn 18*641fbf15SFlorian Hahn for (int i = 0; i < sizeof(S1) / sizeof(unsigned); i++) { 19*641fbf15SFlorian Hahn *d = *s; 20*641fbf15SFlorian Hahn d++; 21*641fbf15SFlorian Hahn s++; 22*641fbf15SFlorian Hahn } 23*641fbf15SFlorian Hahn } 24*641fbf15SFlorian Hahn 25*641fbf15SFlorian Hahn void math(S1 *dst, int *srcA, int idx_t) { 26*641fbf15SFlorian Hahn S1 zero[4]; 27*641fbf15SFlorian Hahn for (int i = 0; i < 2; i++) { 28*641fbf15SFlorian Hahn zero[i].a = i + idx_t; 29*641fbf15SFlorian Hahn zero[i].b = i * idx_t; 30*641fbf15SFlorian Hahn } 31*641fbf15SFlorian Hahn 32*641fbf15SFlorian Hahn copyMem(&dst[idx_t], &zero[srcA[idx_t]]); 33*641fbf15SFlorian Hahn } 34*641fbf15SFlorian Hahn 35*641fbf15SFlorian Hahn int main() { 36*641fbf15SFlorian Hahn S1 dst = {0}; 37*641fbf15SFlorian Hahn int Src[2] = {0, 0}; 38*641fbf15SFlorian Hahn math(&dst, &Src[0], 0); 39*641fbf15SFlorian Hahn return 0; 40*641fbf15SFlorian Hahn } 41