<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Jan 29, 2015 at 6:24 PM, Philip Reames <span dir="ltr"><<a href="mailto:listmail@philipreames.com" target="_blank">listmail@philipreames.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000">
    <div>This is different from undef in that there may be bits in the
      output whose values would be known for *any* specific value chosen
      for the poison input.  For undef, these bits would not be undef
      and would instead be known.  For poison, these bits are
      unconditionally poison.  <br>
      <br>
      (I'm having a hard time finding an example for this part; this
      implies it probably isn't true.)<br><br></div></div></blockquote><div><br></div><div>undef xor undef == 0 but poison xor poison == poison ?</div><div> </div></div></div></div>