<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Nov 8, 2014 at 11:43 PM, David Majnemer <span dir="ltr"><<a href="mailto:david.majnemer@gmail.com" target="_blank">david.majnemer@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><div><br></div></span><div>I'm pretty sure the LangRef has a bug here.  It cannot literally mean undefined behavior or the program hits UB once an add nsw that produces poison is used as the operand to another add.</div></blockquote></div><br>Yes this is the known bug in the poison spec. None have wanted to fix it because it seems likely better to remove the need for poison by specifying (and implementing if necessary) the relevant optimization opportunities in terms of undef, which is a much simpler construct.</div></div>