Open
Description
-- src/EVM.hs:(2490,7)-(2498,65): Warning: Redundant if
-- Found:
if offs64 + sz64 < sz64 then
vmError IllegalOverflow
else
if offs64 >= 0x0fffffff || sz64 >= 0x0fffffff then
vmError IllegalOverflow
else
accessUnboundedMemoryRange offs64 sz64 continue
-- Perhaps:
(if (offs64 + sz64 < sz64)
|| (offs64 >= 0x0fffffff || sz64 >= 0x0fffffff) then
vmError IllegalOverflow
else
accessUnboundedMemoryRange offs64 sz64 continue)