Kostya has almost persuaded me that this should be fixed at the RTL level [offline]. I'm going to try that approach tomorrow... http://reviews.llvm.org/D7597 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/