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

Test case that shows a CSE bug related to scopes.

Browse Source
This commit is contained in:
chriseth 2018-10-16 21:38:23 +02:00
parent 7609e2871e
commit c34fa43d5b
1 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
test/libyul/yulOptimizerTests/commonSubexpressionEliminator/scopes.yul Normal file
View File

@ -0,0 +1,25 @@
{
let a := 10
let x := 20
{
let b := calldataload(0)
let d := calldataload(1)
x := d
}
// We had a bug where "calldataload(0)" was incorrectly replaced by "b"
mstore(0, calldataload(0))
mstore(0, x)
}
// ----
// commonSubexpressionEliminator
// {
// let a := 10
// let x := 20
// {
// let b := calldataload(0)
// let d := calldataload(1)
// x := d
// }
// mstore(0, b)
// mstore(0, x)
// }