Cannot delete contract at previously funded address

[technicallyty]

// SPDX-License-Identifier: UNLICENSED pragma solidity ^0.8.13; contract Deployer { function exploit() public payable { Minimal minimal = new Minimal(); minimal.killMe{value: msg.value}(); } } contract Minimal { function killMe() public payable { selfdestruct(payable(address(this))); } }

• simulate deploying contract above
• send funds to that address
• call exploit function
• contract cannot be self-destructed

we have a check in DeleteAccount that does k.IsContract that should return true here, but is returning false.

[linear]

EVM-410

[yihuang]

I think that's because the contract account is not created, so there's no need to delete it?

And selfdestruct only happens if it's called in the same tx it's created (https://eips.ethereum.org/EIPS/eip-6780).

[technicallyty]

I think that's because the contract account is not created, so there's no need to delete it?

And selfdestruct only happens if it's called in the same tx it's created (https://eips.ethereum.org/EIPS/eip-6780).

the flow is like this:

1. simulate contract creation
2. send funds to the address it would create
3. create contract that will just self destruct itself
4. contract cannot be deleted, even though on geth it can be

[yihuang]

	// NOTE: only Ethereum contracts can be self-destructed
	if !k.IsContract(ctx, addr) {
		return errors.New("only smart contracts can be self-destructed")
	}

I tried to reproduce the issue, so the current behavior is it'll return error at here, and revert the whole tx, and the contract is not deployed at all, right?

[technicallyty]

	// NOTE: only Ethereum contracts can be self-destructed
	if !k.IsContract(ctx, addr) {
		return errors.New("only smart contracts can be self-destructed")
	}

I tried to reproduce the issue, so the current behavior is it'll return error at here, and revert the whole tx, and the contract is not deployed at all, right?

yes, that's correct