<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, Feb 14, 2014 at 12:15 PM, Enrico Pertoso <span dir="ltr"><<a href="mailto:epertoso@google.com" target="_blank">epertoso@google.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">No, I don't have commit access.<br>
<br>
Although the tests are passing, I'd still like to clarify the<br>
unreachable code warnings:<br>
<br>
The code in Richard's example doesn't generate a warning. Should it?<br></blockquote><div><br></div><div>It shouldn't, and indeed there's no reason why it would, because we don't propagate constant values around during AnalysisBasedWarnings. Sorry for not thinking this all the way through! =)</div>
<div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
I could also try to spend another couple of days to see how the<br>
unreachable code warnings are generated and make sure we're not doing<br>
it when we shouldn't.</blockquote><div><br></div><div>No need, IMO. I'll try to remember to commit the patch in a few days if no-one gets there first =)</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div class=""><div class="h5">
On Thu, Feb 13, 2014 at 6:21 PM, Jordan Rose <<a href="mailto:jordan_rose@apple.com">jordan_rose@apple.com</a>> wrote:<br>
><br>
>   This looks good to me. Do you have commit access, or do you need one of us to commit it for you?<br>
><br>
> <a href="http://llvm-reviews.chandlerc.com/D2370" target="_blank">http://llvm-reviews.chandlerc.com/D2370</a><br>
</div></div></blockquote></div><br></div></div>