Walk down the dominator tree instead of the control flow graph. That means

that we can't modify the CFG any more, at least not until it's possible
to update the dominator tree (PR217).

llvm-svn: 30469