[Soot-list] Post Dominators

[Silviu ANDRICA]

Hello,
    I am trying to implement a graph analysis using 
MHGPostDominatorsFinder, but I have the impression that the 
post-dominator finder has a little bug.
The body of the method I am having problems with is
    /public void m()
    {
        Test r0;
        int i0;
        java.io.PrintStream $r1, $r2;

        r0 := @this: Test;
        i0 = 0;
        goto label1;

     label0:
        $r1 = <java.lang.System: java.io.PrintStream out>;
        virtualinvoke $r1.<java.io.PrintStream: void 
println(java.lang.String)>("Never gonna get out!");

     label1:
        i0 = i0 + -1;
        if i0 < 0 goto label0;

        $r2 = <java.lang.System: java.io.PrintStream out>;
        virtualinvoke $r2.<java.io.PrintStream: void 
println(java.lang.String)>("Impossible!");
        return;
    }
/Also, the CFG is attached as a PDF file.

The part of the code that is interesting is:
        /$r2 = <java.lang.System: java.io.PrintStream out>;
        virtualinvoke $r2.<java.io.PrintStream: void 
println(java.lang.String)>("Impossible!");
       return;

/TheMHGPostDominatorsFinder reports that /$r2 = <java.lang.System: 
java.io.PrintStream out>; /is post-dominated by/ itself /and/ return/./
/As far as I understand post-dominators, /virtualinvoke 
$r2.<java.io.PrintStream: void 
println(java.lang.String)>("Impossible!");// /should be part of the 
post-dominators of/ //$r2 = <java.lang.System: java.io.PrintStream out> 
/too,/ /or am I wrong?
Can someone shed light into this problem?

Best regards,
    Silviu/
/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090714/65934b40/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Test.m.pdf
Type: application/pdf
Size: 52029 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090714/65934b40/attachment-0001.pdf