| // RUN: %clang_tysan -O0 %s -o %t && %run %t >%t.out 2>&1 |
| // RUN: FileCheck %s < %t.out |
| |
| // https://github.com/llvm/llvm-project/issues/47137 |
| #include <stdint.h> |
| #include <stdio.h> |
| #include <stdlib.h> |
| |
| void f(int m) { |
| int n = (4 * m + 2) / 3; |
| uint64_t *a = malloc(n * sizeof(uint64_t)); |
| uint64_t *b = malloc(n * sizeof(uint64_t)); |
| uint64_t aa[] = {0xffff3e0000000001, 0x22eaf0b680a88c16, 0x5a65d25ac40e20f3, |
| 0x34e7ac346236953e, 0x9dea3e0a26c6ba89, 0x0000000000000000, |
| 0x0000000000000000, 0x0000000000000000}; |
| uint64_t bb[] = {0x0000000024c0ffff, 0x000000004634d940, 0x00000000219d18ef, |
| 0x0000000000154519, 0x000000000000035f, 0x0000000000000000, |
| 0x0000000000000000, 0x0000000000000000}; |
| char l[20]; |
| l[0] = 0; |
| for (int i = 0; i < n; i++) { |
| a[i] = aa[i] + l[0] - '0'; |
| b[i] = bb[i] + l[0] - '0'; |
| } |
| |
| // CHECK: TypeSanitizer: type-aliasing-violation on address |
| // CHECK-NEXT: READ of size 2 at {{.+}} with type short accesses an existing object of type long |
| // CHECK-NEXT: in f {{.*/?}}violation-pr47137.c:31 |
| for (int i = 0, j = 0; j < 4 * m; i += 4, j += 3) { |
| for (int k = 0; k < 3; k++) { |
| ((uint16_t *)a)[j + k] = ((uint16_t *)a)[i + k]; |
| ((uint16_t *)b)[j + k] = ((uint16_t *)b)[i + k]; |
| } |
| } |
| |
| printf("a: %016llx\n", a[0]); |
| free(a); |
| free(b); |
| } |
| |
| int main() { f(6); } |