<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, May 5, 2014 at 3:16 PM, Alp Toker <span dir="ltr"><<a href="mailto:alp@nuanti.com" target="_blank">alp@nuanti.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class=""><br>
On 05/05/2014 22:47, Richard Smith wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Seems like a good idea to me. Are there any cases where we should be suppressing diagnostics when the function is invalid? (This would be the case if adding more statements could cause us to suppress a diagnostic.) I can't think of any likely ones -- discarding an invalid GNU label declaration might have this effect, but I'm OK with bogus warnings in that case.<br>

</blockquote>
<br></div>
Right, the early returns have worked out surprisingly well and __label__ doing fine too. Will keep an eye on it but I think we're OK.<br></blockquote><div><br></div><div>OK, then LGTM.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Alp.<br>
<br>
<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">
<br>
<br>
On Sun, May 4, 2014 at 7:02 PM, Alp Toker <<a href="mailto:alp@nuanti.com" target="_blank">alp@nuanti.com</a> <mailto:<a href="mailto:alp@nuanti.com" target="_blank">alp@nuanti.com</a>>> wrote:<br>
<br>
    Ping.<br>
<br>
<br>
    On 30/04/2014 06:24, Alp Toker wrote:<br>
<br>
        Add support for partial jump scope checking. This lets us<br>
        diagnose and perform more complete semantic analysis when<br>
        faced with errors in the function body or declaration.<br>
<br>
        In particular this improves the interactive editing experience<br>
        where jump diagnostics were appearing and disappearing as the<br>
        user typed.<br>
<br>
<br>
    This patch will also be necessary to support further work on goto<br>
    code completion BTW.<br>
<br>
<br>
<br>
        Alp.<br>
<br>
<br>
    --     <a href="http://www.nuanti.com" target="_blank">http://www.nuanti.com</a><br>
    the browser experts<br>
<br>
    ______________________________<u></u>_________________<br>
    cfe-commits mailing list<br></div>
    <a href="mailto:cfe-commits@cs.uiuc.edu" target="_blank">cfe-commits@cs.uiuc.edu</a> <mailto:<a href="mailto:cfe-commits@cs.uiuc.edu" target="_blank">cfe-commits@cs.uiuc.<u></u>edu</a>><br>
    <a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/<u></u>mailman/listinfo/cfe-commits</a><br>
<br>
<br>
</blockquote><div class="HOEnZb"><div class="h5">
<br>
-- <br>
<a href="http://www.nuanti.com" target="_blank">http://www.nuanti.com</a><br>
the browser experts<br>
<br>
</div></div></blockquote></div><br></div></div>