[Soot-list] Question about PostDominators

[Arie Zilberstein]

Hi,

Thanks for the clarification Ondrej. I must be looking for the set of
transitive successors, not the set of post-dominators...

Best,
Arie

-----Original Message-----
From: Ondrej Lhotak [mailto:olhotak at uwaterloo.ca] 
Sent: Thursday, January 14, 2010 11:12 PM
To: Eric Bodden
Cc: Arie Zilberstein; soot-list
Subject: Re: [Soot-list] Question about PostDominators

"a node z is said to post-dominate a node n if *all* paths to the exit
node of the graph starting at n must go through z"
-- http://en.wikipedia.org/wiki/Dominator_%28graph_theory%29#Postdominance

On Thu, Jan 14, 2010 at 09:59:37PM +0100, Eric Bodden wrote:
> Hello Arie.
> 
> Thanks for reporting this. This is a bug. Actually you ought to be
> getting the result you are expecting. I will try to find some time to
> fix this within the next few days.
> 
> Eric
> 
> --
> Eric Bodden
> Software Technology Group, Technische Universität Darmstadt, Germany
> Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
> Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
> 
> 
> 
> 2010/1/14 Arie Zilberstein <arie.zilberstein at gmail.com>:
> > protected double action() {
> > // create a new object
> > Point p = new Point(2.5, 4.3);
> > p.x = 500.2;
> > p.y = 600.1;
> > double z = 0;
> > for (int i=0; i<1000; ++i)
> > {
> > // read from the new object
> > z  += (p.x+p.y)*i;
> > }
> > return z;
> > }
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>