':return: None'

def _pre_handle_successor_state(self, extra_info, jumpkind, target_addr):

    if (extra_info['is_call_jump'] and self._is_call_jumpkind(jumpkind)):
        extra_info['call_target'] = target_addr
    if (extra_info['is_call_jump'] and (jumpkind == 'Ijk_FakeRet')):
        extra_info['return_target'] = target_addr
    if (jumpkind == 'Ijk_Call'):
        extra_info['last_call_exit_target'] = target_addr
