[klee-dev] building Klee with Clang 3.5

[Bob Kuo]

Hello klee-dev,


I have successfully built Klee (master) off of Clang 3.5 on Ubuntu 14.10. The required changes are pretty minimal:


bkuo at bkuo-VirtualBox:/work/bkuo/klee$ git diff -w | diffstat
 ModuleUtil.cpp |   64 ++++++++++++++++++++++++++-------------------------------
 1 file changed, 30 insertions(+), 34 deletions(-)

Would you like me to submit this patch?  If so, is a GitHub pull request the preferred method?

I ran the test suite:

  Expected Passes    : 131
  Expected Failures  : 2
  Unsupported Tests  : 1
  Unexpected Failures: 20


I need to dig deeper into the failures, but some of them are run-time link errors:

KLEE: ERROR: Link with library /work/bkuo/klee/build/Release+Asserts/lib/klee-uclibc.bca failed: No such file or directory

Which is certainly my fault.  At least one of them threw an assertion.  I can provide more details if people are interested.

Bob