kcc added a comment. In http://reviews.llvm.org/D7203#209296, @zaks.anna wrote: > It's been added by an unrelated commit, see http://reviews.llvm.org/D10294. Sure. I think this was a mistake and a very bad way forward. http://reviews.llvm.org/D7203