<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 21, 2017 at 12:58 PM, Anna Zaks <span dir="ltr"><<a href="mailto:ganna@apple.com" target="_blank">ganna@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>Daniel,</div><div><br></div>Did the patients expire and is LLVM now open to accepting Steensgaard? </div></blockquote><div><br></div><div>Errr, LLVM already has a linear time aa that will generate sets equivalent to steensgaard</div><div>(That's what cflsteens does)</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">We did not have time to look into that.<div><br></div><div>Thanks!</div><div><span class="HOEnZb"><font color="#888888">Anna</font></span><div><div class="h5"><br><div><br><div><blockquote type="cite"><div>On Mar 21, 2017, at 12:42 PM, Vassil Vassilev <<a href="mailto:v.g.vassilev@gmail.com" target="_blank">v.g.vassilev@gmail.com</a>> wrote:</div><br class="m_7741321770675271176Apple-interchange-newline"><div>
<div bgcolor="#FFFFFF" text="#000000">
<div class="m_7741321770675271176moz-cite-prefix">On 21/03/17 19:50, Daniel Berlin wrote:<br>
</div>
<blockquote type="cite">
<div dir="ltr">I"m not sure this makes sense this point, given the
state of the patents.
<div>However, at the same time, for escape analysis, andersen's
is not really slower in practice.</div>
</div>
</blockquote>
IIUC, implementations of this algorithm have been removed from the
codebase before. Anna could give more details about that.<br>
<blockquote type="cite">
<div dir="ltr">
<div><br>
</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Tue, Mar 21, 2017 at 9:15 AM, Vassil
Vassilev 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">Author:
vvassilev<br>
Date: Tue Mar 21 11:15:48 2017<br>
New Revision: 298384<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=298384&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-pr<wbr>oject?rev=298384&view=rev</a><br>
Log:<br>
Remove project. Steensgaard algorithm is patented.<br>
<br>
Modified:<br>
www/trunk/OpenProjects.html<br>
<br>
Modified: www/trunk/OpenProjects.html<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/www/trunk/OpenProjects.html?rev=298384&r1=298383&r2=298384&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-pr<wbr>oject/www/trunk/OpenProjects.<wbr>html?rev=298384&r1=298383&r2=<wbr>298384&view=diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- www/trunk/OpenProjects.html (original)<br>
+++ www/trunk/OpenProjects.html Tue Mar 21 11:15:48 2017<br>
@@ -40,9 +40,6 @@<br>
<li><a href="#clang-sa-atomics">Model
C++11 and C11 atomics in the<br>
analyzer</a><br>
</li><br>
- <li><a href="#clang-sa-escape-analysi<wbr>s">Implement
fast escape analysis for<br>
- clang AST</a><br>
- </li><br>
</ul><br>
</li><li><br>
<a href="<a href="http://compiler-rt.llvm.org/" rel="noreferrer" target="_blank">http://compiler-rt.llvm.<wbr>org/</a>"><b>Compiler-rt</b></a><u<wbr>l><br>
@@ -507,21 +504,6 @@ Welcome prospective Google Summer of
Cod<br>
<p><b>Confirmed Mentor:</b> Anna
Zaks</p><br>
</div><br>
<br>
-<!-- ******************************<wbr>******************************<wbr>***********
--><br>
-<div class="www_subsubsection"><br>
- <a name="clang-sa-escape-analysis<wbr>">Implement
fast escape analysis for<br>
- clang AST.</a><br>
-</div><br>
-<!-- ******************************<wbr>******************************<wbr>***********
--><br>
-<br>
-<div class="www_text"><br>
- <p><b>Description of the project: </b><br>
- The static analyzer and the compiler that operate on
top of clang AST could<br>
- use the results of a fast pointer analysis such as
"Points-to analysis in<br>
- almost linear time" by Bjarne Steensgaard.<br>
- </p><br>
- <p><b>Confirmed Mentor:</b> Devin
Coughlin</p><br>
-</div><br>
<br>
<br>
<!-- ******************************<wbr>******************************<wbr>***********
--><br>
<br>
<br>
______________________________<wbr>_________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">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>
</blockquote><p><br>
</p>
</div>
</div></blockquote></div><br></div></div></div></div></div>
</blockquote></div><br></div></div>