[klee-dev] (no subject)

[Daniel Liew]

Hi,

It looks like you've found a bug in the "OverShiftCheckPass" of which
I am the author :(.

This pass isn't essential to KLEE's operation so you can disable it
with the command line argument -check-overshift=0 as a temporary work
around.

Can you upload php.bc somewhere so I can try to reproduce the issue
and hopefully find a fix.

Which clang did you use? Did you build it from source against LLVM3.4
or did you use a pre-compiled binary? I have had issues before where I
accidentally used my distro's clang (Release build) with my debug
build of LLVM being used in KLEE so it may be related to this.

Thanks,
Dan