Minor fix to REVERT (#1080)

This commit is contained in:
wborgeaud 2023-06-07 16:06:31 +02:00 committed by GitHub
parent 90bb4741b3
commit 0f8743174e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -120,9 +120,10 @@ global sys_revert:
// stack: kexit_info, offset, size
%stack (kexit_info, offset, size) -> (offset, size, kexit_info, offset, size)
%add_or_fault
DUP1 %ensure_reasonable_offset
// stack: offset+size, kexit_info, offset, size
DUP4 ISZERO %jumpi(revert_zero_size)
// stack: offset+size, kexit_info, offset, size
DUP1 %ensure_reasonable_offset
%update_mem_bytes
%jump(revert_after_gas)
revert_zero_size: