jfb added a comment. @rnk @t.p.northover @jvoung: this patch is now unblocked, and should be ready to commit if it looks good to you :-) Thanks to Michael for tracking down the final issue, which only this test exercised. http://reviews.llvm.org/D6629