(self)
Execute a p-code indirect branch operation.
Execute a p-code indirect branch operation.
Execute a p - code indirect branch operation .
def _execute_branchind(self) -> None:
        """
        Execute a p-code indirect branch operation.
        """
        self.state.scratch.exit_handled = True
        expr = self._get_value(self._current_op.inputs[0])
        self.successors.add_successor(
            self.state,
            expr,
            self.state.scratch.guard,
            "Ijk_Boring",
            exit_stmt_idx=DEFAULT_STATEMENT,
            exit_ins_addr=self.state.scratch.ins_addr,
        )
def _execute_branchind ( self ) -> None : self . state . scratch . exit_handled = True expr = self . _get_value ( self . _current_op . inputs [ 0 ] ) self . successors . add_successor ( self . state , expr , self . state . scratch . guard , "Ijk_Boring" , exit_stmt_idx = DEFAULT_STATEMENT , exit_ins_addr = self . state . scratch . ins_addr , )