Hi all,
I'm interested in using klee, but can't get it to compile. I already filed a
bug (bug #7128), but I hope that someone on the list can help me solve the
problem. It's this:
llvm[2]: Compiling klee_div_zero_check.ll to klee_div_zero_check.bc for Release
build (bytecode)
/Users/leeg/Documents/Projects/llvm-2.6/Release/bin/llvm-as:
/Users/leeg/Documents/Projects/klee/runtime/Intrinsic/Release/klee_div_zero_check.ll:11:25:
error: expected instruction opcode
%0 = icmp eq i64 %z, 0, !dbg !0 ; <i1> [#uses=1]
^
/Users/leeg/Documents/Projects/llvm-2.6/Release/bin/opt: Invalid bitcode
signature
make[2]: ***
[/Users/leeg/Documents/Projects/klee/runtime/Intrinsic/Release/klee_div_zero_check.bc]
Error 1
make[1]: *** [Intrinsic/.makeall] Error 2
make: *** [all] Error 1
I'm afraid I don't know the intermediate rep well enough to understand how to
fix this error.
Thanks,
Graham.
--
Graham Lee
http://blog.securemacprogramming.com/
http://www.mac-developer-network.com/articles/scindex.html
