Uh, sorry. I was looking at an older version of this patch. The latest version looks in fact fine. Please feel free to commit. Cheers, Tobias http://reviews.llvm.org/D5225 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/