174ad3115SFilipe Cabecinhas // RUN: %clangxx_asan %s -o %t
274ad3115SFilipe Cabecinhas // RUN: not %run %t 0 2>&1 | FileCheck %s
374ad3115SFilipe Cabecinhas // RUN: not %run %t n 2>&1 | FileCheck %s -check-prefix=CHECK -check-prefix=NON_EXEC
474ad3115SFilipe Cabecinhas 
5*d92f3982SKamil Rytarowski // Not every OS lists every memory region in MemoryMappingLayout.
6*d92f3982SKamil Rytarowski // REQUIRES: linux || freebsd || netbsd
774ad3115SFilipe Cabecinhas 
874ad3115SFilipe Cabecinhas #include <assert.h>
974ad3115SFilipe Cabecinhas 
1074ad3115SFilipe Cabecinhas typedef void void_f();
1174ad3115SFilipe Cabecinhas int main(int argc, char **argv) {
1274ad3115SFilipe Cabecinhas   char *array = new char[42];
1374ad3115SFilipe Cabecinhas   void_f *func;
1474ad3115SFilipe Cabecinhas   assert(argc > 1);
1574ad3115SFilipe Cabecinhas   if (argv[1][0] == '0') {
1674ad3115SFilipe Cabecinhas     func = (void_f *)0x04;
1774ad3115SFilipe Cabecinhas   } else {
1874ad3115SFilipe Cabecinhas     assert(argv[1][0] == 'n');
1974ad3115SFilipe Cabecinhas     func = (void_f *)array;
2074ad3115SFilipe Cabecinhas   }
2174ad3115SFilipe Cabecinhas 
2274ad3115SFilipe Cabecinhas   func();
2374ad3115SFilipe Cabecinhas   // x86 reports the SEGV with both address=X and pc=X.
2474ad3115SFilipe Cabecinhas   // On PowerPC64 ELFv1, the pointer is taken to be a function-descriptor
2574ad3115SFilipe Cabecinhas   // pointer out of which three 64-bit quantities are read. This will SEGV, but
2674ad3115SFilipe Cabecinhas   // the compiler is free to choose the order. As a result, the address is
2774ad3115SFilipe Cabecinhas   // either X, X+0x8 or X+0x10. The pc is still in main() because it has not
2874ad3115SFilipe Cabecinhas   // actually made the call when the faulting access occurs.
2974ad3115SFilipe Cabecinhas   // CHECK: DEADLYSIGNAL
3074ad3115SFilipe Cabecinhas   // CHECK: {{AddressSanitizer: (SEGV|access-violation).*(address|pc) }}
3174ad3115SFilipe Cabecinhas   // NON_EXEC: PC is at a non-executable region. Maybe a wild jump?
3274ad3115SFilipe Cabecinhas   return 0;
3374ad3115SFilipe Cabecinhas }
34