(self)
Execute a p-code return operation.
Execute a p-code return operation.
Execute a p - code return operation .
def _execute_ret(self) -> None:
        """
        Execute a p-code return operation.
        """
        self.state.scratch.exit_handled = True
        self.successors.add_successor(
            self.state,
            self.state.regs.ip,
            self.state.scratch.guard,
            "Ijk_Ret",
            exit_stmt_idx=DEFAULT_STATEMENT,
            exit_ins_addr=self.state.scratch.ins_addr,
        )
def _execute_ret ( self ) -> None : self . state . scratch . exit_handled = True self . successors . add_successor ( self . state , self . state . regs . ip , self . state . scratch . guard , "Ijk_Ret" , exit_stmt_idx = DEFAULT_STATEMENT , exit_ins_addr = self . state . scratch . ins_addr , )