`test_call_pointer_to_created_from_create_after_oog_call_again()`¶

Documentation for tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py::test_call_pointer_to_created_from_create_after_oog_call_again@01f496f4.

Generate fixtures for these test cases for Prague with:

fill -v tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py::test_call_pointer_to_created_from_create_after_oog_call_again --fork Prague

Set pointer to account that we are about to create.

Pointer is set to create address that is yet not in the state During the call, address is created. pointer is called from init code to do nothing Then after account is created it is called again to run created code

Then revert / no revert

Call pointer again from the upper level to ensure it does not call reverted code

Source code in tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py

@pytest.mark.valid_from("Prague")
@pytest.mark.parametrize("call_return", [Op.RETURN, Op.REVERT, Macros.OOG])
def test_call_pointer_to_created_from_create_after_oog_call_again(
    state_test: StateTestFiller, pre: Alloc, call_return: Op
):
    """
    Set pointer to account that we are about to create.

    Pointer is set to create address that is yet not in the state
    During the call, address is created. pointer is called from init code to do nothing
    Then after account is created it is called again to run created code

    Then revert / no revert

    Call pointer again from the upper level to ensure it does not call reverted code
    """
    env = Environment()

    storage_pointer = Storage()
    pointer = pre.fund_eoa()
    sender = pre.fund_eoa()

    storage_contract = Storage()
    slot_create_res = storage_contract.store_next(1, "create_result")
    contract = pre.deploy_contract(
        code=Op.MSTORE(0, Op.CALLDATALOAD(0))
        + Op.MSTORE(32, Op.CALLDATALOAD(32))
        + Op.SSTORE(slot_create_res, Op.CREATE(0, 0, Op.CALLDATASIZE()))
        + Op.CALL(address=pointer)
        + call_return(0, 32)
    )
    contract_main = pre.deploy_contract(
        code=Op.MSTORE(0, Op.CALLDATALOAD(0))
        + Op.MSTORE(32, Op.CALLDATALOAD(32))
        + Op.CALL(address=contract, args_size=Op.CALLDATASIZE())
        + Op.CALL(address=pointer)
    )
    contract_create = compute_create_address(address=contract, nonce=1)
    storage_contract[slot_create_res] = contract_create if call_return == Op.RETURN else 0

    slot_pointer_calls = storage_pointer.store_next(
        1 + 1 if call_return == Op.RETURN else 0, "pointer_calls"
    )
    deploy_code = Op.SSTORE(
        slot_pointer_calls,
        Op.ADD(1, Op.SLOAD(slot_pointer_calls)),
    )
    storage_create = Storage()
    tx = Transaction(
        to=contract_main,
        gas_limit=800_000,
        data=Op.SSTORE(storage_create.store_next(1, "create_init_code"), 1)
        + Op.SSTORE(
            storage_create.store_next(1, "call_pointer_from_init"), Op.CALL(address=pointer)
        )
        + Op.MSTORE(0, deploy_code.hex())
        + Op.RETURN(32 - len(deploy_code), len(deploy_code)),
        value=0,
        sender=sender,
        authorization_list=[
            AuthorizationTuple(
                address=contract_create,
                nonce=0,
                signer=pointer,
            )
        ],
    )
    post = {
        contract_create: Account(storage=storage_create) if call_return == Op.RETURN else None,
        contract: Account(storage=storage_contract),
        pointer: Account(storage=storage_pointer),
    }
    state_test(
        env=env,
        pre=pre,
        post=post,
        tx=tx,
    )

Parametrized Test Cases¶

The interactive table below is also available as a standalone page.

Test ID (Abbreviated)	call_return
...fork_Prague-state_test-call_return_RETURN	RETURN
...fork_Prague-state_test-call_return_REVERT	REVERT
...fork_Prague-state_test-call_return_OOG	OOG
...fork_Prague-blockchain_test_from_state_test-call_return_RETURN	RETURN
...fork_Prague-blockchain_test_from_state_test-call_return_REVERT	REVERT
...fork_Prague-blockchain_test_from_state_test-call_return_OOG	OOG
...fork_Osaka-state_test-call_return_RETURN	RETURN
...fork_Osaka-state_test-call_return_REVERT	REVERT
...fork_Osaka-state_test-call_return_OOG	OOG
...fork_Osaka-blockchain_test_from_state_test-call_return_RETURN	RETURN
...fork_Osaka-blockchain_test_from_state_test-call_return_REVERT	REVERT
...fork_Osaka-blockchain_test_from_state_test-call_return_OOG	OOG

test_call_pointer_to_created_from_create_after_oog_call_again()¶

Parametrized Test Cases¶

`test_call_pointer_to_created_from_create_after_oog_call_again()`¶