LGTM. I've seen that bug, and I believed that I've fixed it - but probably it got lost in reviews and did make it to trunk. Thank you for catching it! Michael http://reviews.llvm.org/D10293 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/