> David really wanted this to be an error, but personally I think it should be a warning. Have you encountered this warning in Chrome? No, we don't hit this in Chromium. http://reviews.llvm.org/D6984 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/