On Tue, May 27, 2008 at 8:50 PM, Chris Lattner <<a href="mailto:sabre@nondot.org">sabre@nondot.org</a>> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div style=""><div>I think he means the lines like:</div><div><br></div><div><pre><font size="3" face="Helvetica"><span style="font-size: 12px; white-space: normal;">    switch (Opcode) {</span></font></pre><pre><font size="3" face="Helvetica"><span style="font-size: 12px; white-space: normal;">default: assert(0 && "Unknown load!");</span></font></pre>
<pre><br></pre><pre>where the default case is never executed.</pre></div></div></blockquote><div>I would personally appreciate expected to fail tests that ensure the assertions actually catch the bad inputs that they were designed to catch, there by executing those lines. I realize that many couldn't be tested in this manner (they assert on malformed data in the middle, which should be caught much earlier). Anyways, I'm gonna go prod the generated files, and see if I can capture at least some of that code.<br>
<br>-Chandler<br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div style=""><div><pre></pre><pre><font size="3" face="Helvetica"><span style="font-size: 12px; white-space: normal;">-Chris</span></font></pre>
</div></div><br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
<br></blockquote></div><br>