Should it work against only trunk or against 3.1 ?
Against their trunk. It doesn't work for me right now either. Sorry, sometimes LLVM/Clang moves pretty fast and it's a pain to keep up.
Yang, when you make a fix, please tell us an LLVM revision number that works for you.
Eitan, if you don't want to wait for us to sort this out, just build C-Reduce 2.0.1 against whatever specific LLVM revision is recommended in its INSTALL file.
John
