blob: 148760d8e542d40c6f98bed294664bae05df1f8b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
; 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
}
|
