(self)
There are cases where a loop has two overlapping loop headers thanks
        to the way VEX is dealing with continuous instructions. As we were
        breaking the connection between the second loop header and its
        successor, we shall restore them in our CDG.
There are cases where a loop has two overlapping loop headers thanks
        to the way VEX is dealing with continuous instructions. As we were
        breaking the connection between the second loop header and its
        successor, we shall restore them in our CDG.
There are cases where a loop has two overlapping loop headers thanks to the way VEX is dealing with continuous instructions . As we were breaking the connection between the second loop header and its successor we shall restore them in our CDG .
def _post_process(self):
        """
        There are cases where a loop has two overlapping loop headers thanks
        to the way VEX is dealing with continuous instructions. As we were
        breaking the connection between the second loop header and its
        successor, we shall restore them in our CDG.
        """
        # TODO: Verify its correctness
        loop_back_edges = self._cfg.get_loop_back_edges()
        for b1, b2 in loop_back_edges:
            self._graph.add_edge(b1, b2)
def _post_process ( self ) : # TODO: Verify its correctness loop_back_edges = self . _cfg . get_loop_back_edges ( ) for b1 , b2 in loop_back_edges : self . _graph . add_edge ( b1 , b2 )