| // RUN: %clang_tysan -O0 %s -o %t && %run %t >%t.out 2>&1 |
| // RUN: FileCheck %s < %t.out |
| #include <stdlib.h> |
| #include <string.h> |
| |
| float P; |
| long L; |
| |
| int main() { |
| *(int *)&P = 5; |
| // CHECK: ERROR: TypeSanitizer: type-aliasing-violation |
| // CHECK: WRITE of size 4 at {{.*}} with type int accesses an existing object of type float |
| // CHECK: {{#0 0x.* in main .*global.c:}}[[@LINE-3]] |
| |
| void *mem = malloc(sizeof(long)); |
| *(int *)mem = 6; |
| memcpy(mem, &L, sizeof(L)); |
| *(int *)mem = 8; |
| // CHECK: ERROR: TypeSanitizer: type-aliasing-violation |
| // CHECK: WRITE of size 4 at {{.*}} with type int accesses an existing object of type long |
| // CHECK: {{#0 0x.* in main .*global.c:}}[[@LINE-3]] |
| int r = *(((int *)mem) + 1); |
| // CHECK: ERROR: TypeSanitizer: type-aliasing-violation |
| // CHECK: READ of size 4 at {{.*}} with type int accesses part of an existing object of type long that starts at offset -4 |
| // CHECK: {{#0 0x.* in main .*global.c:}}[[@LINE-3]] |
| free(mem); |
| |
| return r; |
| } |
| |
| // CHECK-NOT: ERROR: TypeSanitizer: type-aliasing-violation |
