#NEWLINE# def _pd_post_process( self ) : #NEWLINE# #INDENT# '\n        Take care of those loop headers/tails where we manually broke their\n        connection to the next BBL\n        ' #NEWLINE# loop_back_edges = self . _cfg . get_loop_back_edges ( ) #NEWLINE# for ( b1 , b2 ) in loop_back_edges : #NEWLINE# #INDENT# if ( type ( b1 ) is TemporaryNode ) : #NEWLINE# #INDENT# successors = self . _acyclic_cfg . graph . successors ( b1 ) #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# successors = self . _acyclic_cfg . get_successors ( b1 ) #NEWLINE# #UNINDENT# if ( len ( successors ) == 0 ) : #NEWLINE# #INDENT# if ( b2 in self . _post_dom ) : #NEWLINE# #INDENT# self . _post_dom . add_edge ( b1 , b2 ) #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# l . debug ( '%s is not in post dominator dict.' , successors )