Make sure success is 0 in contract failure (#1283)

This commit is contained in:
Robin Salen 2023-10-10 06:23:20 -04:00 committed by GitHub
parent 41a29f069b
commit b4203c3d47
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -420,7 +420,7 @@ contract_creation_fault_3:
// stack: leftover_gas', retdest, success
%delete_all_touched_addresses
%delete_all_selfdestructed_addresses
%stack (leftover_gas, retdest, success) -> (retdest, success, leftover_gas)
%stack (leftover_gas, retdest, success) -> (retdest, 0, leftover_gas)
JUMP
contract_creation_fault_3_zero_leftover:
@ -432,7 +432,7 @@ contract_creation_fault_3_zero_leftover:
%pay_coinbase_and_refund_sender
%delete_all_touched_addresses
%delete_all_selfdestructed_addresses
%stack (leftover_gas, retdest, success) -> (retdest, success, leftover_gas)
%stack (leftover_gas, retdest, success) -> (retdest, 0, leftover_gas)
JUMP
contract_creation_fault_4:
@ -444,7 +444,7 @@ contract_creation_fault_4:
%pay_coinbase_and_refund_sender
%delete_all_touched_addresses
%delete_all_selfdestructed_addresses
%stack (leftover_gas, retdest, success) -> (retdest, success, leftover_gas)
%stack (leftover_gas, retdest, success) -> (retdest, 0, leftover_gas)
JUMP