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 <stdio.h> 5*673dc3d4SNico Weber #include <string.h> 6*673dc3d4SNico Weber main()7*673dc3d4SNico Weberint main() { 8*673dc3d4SNico Weber char str[] = "Hello"; 9*673dc3d4SNico Weber if (5 != strlen(str)) 10*673dc3d4SNico Weber return 1; 11*673dc3d4SNico Weber 12*673dc3d4SNico Weber printf("Initial test OK\n"); 13*673dc3d4SNico Weber fflush(0); 14*673dc3d4SNico Weber // CHECK: Initial test OK 15*673dc3d4SNico Weber 16*673dc3d4SNico Weber str[5] = '!'; // Losing '\0' at the end. 17*673dc3d4SNico Weber int len = strlen(str); 18*673dc3d4SNico Weber // CHECK: AddressSanitizer: stack-buffer-overflow on address [[ADDR:0x[0-9a-f]+]] 19*673dc3d4SNico Weber // FIXME: Should be READ of size 1, see issue 155. 20*673dc3d4SNico Weber // CHECK: READ of size {{[0-9]+}} at [[ADDR]] thread T0 21*673dc3d4SNico Weber // CHECK: strlen 22*673dc3d4SNico Weber // CHECK-NEXT: main {{.*}}intercept_strlen.cpp:[[@LINE-5]] 23*673dc3d4SNico Weber // CHECK: Address [[ADDR]] is located in stack of thread T0 at offset {{.*}} in frame 24*673dc3d4SNico Weber // CHECK-NEXT: main {{.*}}intercept_strlen.cpp 25*673dc3d4SNico Weber // CHECK: 'str'{{.*}} <== Memory access at offset {{.*}} overflows this variable 26*673dc3d4SNico Weber return len < 6; 27*673dc3d4SNico Weber } 28