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..8406a55557cad15183b30ce8e2ee48ce0cf44490 |
--- /dev/null |
+++ b/test/Transforms/NaCl/rewrite-setjmp-store-error.ll |
@@ -0,0 +1,13 @@ |
+; RUN: opt < %s -rewrite-pnacl-library-calls -S |& 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: Invalid store of setjmp |
jvoung (off chromium)
2013/05/13 18:12:30
How about "Error: cannot take address of setjmp" o
eliben
2013/05/13 18:33:36
Done.
|
+ store i32 (i64*)* @setjmp, i32 (i64*)** %fp, align 8 |
+ ret i32 7 |
+} |
+ |