[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.