[PATCH] LLVM 2.8 fixes
daniel at zuster.org
Thu Aug 5 07:54:44 PDT 2010
On Wed, Aug 4, 2010 at 9:20 AM, Peter Collingbourne <peter at pcc.me.uk> wrote:
> 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
> klee-commits mailing list
> klee-commits at keeda.stanford.edu
More information about the klee-commits