<div dir="ltr">On Wed, Aug 7, 2013 at 4:00 AM, Evgeniy Stepanov <span dir="ltr"><<a href="mailto:eugenis@google.com" target="_blank" class="cremed">eugenis@google.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
  I'm not sure what to test there. Inliner has no problem with this, but having sanitize_address and sanitize_memory functions in the same module will not work for a number of different reasons and just should not happen in reality.<br>

  Probably best to say that this behaviour is unspecified?</blockquote><div><br></div><div>Hmm.</div><div><br>If you want to go this route, you should have the verifier assert this fact about the module. Only then am I really comfortable with code and tests ignoring the possibility.</div>
<div><br></div><div>Anyways, any/all of this can be handled at any point.</div></div></div></div>