<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Feb 23, 2011, at 9:00 PM, Chandler Carruth wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div class="gmail_quote">On Wed, Feb 23, 2011 at 8:57 PM, Chris Lattner <span dir="ltr"><<a href="mailto:clattner@apple.com">clattner@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Saying "but 'int' only has 32 bits" seems to do the trick, no? This is a great example of a case with no promotion involved!</blockquote></div><br><div>I'm envisioning users responding to this, "but where the hell did an 'int' type come from?". Basically, it's not at all about promotion, it's about the fact that 10 has a distinct type that the operation takes place within prior to being assigned. Maybe I don't give users enough credit, but it seems nice to remind them that the shift itself has a type, and it's not the one they wrote down.</div>
<div><br></div><div>I don't feel strongly about this though. I see it as nice to have. If it really bothers you, I'll remove it.</div>
</blockquote></div><br><div>I'd really like to keep the warning terse and to the point. The essays can stay in the static analyzer ;-)</div><div><br></div><div>-Chris</div></body></html>