<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi,<div><br><div><div>On Aug 24, 2010, at 6:15 PM, John Criswell wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Kevin Streit wrote:<br><blockquote type="cite">Hi,<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">I'm still using the release_26 version of Poolalloc/DSA with llvm 2.6 for my analyses and am currently trying to switch to llvm 2.7 for several reasons. I tried to use the trunk of the poolalloc svn repository with the llvm 2.7 release which is working fine for most of the programs I ran it on so far but for sqlite it's running into a stack overflow since it is endlessly looping in the BUDataStructure::calculateGraphs method (excerpt of the debugging output is attached).<br></blockquote><blockquote type="cite"> <br></blockquote><br>This is a known bug (PR#7929 at <a href="http://llvm.org/bugs/show_bug.cgi?id=7929">http://llvm.org/bugs/show_bug.cgi?id=7929</a>). You can work around this problem by using the -dsa-no-filter-callcc=true, -dsa-no-filter-vararg=true, and -dsa-no-filter-intfp=true options. Apparently Will has already fixed it, so the work-around isn't necessary.<br></div></blockquote><div><br></div><div>Oh, sorry. Didn't find that bug. </div><div>Will Dietz asked me to send him my Bitcode file since the problem is still there in the current revision (111918).</div><br><blockquote type="cite"><div><blockquote type="cite">Anyway, thanks for your great work on llvm and dsa.<br></blockquote><blockquote type="cite"> <br></blockquote><br>Thanks. We're hoping that this effort to get DSA/Poolalloc robust will be a benefit to both our research and, some day, for the community at large.<font class="Apple-style-span" color="#000000"><font class="Apple-style-span" color="#144FAE"><br></font></font></div></blockquote><div><br></div>DSA is already a great benefit for us and I'm sure that making it more robust will be too.</div><div><br></div><div>Cheers,</div><div>Kevin Streit</div><br></div></body></html>