<div dir="ltr">In theory yes, in practice, it probably shouldn't.<div><br></div><div>In particular, i would never expect *this* pass to modify the IR.</div><div><br></div><div>Is there some reason things don't get cleaned up that means this pass has to clean them up?<br><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 31, 2016 at 3:56 PM, Michael Kuperstein via llvm-commits <span dir="ltr"><<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">mkuper added inline comments.<br>
<br>
================<br>
Comment at: lib/Analysis/GlobalsModRef.<wbr>cpp:277<br>
@@ -276,1 +276,3 @@<br>
<span class="">+      // AnalyzeUsesOfPointer assumes all uses of the value are live.<br>
+      F.removeDeadConstantUsers();<br>
       if (!AnalyzeUsesOfPointer(&F)) {<br>
</span>----------------<br>
Don't know enough about GlobalsAA to approve this anyway, but as a matter of principle - is it acceptable for an analysis pass to modify the IR?<br>
<span class=""><br>
<br>
Repository:<br>
  rL LLVM<br>
<br>
<a href="https://reviews.llvm.org/D24104" rel="noreferrer" target="_blank">https://reviews.llvm.org/<wbr>D24104</a><br>
<br>
<br>
<br>
</span>______________________________<wbr>_________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-commits</a><br>
</blockquote></div><br></div>