Using the -dsa-no-filter-callcc=false option while running the -calltarget pass causes DSA to segfault. The problem appears to be that filtering out invalid function call targets causes the calculateGraphs() function to recurse indefinitely.
The problem can be reproduced on the attached .ll file by assembling it and doing the following:
Extended Description
Using the -dsa-no-filter-callcc=false option while running the -calltarget pass causes DSA to segfault. The problem appears to be that filtering out invalid function call targets causes the calculateGraphs() function to recurse indefinitely.
The problem can be reproduced on the attached .ll file by assembling it and doing the following:
opt -load $HOME/box/x86/llvm27/projects/poolalloc/Debug/lib/libLLVMDataStructure.so -calltarget -analyze test2.bc -dsa-no-filter-callcc=false