':return:'

def _update_thumb_addrs(self, simsuccessors, state):

    if ((simsuccessors.sort == 'IRSB') and state.thumb):
        insn_addrs = simsuccessors.artifacts['insn_addrs']
        self._thumb_addrs.update(insn_addrs)
        self._thumb_addrs.update(map((lambda x: (x + 1)), insn_addrs))
