1 // Test that AddressSanitizer does not re-animate dead globals when dead
2 // stripping is turned on.
3 //
4 // This test verifies that an out-of-bounds access on a global variable is
5 // detected after dead stripping has been performed. This proves that the
6 // runtime is able to register globals in the __DATA,__asan_globals section.
7 
8 // REQUIRES: osx-ld64-live_support
9 // RUN: %clang_asan -mllvm -asan-globals-live-support -Xlinker -dead_strip -o %t %s
10 // RUN: llvm-nm -format=posix %t | FileCheck --check-prefix NM-CHECK %s
11 // RUN: not %run %t 2>&1 | FileCheck --check-prefix ASAN-CHECK %s
12 
13 int alive[1] = {};
14 int dead[1] = {};
15 // NM-CHECK: {{^_alive }}
16 // NM-CHECK-NOT: {{^_dead }}
17 
18 int main(int argc, char *argv[]) {
19   alive[argc] = 0;
20   // ASAN-CHECK: {{0x.* is located 0 bytes to the right of global variable}}
21   return 0;
22 }
23