1*4d9f3ca7SKirill Stoimenov // RUN: %clangxx_hwasan -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s
2*4d9f3ca7SKirill Stoimenov // RUN: %clangxx_hwasan -O1 %s -o %t && not %run %t 2>&1 | FileCheck %s
3*4d9f3ca7SKirill Stoimenov // RUN: %clangxx_hwasan -O2 %s -o %t && not %run %t 2>&1 | FileCheck %s
4*4d9f3ca7SKirill Stoimenov // RUN: %clangxx_hwasan -O3 %s -o %t && not %run %t 2>&1 | FileCheck %s
5*4d9f3ca7SKirill Stoimenov
6*4d9f3ca7SKirill Stoimenov #include <sanitizer/hwasan_interface.h>
7*4d9f3ca7SKirill Stoimenov #include <stdlib.h>
8*4d9f3ca7SKirill Stoimenov #include <string.h>
9*4d9f3ca7SKirill Stoimenov #include <unistd.h>
10*4d9f3ca7SKirill Stoimenov
11*4d9f3ca7SKirill Stoimenov __attribute__((no_sanitize("hwaddress"))) void
ForceCallInterceptor(void * p,int c,size_t size)12*4d9f3ca7SKirill Stoimenov ForceCallInterceptor(void *p, int c, size_t size) {
13*4d9f3ca7SKirill Stoimenov memset(p, c, size) == nullptr;
14*4d9f3ca7SKirill Stoimenov }
15*4d9f3ca7SKirill Stoimenov
main(int argc,char ** argv)16*4d9f3ca7SKirill Stoimenov int main(int argc, char **argv) {
17*4d9f3ca7SKirill Stoimenov __hwasan_enable_allocator_tagging();
18*4d9f3ca7SKirill Stoimenov char a[] = {static_cast<char>(argc), 2, 3, 4};
19*4d9f3ca7SKirill Stoimenov int size = sizeof(a);
20*4d9f3ca7SKirill Stoimenov char *volatile p = (char *)malloc(size);
21*4d9f3ca7SKirill Stoimenov free(p);
22*4d9f3ca7SKirill Stoimenov ForceCallInterceptor(p, 0, size);
23*4d9f3ca7SKirill Stoimenov return 0;
24*4d9f3ca7SKirill Stoimenov // CHECK: HWAddressSanitizer: tag-mismatch on address
25*4d9f3ca7SKirill Stoimenov // CHECK: WRITE of size 4
26*4d9f3ca7SKirill Stoimenov // CHECK: #{{[[:digit:]]+}} 0x{{[[:xdigit:]]+}} in main {{.*}}memset.cpp:[[@LINE-4]]
27*4d9f3ca7SKirill Stoimenov // CHECK: Cause: use-after-free
28*4d9f3ca7SKirill Stoimenov // CHECK: freed by thread
29*4d9f3ca7SKirill Stoimenov // CHECK: #{{[[:digit:]]+}} 0x{{[[:xdigit:]]+}} in main {{.*}}memset.cpp:[[@LINE-8]]
30*4d9f3ca7SKirill Stoimenov // CHECK: previously allocated by thread
31*4d9f3ca7SKirill Stoimenov // CHECK: #{{[[:digit:]]+}} 0x{{[[:xdigit:]]+}} in main {{.*}}memset.cpp:[[@LINE-11]]
32*4d9f3ca7SKirill Stoimenov }
33