<div dir="ltr">This patch made it into clang-9.0, I would flag the revert for 9.1.<div><br></div><div>+Tom (I don't know the current process to flag patches for dot releases)<br></div><div><br></div><div>-- </div><div>Mehdi</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Sep 29, 2019 at 11:23 AM Sanjoy Das via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">Your reasoning sounds correct to me.  Let's revert for now?<br>
<br>
I don't think there is an easy fix, we'll have to do a global "must be<br>
executed" analysis to reapply the patch soundly.  And that's difficult<br>
since any external functional call can call "exit(0)".<br>
<br>
-- Sanjoy<br>
<br>
On Thu, Sep 26, 2019 at 6:19 AM Tim Northover <<a href="mailto:t.p.northover@gmail.com" target="_blank">t.p.northover@gmail.com</a>> wrote:<br>
><br>
> Thanks for the information everyone, it's clarified my thinking<br>
> significantly. With that better understanding I've tracked the problem<br>
> I'm seeing down to r366419 (<a href="https://reviews.llvm.org/D64868" rel="noreferrer" target="_blank">https://reviews.llvm.org/D64868</a>), which<br>
> got committed in July.<br>
><br>
> To me it looks like the patch is invalid because isAddRecNeverPoison<br>
> is a loop-relative computation. To add the flags to the increment we'd<br>
> need to know that the loop is guaranteed to execute at least once,<br>
> which doesn't really have a query available.<br>
><br>
> Does that sound right? And if so should we revert it or try to<br>
> incorporate a loop-executed check? I probably tend towards revert.<br>
><br>
> Cheers.<br>
><br>
> Tim.<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>