It might have been, thanks for pointing it out. I will check it and report back or re-submit as a fix to remove our workaround. Thanks, Filipe http://reviews.llvm.org/D7740 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/