1 // RUN: %clangxx_asan -g -O2 %s -o %t 2 // RUN: not %run %t g 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=GLOB 3 // RUN: not %run %t c 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=CLASS_STATIC 4 // RUN: not %run %t f 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=FUNC_STATIC 5 // RUN: not %run %t l 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=LITERAL 6 7 // COFF doesn't support debuginfo for globals. For the non-debuginfo tests, see global-location-nodebug.cpp. 8 // XFAIL: windows-msvc 9 10 // atos currently doesn't show source line numbers for global variables. 11 // XFAIL: darwin 12 13 // CHECK: AddressSanitizer: global-buffer-overflow 14 15 #include <string.h> 16 17 struct C { 18 static int array[10]; 19 // CLASS_STATIC: 0x{{.*}} is located 4 bytes to the right of global variable 'C::array' defined in '{{.*}}global-location.cpp:[[@LINE-1]]' {{.*}} of size 40 20 }; 21 22 int global[10]; 23 // GLOB: 0x{{.*}} is located 4 bytes to the right of global variable 'global' defined in '{{.*}}global-location.cpp:[[@LINE-1]]' {{.*}} of size 40 24 int C::array[10]; 25 26 int main(int argc, char **argv) { 27 int one = argc - 1; 28 switch (argv[1][0]) { 29 case 'g': return global[one * 11]; 30 case 'c': return C::array[one * 11]; 31 case 'f': 32 static int array[10]; 33 // FUNC_STATIC: 0x{{.*}} is located 4 bytes to the right of global variable 'array' defined in '{{.*}}global-location.cpp:[[@LINE-1]]' {{.*}} of size 40 34 memset(array, 0, 10); 35 return array[one * 11]; 36 case 'l': 37 const char *str = "0123456789"; 38 // LITERAL: 0x{{.*}} is located 0 bytes to the right of global variable {{.*}} defined in '{{.*}}global-location.cpp:[[@LINE-1]]' {{.*}} of size 11 39 return str[one * 11]; 40 } 41 return 0; 42 } 43 44 // CHECK: SUMMARY: AddressSanitizer: global-buffer-overflow 45