add_dominator_frontier


Description:

public void add_dominator_frontier (BasicBlock block)