When I run with -steens-aa, I get lots of error messages like the
following:
MergeTypeInfo Folding OrigTy: uint
due to:sbyte @ 0!
SubType: uint
and then it dies with:
Assertion failed: Index < Links.size() && "Link index is out of range!",
file ../../../include/llvm/Analysis/DSNode.h, line 120
Am I doing something wrong, or is this analysis under development still?
and then it dies with:
Assertion failed: Index < Links.size() && "Link index is out of range!",
file ../../../include/llvm/Analysis/DSNode.h, line 120Am I doing something wrong, or is this analysis under development still?
Our implementation of Steensgaard's analysis was hacked together as a
proof of concept more than anything. At present, it is not solid and
should not be trusted 
-Chris