[klee-dev] Pseudo instructions should be removed before code emission: UNREACHABLE

[Erik van der Kouwe]

Dear all,

After playing a bit with coreutils, I tried compiling some other 
programs with klee-gcc to see how KLEE would work for them. In 
particular, I tried gzip-1.5 and bzip-1.0.6.

When I try to run either of these programs, I get the following error 
message:

pseudo instructions should be removed before code emission
UNREACHABLE executed at 
/home/erik/src/edfi/klee/tools/llvm-2.9/lib/Target/X86/X86CodeEmitter.cpp:719!
0  lli 0x0881ad38
Stack dump:
0.      Program arguments: lli bzip2.bc
1.      Running pass 'X86 Machine Code Emitter' on function '@main'
Aborted

Does anyone have an idea why this happens and how I can fix it?

I have followed these steps to install KLEE on 32-bit Ubuntu (kernel 
version: 2.6.32-45-generic-pae):
- compile llvm-2.9 from source
- compile llvm-gcc-4.2-2.9 from source
- re-compile llvm-2.9 with llvm-gcc in $PATH
- compile SVN revision 940 of STP from source
- compile klee-uclibc-0.02 from source
- compile SVN HEAD of klee from source

After that, I compiled gzip-1.5 and bzip-1.0.6 with klee-gcc, slightly 
modified to better recognize the linking phase and to remove more 
options in that case.

Thanks in advance.

With kind regards,
Erik van der Kouwe