Looks good to me. Thanks Denis! Please go ahead and commit this if you have access, otherwise I can commit this for you when I return from vacation on December 22nd. http://reviews.llvm.org/D6603 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/