<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">Daniel,</div><div class=""><br class=""></div>Did the patients expire and is LLVM now open to accepting Steensgaard? We did not have time to look into that.<div class=""><br class=""></div><div class="">Thanks!</div><div class="">Anna<br class=""><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Mar 21, 2017, at 12:42 PM, Vassil Vassilev <<a href="mailto:v.g.vassilev@gmail.com" class="">v.g.vassilev@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">
<meta content="text/html; charset=utf-8" http-equiv="Content-Type" class="">
<div bgcolor="#FFFFFF" text="#000000" class="">
<div class="moz-cite-prefix">On 21/03/17 19:50, Daniel Berlin wrote:<br class="">
</div>
<blockquote cite="mid:CAF4BwTUM0fWy8O4kHAh3Og+O+WDaw8O0ooDUYSNrf=Hwq_6Nyw@mail.gmail.com" type="cite" class="">
<div dir="ltr" class="">I"m not sure this makes sense this point, given the
state of the patents.
<div class="">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 class="">
<blockquote cite="mid:CAF4BwTUM0fWy8O4kHAh3Og+O+WDaw8O0ooDUYSNrf=Hwq_6Nyw@mail.gmail.com" type="cite" class="">
<div dir="ltr" class="">
<div class=""><br class="">
</div>
</div>
<div class="gmail_extra"><br class="">
<div class="gmail_quote">On Tue, Mar 21, 2017 at 9:15 AM, Vassil
Vassilev via llvm-commits <span dir="ltr" class=""><<a moz-do-not-send="true" href="mailto:llvm-commits@lists.llvm.org" target="_blank" class="">llvm-commits@lists.llvm.org</a>></span>
wrote:<br class="">
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">Author:
vvassilev<br class="">
Date: Tue Mar 21 11:15:48 2017<br class="">
New Revision: 298384<br class="">
<br class="">
URL: <a moz-do-not-send="true" href="http://llvm.org/viewvc/llvm-project?rev=298384&view=rev" rel="noreferrer" target="_blank" class="">http://llvm.org/viewvc/llvm-<wbr class="">project?rev=298384&view=rev</a><br class="">
Log:<br class="">
Remove project. Steensgaard algorithm is patented.<br class="">
<br class="">
Modified:<br class="">
www/trunk/OpenProjects.html<br class="">
<br class="">
Modified: www/trunk/OpenProjects.html<br class="">
URL: <a moz-do-not-send="true" href="http://llvm.org/viewvc/llvm-project/www/trunk/OpenProjects.html?rev=298384&r1=298383&r2=298384&view=diff" rel="noreferrer" target="_blank" class="">http://llvm.org/viewvc/llvm-<wbr class="">project/www/trunk/<wbr class="">OpenProjects.html?rev=298384&<wbr class="">r1=298383&r2=298384&view=diff</a><br class="">
==============================<wbr class="">==============================<wbr class="">==================<br class="">
--- www/trunk/OpenProjects.html (original)<br class="">
+++ www/trunk/OpenProjects.html Tue Mar 21 11:15:48 2017<br class="">
@@ -40,9 +40,6 @@<br class="">
<li><a href="#clang-sa-atomics">Model
C++11 and C11 atomics in the<br class="">
analyzer</a><br class="">
</li><br class="">
- <li><a href="#clang-sa-escape-<wbr class="">analysis">Implement
fast escape analysis for<br class="">
- clang AST</a><br class="">
- </li><br class="">
</ul><br class="">
</li><li><br class="">
<a href="<a moz-do-not-send="true" href="http://compiler-rt.llvm.org/" rel="noreferrer" target="_blank" class="">http://compiler-rt.llvm.<wbr class="">org/</a>"><b>Compiler-rt</b></a><<wbr class="">ul><br class="">
@@ -507,21 +504,6 @@ Welcome prospective Google Summer of
Cod<br class="">
<p><b>Confirmed Mentor:</b> Anna
Zaks</p><br class="">
</div><br class="">
<br class="">
-<!-- ******************************<wbr class="">******************************<wbr class="">***********
--><br class="">
-<div class="www_subsubsection"><br class="">
- <a name="clang-sa-escape-<wbr class="">analysis">Implement
fast escape analysis for<br class="">
- clang AST.</a><br class="">
-</div><br class="">
-<!-- ******************************<wbr class="">******************************<wbr class="">***********
--><br class="">
-<br class="">
-<div class="www_text"><br class="">
- <p><b>Description of the project: </b><br class="">
- The static analyzer and the compiler that operate on
top of clang AST could<br class="">
- use the results of a fast pointer analysis such as
"Points-to analysis in<br class="">
- almost linear time" by Bjarne Steensgaard.<br class="">
- </p><br class="">
- <p><b>Confirmed Mentor:</b> Devin
Coughlin</p><br class="">
-</div><br class="">
<br class="">
<br class="">
<!-- ******************************<wbr class="">******************************<wbr class="">***********
--><br class="">
<br class="">
<br class="">
______________________________<wbr class="">_________________<br class="">
llvm-commits mailing list<br class="">
<a moz-do-not-send="true" href="mailto:llvm-commits@lists.llvm.org" class="">llvm-commits@lists.llvm.org</a><br class="">
<a moz-do-not-send="true" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank" class="">http://lists.llvm.org/cgi-bin/<wbr class="">mailman/listinfo/llvm-commits</a><br class="">
</blockquote>
</div>
<br class="">
</div>
</blockquote><p class=""><br class="">
</p>
</div>
</div></blockquote></div><br class=""></div></div></body></html>