Hi Chris, Please pull the latest Sparse/LLVM tree from: git@xxxxxxxxxx:penberg/sparse-llvm.git llvm/core It contains few LLVM backend fixes from myself and Jonathan Neuschäfer. Pekka ------------------> The following changes since commit 063236fd3f46bc83b49172f5ecb597e0a91cede8: ptrlist.c: fix a typo in a comment (2012-06-26 00:54:24 -0700) are available in the git repository at: git@xxxxxxxxxx:penberg/sparse-llvm.git llvm/core Jonathan Neuschäfer (2): sparse, llvm: 'Verify' the LLVM module before writing it sparse, llvm: convert the condition of branch/select to bool Pekka Enberg (2): sparse, llvm: Fix SIGSEGV for extern symbols sparse, llvm: Fix 'void' return type code generation sparse-llvm.c | 36 +++++++++++++++++++++++++++++--- validation/backend/extern.c | 11 ++++++++++ validation/backend/int-cond.c | 30 +++++++++++++++++++++++++++ validation/backend/void-return-type.c | 13 +++++++++++ 4 files changed, 86 insertions(+), 4 deletions(-) create mode 100644 validation/backend/extern.c create mode 100644 validation/backend/int-cond.c create mode 100644 validation/backend/void-return-type.c