1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
; RUN: llvm-as %s -f -o %t1.bc
; RUN: rm -rf %t.klee-out
; Run KLEE and expect it to error out but not crash
; RUN: not %klee --output-dir=%t.klee-out --optimize=false %t1.bc 2> %t2
; Check that it could not find an initializer for the external_function global
; RUN: FileCheck %s --input-file %t2
; CHECK: ERROR: Unable to load symbol(external_function) while initializing globals
@external_function = extern_weak global i8
@bar = internal thread_local global <{ [56 x i8] }> zeroinitializer, align 32
@handle = global i8* null, align 8
define internal void @foo(i8* nocapture) {
entry:
ret void
}
define i32 @main(i32 %argc, i8** nocapture %argv) nounwind readnone {
entry:
br i1 icmp ne (i8* @external_function, i8* null), label %bbtrue, label %bbfalse
bbtrue:
%0 = tail call i32 bitcast (i8* @external_function to i32 (void (i8*)*, i8*, i8*)*)(void (i8*)* nonnull @foo, i8* getelementptr inbounds (<{ [56 x i8] }>, <{ [56 x i8] }>* @bar, i64 0, i32 0, i64 0), i8* bitcast (i8** @handle to i8*))
ret i32 0
bbfalse:
ret i32 1
}
|
