

def _translate_push(self, tb, instruction):
    oprnd0 = tb.read(instruction.operands[0])
    tmp0 = tb.temporal(self._sp.size)
    tb.add(self._builder.gen_sub(self._sp, self._ws, tmp0))
    tb.add(self._builder.gen_str(tb, self._sp))
    tb.add(self._builder.gen_stm(oprnd0, self._sp))

dataset/ETHPy150Open programa-stic/barf-project/barf/barf/arch/x86/x86translator.py X86Translator._translate_push/VarMisuse@73/88 `tmp0`->`tb`