| 1 | // RUN: %clang_tysan -O0 %s -o %t && %run %t >%t.out 2>&1 |
|---|
| 2 | // RUN: FileCheck %s < %t.out |
|---|
| 3 | |
|---|
| 4 | // https://github.com/llvm/llvm-project/issues/45282 |
|---|
| 5 | |
|---|
| 6 | #include <stdio.h> |
|---|
| 7 | |
|---|
| 8 | int main(void) { |
|---|
| 9 | |
|---|
| 10 | double a[29], b[20]; |
|---|
| 11 | int i, j; |
|---|
| 12 | |
|---|
| 13 | for (i = 0; i < 20; ++i) { |
|---|
| 14 | b[i] = 2.01f + 1.f; |
|---|
| 15 | ((float *)a)[i] = 2.01f * 2.0145f; |
|---|
| 16 | ((float *)a + 38)[i] = 2.01f * 1.0123f; |
|---|
| 17 | } |
|---|
| 18 | |
|---|
| 19 | // CHECK: TypeSanitizer: type-aliasing-violation on address |
|---|
| 20 | // CHECK-NEXT: WRITE of size 8 at {{.+}} with type double accesses an existing object of type float |
|---|
| 21 | // CHECK-NEXT: in main {{.*/?}}violation-pr45282.c:25 |
|---|
| 22 | |
|---|
| 23 | // loop of problems |
|---|
| 24 | for (j = 2; j <= 4; ++j) { |
|---|
| 25 | a[j - 1] = ((float *)a)[j] * ((float *)a + 38)[j - 1]; |
|---|
| 26 | ((float *)a + 38)[j - 1] = ((float *)a)[j - 1] + b[j - 1]; |
|---|
| 27 | } |
|---|
| 28 | |
|---|
| 29 | printf(format: "((float *)a + 38)[2] = %f\n" , ((float *)a + 38)[2]); |
|---|
| 30 | |
|---|
| 31 | return 0; |
|---|
| 32 | } |
|---|
| 33 | |
|---|
