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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
