
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">No, the verifier allows metadata operands to be null, since metadata's weak references allow their operands to go away during optimization.<div><br></div><div>Plus these asserts are just for debugging bad calls to these functions, making it clear which value is busted, instead of deep inside the <span class="Apple-style-span" style="font-family: Menlo; font-size: 11px; ">CallInst::Create() call.</span></div><div><font class="Apple-style-span" face="Menlo" size="3"><span class="Apple-style-span" style="font-size: 11px;"><br></span></font></div><div><font class="Apple-style-span" face="Menlo" size="3"><span class="Apple-style-span" style="font-size: 11px;">Victor<br></span></font><div><div><div><br><div><div>On Jan 26, 2010, at 12:43 AM, Duncan Sands wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Hi Victor,<br><br><blockquote type="cite">Assert when debug intrinsic insert functions are passed empty arguments<br></blockquote><br>does the verifier check this?<br><br>Ciao,<br><br>Duncan.<br></div></blockquote></div><br></div></div></div></div></body></html>