[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Question about getDominators()



Hi, soot experts.

I have a question about DominatorsFinder class. I want to get an immediate dominator of a certain block. So I wonder whether the first element of the list returned by DominatorsFinder.getDominators() is always an immediate dominator. It seems so, but I cannot be sure.