Marek Chalupa
Marek Chalupa
I moved the bug that started this conversation to #427 .
> For the question 3, I specify the variable len in line 7 but get the code from lines 11 to 13, which has no control and data dependency with...
Hi, yes, that's correct. The pointer analysis in dg does not support context-sensitivity. Should I understand this as a feature request? However, at this moment I do not have much...
I would not do that for at least two reasons: 1) without this condition the graph's size can grow exponentially 2) with recursive functions the graph building procedure would not...
Cloning functions at LLVM side is definitely easier. You can also use `opt -inline`
Great. I'm glad to hear that. That sounds like it could be worth to look into adding some sort of (partial) context sensitivity to dg's pointer analysis :)
See also #86
WIP (Andrej)
So it must be hanging in the pointer analysis. I'll check where's the problem once I have a bit more time but I guess this will be the problem of...
Which graph? The best what you can do is to do some kind of BFS/DFS. DG has some predefined templates for that.