diff options
Diffstat (limited to 'test/Concrete/InvokeAndUnwindTwice.ll')
-rw-r--r-- | test/Concrete/InvokeAndUnwindTwice.ll | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/test/Concrete/InvokeAndUnwindTwice.ll b/test/Concrete/InvokeAndUnwindTwice.ll deleted file mode 100644 index 148760d8..00000000 --- a/test/Concrete/InvokeAndUnwindTwice.ll +++ /dev/null @@ -1,24 +0,0 @@ -; RUN: %S/ConcreteTest.py --klee=%klee --lli=%lli %s - -declare void @print_i32(i32) - -define i8 @myadd(i8 %a, i8 %b) { - unwind -} - -define i8 @sum(i8 %a, i8 %b) { - %c = call i8 @myadd(i8 %a, i8 %b) - ret i8 %c -} - -define i32 @main() { - invoke i8 @sum(i8 1, i8 2) - to label %continue - unwind label %error -continue: - call void @print_i32(i32 1) - ret i32 0 -error: - call void @print_i32(i32 0) - ret i32 0 -} |