cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Correct test.

Browse Source
This commit is contained in:
chriseth 2022-04-17 18:11:30 +02:00
parent af1e8dba30
commit 4ace0ed82c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/libyul/yulOptimizerTests/reasoningBasedSimplifier/loopinc.yul
View File

@ -4,7 +4,7 @@
let x := 0 let x := 0
for {} lt(x, y) { } { for {} lt(x, y) { } {
// overflow check // overflow check
if not(x) { revert(0, 0) } if iszero(not(x)) { revert(0, 0) }
// different way to do overflow check // different way to do overflow check
if lt(add(x, 1), x) { revert(0, 0) } if lt(add(x, 1), x) { revert(0, 0) }
sum := calldataload(add(0x20, mul(x, 0x20))) sum := calldataload(add(0x20, mul(x, 0x20)))