[PATCH] LLVM 2.8 fixes

[Peter Collingbourne]

Hi,

This patch series improves compatibility with the upcoming LLVM 2.8.
With Clang as LLVMGCC we now get only 3 FAILs from "make check".

OK to commit?

Thanks,
-- 
Peter
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Add-support-for-Debug-Asserts-configuration.patch
Type: text/x-diff
Size: 0 bytes
Desc: not available
Url : http://keeda.Stanford.EDU/pipermail/klee-commits/attachments/20100804/1456d387/attachment.bin