Hi there, Could anyone please take a second look at this change and let me know whether it is all right for me to push this in? Thanks, Ed http://reviews.llvm.org/D8253 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/