jfb added a comment. Ugh, I was trying to commit http://reviews.llvm.org/D11382 and committed this as r244120 instead, with an entirely unhelpful commit message :-s Sorry about doing this, I'll revert it for now, and wait for proper signoff. http://reviews.llvm.org/D6629