Displaying 2 results from an estimated 2 matches for "0ab14c4a".
2012 Oct 03
0
[LLVMdev] Inter-procedural program flow analysis
...ng list
>> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121002/0ab14c4a/attachment.html>
2012 Oct 03
2
[LLVMdev] Inter-procedural program flow analysis
I think you're looking for an inter-procedural post dominator analysis. I
don't think there is one in LLVM already, but it should be relatively
straightforward.
This gives a sound approximation (i.e. no false positives) of something
sort-of equivalent to the halting problem: if the program terminates, then
block Y was executed.
Cheers,
Scott
On Tue, Oct 2, 2012 at 7:43 PM, Jim Grosbach