Index: test/Transforms/NaCl/rewrite-setjmp-store-error.ll |
diff --git a/test/Transforms/NaCl/rewrite-setjmp-store-error.ll b/test/Transforms/NaCl/rewrite-setjmp-store-error.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..1c3dd0d4cbadf5f43ef8bc979f1080a29fd59c30 |
--- /dev/null |
+++ b/test/Transforms/NaCl/rewrite-setjmp-store-error.ll |
@@ -0,0 +1,13 @@ |
+; RUN: opt < %s -rewrite-pnacl-library-calls -S 2>&1 | FileCheck %s |
+; Test that the pass enforces not being able to store the address |
+; of setjmp. |
+ |
+declare i32 @setjmp(i64*) |
+ |
+define i32 @takeaddr_setjmp(i64* %arg) { |
+ %fp = alloca i32 (i64*)*, align 8 |
+; CHECK: Taking the address of setjmp is invalid |
+ store i32 (i64*)* @setjmp, i32 (i64*)** %fp, align 8 |
+ ret i32 7 |
+} |
+ |