aboutsummaryrefslogtreecommitdiff
path: root/test/asan/TestCases/non-executable-pc.cpp
diff options
context:
space:
mode:
authorDimitry Andric <dim@FreeBSD.org>2017-04-16 16:02:53 +0000
committerDimitry Andric <dim@FreeBSD.org>2017-04-16 16:02:53 +0000
commitab0bf875a5f328a6710f4e48258979ae1bc8da1c (patch)
tree66903cf9f73151825893dcc216b04c0930317a10 /test/asan/TestCases/non-executable-pc.cpp
parentabacad30a54c59ad437ccf54ec5236a8dd7f3ba9 (diff)
downloadsrc-ab0bf875a5f328a6710f4e48258979ae1bc8da1c.tar.gz
src-ab0bf875a5f328a6710f4e48258979ae1bc8da1c.zip
Vendor import of compiler-rt trunk r300422:vendor/compiler-rt/compiler-rt-trunk-r300422
Notes
Notes: svn path=/vendor/compiler-rt/dist/; revision=317021 svn path=/vendor/compiler-rt/compiler-rt-trunk-r300422/; revision=317022; tag=vendor/compiler-rt/compiler-rt-trunk-r300422
Diffstat (limited to 'test/asan/TestCases/non-executable-pc.cpp')
-rw-r--r--test/asan/TestCases/non-executable-pc.cpp33
1 files changed, 33 insertions, 0 deletions
diff --git a/test/asan/TestCases/non-executable-pc.cpp b/test/asan/TestCases/non-executable-pc.cpp
new file mode 100644
index 000000000000..f8adee613b09
--- /dev/null
+++ b/test/asan/TestCases/non-executable-pc.cpp
@@ -0,0 +1,33 @@
+// RUN: %clangxx_asan %s -o %t
+// RUN: not %run %t 0 2>&1 | FileCheck %s
+// RUN: not %run %t n 2>&1 | FileCheck %s -check-prefix=CHECK -check-prefix=NON_EXEC
+
+// Only Linux and FreeBSD list every memory region in MemoryMappingLayout, for now.
+// REQUIRES: linux || freebsd
+
+#include <assert.h>
+
+typedef void void_f();
+int main(int argc, char **argv) {
+ char *array = new char[42];
+ void_f *func;
+ assert(argc > 1);
+ if (argv[1][0] == '0') {
+ func = (void_f *)0x04;
+ } else {
+ assert(argv[1][0] == 'n');
+ func = (void_f *)array;
+ }
+
+ func();
+ // x86 reports the SEGV with both address=X and pc=X.
+ // On PowerPC64 ELFv1, the pointer is taken to be a function-descriptor
+ // pointer out of which three 64-bit quantities are read. This will SEGV, but
+ // the compiler is free to choose the order. As a result, the address is
+ // either X, X+0x8 or X+0x10. The pc is still in main() because it has not
+ // actually made the call when the faulting access occurs.
+ // CHECK: DEADLYSIGNAL
+ // CHECK: {{AddressSanitizer: (SEGV|access-violation).*(address|pc) }}
+ // NON_EXEC: PC is at a non-executable region. Maybe a wild jump?
+ return 0;
+}