[LLVMdev] DSA Analysis

[Kevin Streit]

Hi,

On Aug 24, 2010, at 6:15 PM, John Criswell wrote:

> Kevin Streit wrote:
>> Hi,
>> 
>> 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).
>>  
> 
> This is a known bug (PR#7929 at http://llvm.org/bugs/show_bug.cgi?id=7929). 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.

Oh, sorry. Didn't find that bug. 
Will Dietz asked me to send him my Bitcode file since the problem is still there in the current revision (111918).

>> Anyway, thanks for your great work on llvm and dsa.
>>  
> 
> 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.

DSA is already a great benefit for us and I'm sure that making it more robust will be too.

Cheers,
Kevin Streit

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100824/ba343588/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4832 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100824/ba343588/attachment.bin>