[Soot-list] Question about PostDominators

[Eric Bodden]

Right, the example got me confused. Thanks for the clarification Ondrej!

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 Ondrej Lhotak <olhotak at uwaterloo.ca>:
> "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
>>
>