test_initcode_selfdestruct_to_self()

Documentation for tests/tangerine_whistle/eip150_operation_gas_costs/test_eip150_selfdestruct.py::test_initcode_selfdestruct_to_self@343274cc.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/tangerine_whistle/eip150_operation_gas_costs/test_eip150_selfdestruct.py::test_initcode_selfdestruct_to_self --fork Amsterdam

Test SELFDESTRUCT during initcode execution where beneficiary is self.

Unlike test_selfdestruct_to_self, this tests the case where the initcode itself executes SELFDESTRUCT(ADDRESS) during contract creation, before any code is deployed.

Key characteristics: - During initcode, the contract has no code yet - Contract has nonce=1 (post-EIP-161) making it non-empty - Beneficiary is always warm (it's the executing contract) - No NEW_ACCOUNT charge (contract has nonce > 0) - No cold access charge (>=Berlin)

Note: Gas boundary testing not possible for initcode since CREATE doesn't accept a gas parameter - it uses all available gas.

Source code in tests/tangerine_whistle/eip150_operation_gas_costs/test_eip150_selfdestruct.py

@pytest.mark.parametrize(
    "originator_balance",
    [0, 1],
    ids=["no_balance", "has_balance"],
)
@pytest.mark.valid_from("TangerineWhistle")
def test_initcode_selfdestruct_to_self(
    pre: Alloc,
    blockchain_test: BlockchainTestFiller,
    fork: Fork,
    originator_balance: int,
) -> None:
    """
    Test SELFDESTRUCT during initcode execution where beneficiary is self.

    Unlike test_selfdestruct_to_self, this tests the case where the initcode
    itself executes SELFDESTRUCT(ADDRESS) during contract creation, before
    any code is deployed.

    Key characteristics:
    - During initcode, the contract has no code yet
    - Contract has nonce=1 (post-EIP-161) making it non-empty
    - Beneficiary is always warm (it's the executing contract)
    - No NEW_ACCOUNT charge (contract has nonce > 0)
    - No cold access charge (>=Berlin)

    Note: Gas boundary testing not possible for initcode since CREATE
    doesn't accept a gas parameter - it uses all available gas.
    """
    alice = pre.fund_eoa()
    initcode = Op.SELFDESTRUCT(Op.ADDRESS)
    initcode_len = len(initcode)

    factory_code = Om.MSTORE(initcode, 0) + Op.CREATE(
        value=originator_balance, offset=0, size=initcode_len
    )
    caller = pre.deploy_contract(code=factory_code, balance=originator_balance)
    victim = compute_create_address(address=caller, nonce=1)

    tx = Transaction(
        sender=alice,
        to=caller,
        gas_limit=500_000,
        protected=fork.supports_protected_txs(),
    )

    # Build BAL expectations
    expected_bal: BlockAccessListExpectation | None = None
    if fork.is_eip_enabled(7928):
        # Contract created and immediately destroyed - no net changes
        # for victim
        caller_expectation = BalAccountExpectation(
            nonce_changes=[BalNonceChange(block_access_index=1, post_nonce=2)],
        )
        if originator_balance > 0:
            caller_expectation.balance_changes.append(
                BalBalanceChange(block_access_index=1, post_balance=0)
            )

        # per EIP-8246
        if fork.is_eip_enabled(8246) and originator_balance > 0:
            victim_initcode_expectation = BalAccountExpectation(
                balance_changes=[
                    BalBalanceChange(
                        block_access_index=1,
                        post_balance=originator_balance,
                    )
                ],
            )
        else:
            victim_initcode_expectation = BalAccountExpectation.empty()

        expected_bal = BlockAccessListExpectation(
            account_expectations={
                alice: BalAccountExpectation(
                    nonce_changes=[
                        BalNonceChange(block_access_index=1, post_nonce=1)
                    ],
                ),
                caller: caller_expectation,
                victim: victim_initcode_expectation,
            }
        )

    # per EIP-8246
    victim_post: Account | None
    if fork.is_eip_enabled(8246) and originator_balance > 0:
        victim_post = Account(
            balance=originator_balance, nonce=0, code=b"", storage={}
        )
    else:
        victim_post = Account.NONEXISTENT
    post: dict = {
        alice: Account(nonce=1),
        caller: Account(nonce=2),
        victim: victim_post,
    }

    blockchain_test(
        pre=pre,
        blocks=[Block(txs=[tx], expected_block_access_list=expected_bal)],
        post=post,
    )

Parametrized Test Cases

This test generates 2 parametrized test cases across 14 forks.