[LLVMdev] DSA Analysis

[Will Dietz]

On Tue, Aug 24, 2010 at 11:15 AM, John Criswell <criswell at illinois.edu> 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.

Fixed with respect to the bug description and the provided test case,
and I believe in all such bugs due to filtering.

Note that even with these options (disabling filtering) his test case
still fails--it would appear that while this has the same symptom
(calculateGraphs infinitely recursing) it's not because of the same
thing (filtering callees).

So this might deserve its own bug report, shrug, not sure best policy
here.  Either way we should fix it :).

~Will