p.s. You may be interested in the bug I just filed on a related issue. http://llvm.org/bugs/show_bug.cgi?id=22758 http://reviews.llvm.org/D7984 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/