[Soot-list] Question about PostDominators

[Eric Bodden]

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;
> }