blob: fb895ff729de4c7191373c373e29fbdc789f9b79 [file] [log] [blame]
// 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); }