<div class="gmail_quote">On Thu, Feb 17, 2011 at 9:25 AM, Chris Lattner <span dir="ltr"><<a href="mailto:clattner@apple.com">clattner@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
so it's the same as the other case.  I thought we already had some infrastructure for disabling warnings in unreachable code?</blockquote><div><br></div><div>Only in as much as the CFG we build for a few warnings will prune provably dead code. We're not using that here, this is a type-based warning. And I have to agree with Ted that these are all time-bombs in the code, waiting for a future maintainer to create a runtime error.</div>
</div>