[PATCH] LLVM 2.8 fixes

Peter Collingbourne pcc03 at doc.ic.ac.uk
Thu Aug 5 08:39:25 PDT 2010


Hi Daniel,

On Thu, Aug 05, 2010 at 03:54:44PM +0100, Daniel Dunbar wrote:
> The patches look good, the only thing I am worried about is whether
> they also work with LLVM 2.6 and LLVM 2.7 -- have you checked those
> configurations?

I ran "make check" with 2.7 before I sent the patches out --
no unexpected failures.  I have now also done the same with 2.6,
same result.

I'll commit this unless there is an objection.

Thanks,
-- 
Peter


More information about the klee-commits mailing list