<br><br><div class="gmail_quote">On Thu, Dec 1, 2011 at 9:37 AM, David A. Greene <span dir="ltr"><<a href="mailto:greened@obbligato.org">greened@obbligato.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">Dan Gohman <<a href="mailto:gohman@apple.com">gohman@apple.com</a>> writes:<br>
<br>
> Prohibiting poison values from propogating through memory would mean<br>
> that the reg2mem pass would no longer be a semantics-preserving pass.<br>
<br>
</div>Or it means you couldn't demote those values.</blockquote><div><br></div><div>If reg2mem is constructing spill slots, or address-not-taken locals, I could</div><div>see classifying those as okay-to-poison. You would not want statics or globals</div>
<div>or pointer-addressed memory to be poisonable, as those should be treated</div><div>as being observable locations.</div><div><br></div><div>So, it's not really "all of memory" that could be poisoned, only these</div>
<div>compiler-generated things.</div><div><br></div><div>Pogo</div><div><br></div></div>