Sorry, I'm OOO right now. Does anyone have time to take a look at this? http://reviews.llvm.org/D10404 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/ http://reviews.llvm.org/D10404 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/