> > Since code can't be associated with ENTRY, then if BB0 has multiple > predecessors, the edge from ENTRY to BB0 ought to be treated as a > critical edge. This was my feeling as well. >