[PATCH] LLVM 2.8 fixes

Daniel Dunbar daniel at zuster.org
Thu Aug 5 07:54:44 PDT 2010


Hi Peter,

On Wed, Aug 4, 2010 at 9:20 AM, Peter Collingbourne <peter at pcc.me.uk> wrote:
> 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?

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?

 - Daniel

>
> Thanks,
> --
> Peter
>
> _______________________________________________
> klee-commits mailing list
> klee-commits at keeda.stanford.edu
> http://keeda.Stanford.EDU/mailman/listinfo/klee-commits
>
>


More information about the klee-commits mailing list