[Soot-list] Post Dominators

[Xing Fang]

Hi Silviu,

I think I might have seen the problem before. Are you using the Soot 2.3.0 
stable release? In the method

soot.toolkits.graph.MHGDominatorsFinder.doAnalysis(), there is a line

fullSet.flip(0, graph.size()-1);//set all to true

if you change it to

fullSet.flip(0, graph.size());//set all to true

that should solve your problem. This is actually already fixed in the 
latest version of the file in the CVS head.

Best,
Xing

On Tue, 14 Jul 2009, Silviu ANDRICA wrote:

>
>