[LLVMdev] Problem of running data structure analysis (DSA) on Linux kernel

[Andrew Lenharth]

On 9/13/07, Haifeng He <hehaifeng2nd at gmail.com> wrote:
> Hi,
>
> I ran into a problem when running DSA on Linux kernel (the Kernel
> version I used is
> 2.4.31). The analysis was aborted when it tried to do
> DSNode::mergeTypeInfo on some data structure in the kernel. I have
> filed a bug report at http://llvm.org/bugs/show_bug.cgi?id=1656.

It is possible there was a fix in the branch we used for the kernel
that didn't make it into mainline.  Also, mainline has deviated some
from lately, and those changes are not completed.  The SVA branch
should be the latest fully tested version that completely matches the
PLDI07 description.

Andrew