':return:'

def _add_additional_edges(self, input_state, sim_successors, cfg_node, successors):

    addr = cfg_node.addr
    if (addr in self._additional_edges):
        dests = self._additional_edges[addr]
        for dst in dests:
            if (sim_successors.sort == 'IRSB'):
                base_state = sim_successors.all_successors[0].copy()
            elif successors:
                base_state = successors[0].copy()
            else:
                base_state = input_state
            base_state.ip = dst
            successors.append(base_state)
            l.debug('Additional    jump    target    %#x    for    block    %s    is    appended.', dst, sim_successors.description)
    return successors
