'Compute various properties of the control flow graph.  The graph
must have been fully populated, and its entry point specified.'

def process(self):

    if (self._entry_point is None):
        raise RuntimeError('no    entry    point    defined!')
    self._eliminate_dead_blocks()
    self._find_exit_points()
    self._find_dominators()
    self._find_back_edges()
    self._find_topo_order()
    self._find_descendents()
    self._find_loops()
    self._find_post_dominators()
