1 // RUN: %clangxx_asan -O0 %s -o %t && not %t 2>%t.out 2 // RUN: FileCheck %s < %t.out && FileCheck %s --check-prefix=CHECK-%os < %t.out 3 // RUN: %clangxx_asan -O1 %s -o %t && not %t 2>%t.out 4 // RUN: FileCheck %s < %t.out && FileCheck %s --check-prefix=CHECK-%os < %t.out 5 // RUN: %clangxx_asan -O2 %s -o %t && not %t 2>%t.out 6 // RUN: FileCheck %s < %t.out && FileCheck %s --check-prefix=CHECK-%os < %t.out 7 // RUN: %clangxx_asan -O3 %s -o %t && not %t 2>%t.out 8 // RUN: FileCheck %s < %t.out && FileCheck %s --check-prefix=CHECK-%os < %t.out 9 10 __attribute__((noinline)) 11 static void NullDeref(int *ptr) { 12 // CHECK: ERROR: AddressSanitizer: SEGV on unknown address 13 // CHECK: {{0x0*00028 .*pc 0x.*}} 14 // CHECK: {{AddressSanitizer can not provide additional info.}} 15 ptr[10]++; // BOOM 16 // atos on Mac cannot extract the symbol name correctly. 17 // CHECK-Linux: {{ #0 0x.* in NullDeref.*null_deref.cc:}}[[@LINE-2]] 18 // CHECK-Darwin: {{ #0 0x.* in .*NullDeref.*null_deref.cc:}}[[@LINE-3]] 19 } 20 int main() { 21 NullDeref((int*)0); 22 // CHECK: {{ #1 0x.* in main.*null_deref.cc:}}[[@LINE-1]] 23 } 24
