(self)
Execute a p-code branch operation.
Execute a p-code branch operation.
Execute a p - code branch operation .
def _execute_branch(self) -> None:
        """
        Execute a p-code branch operation.
        """
        dest_addr = self._current_op.inputs[0].get_addr()
        if dest_addr.is_constant:
            raise NotImplementedError("p-code relative branch not supported yet")

        self.state.scratch.exit_handled = True
        expr = dest_addr.offset
        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_branch ( self ) -> None : dest_addr = self . _current_op . inputs [ 0 ] . get_addr ( ) if dest_addr . is_constant : raise NotImplementedError ( "p-code relative branch not supported yet" ) self . state . scratch . exit_handled = True expr = dest_addr . offset 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 , )