1*673dc3d4SNico Weber // RUN: %clang_cl_asan -Od %s -Fe%t 2*673dc3d4SNico Weber // RUN: not %run %t 2>&1 | FileCheck %s 3*673dc3d4SNico Weber 4*673dc3d4SNico Weber #include <windows.h> 5*673dc3d4SNico Weber thread_proc(void *)6*673dc3d4SNico WeberDWORD WINAPI thread_proc(void *) { 7*673dc3d4SNico Weber int subscript = -1; 8*673dc3d4SNico Weber volatile char stack_buffer[42]; 9*673dc3d4SNico Weber stack_buffer[subscript] = 42; 10*673dc3d4SNico Weber // CHECK: AddressSanitizer: stack-buffer-underflow on address [[ADDR:0x[0-9a-f]+]] 11*673dc3d4SNico Weber // CHECK: WRITE of size 1 at [[ADDR]] thread T1 12*673dc3d4SNico Weber // CHECK: {{#0 .* thread_proc.*thread_stack_array_left_oob.cpp}}:[[@LINE-3]] 13*673dc3d4SNico Weber // CHECK: Address [[ADDR]] is located in stack of thread T1 at offset {{.*}} in frame 14*673dc3d4SNico Weber // CHECK: thread_proc 15*673dc3d4SNico Weber return 0; 16*673dc3d4SNico Weber } 17*673dc3d4SNico Weber main()18*673dc3d4SNico Weberint main() { 19*673dc3d4SNico Weber HANDLE thr = CreateThread(NULL, 0, thread_proc, NULL, 0, NULL); 20*673dc3d4SNico Weber // CHECK: Thread T1 created by T0 here: 21*673dc3d4SNico Weber // CHECK: {{#[01] .* main .*thread_stack_array_left_oob.cpp}}:[[@LINE-2]] 22*673dc3d4SNico Weber 23*673dc3d4SNico Weber // A failure to create a thread should fail the test! 24*673dc3d4SNico Weber if (thr == 0) return 0; 25*673dc3d4SNico Weber 26*673dc3d4SNico Weber WaitForSingleObject(thr, INFINITE); 27*673dc3d4SNico Weber } 28