Add test with same variable on lhs and rhs of assignment.

This commit is contained in:
Daniel Kirchner 2021-04-13 12:28:04 +02:00
parent 3a4769bd99
commit beedf7ca25

View File

@ -0,0 +1,17 @@
{
function f(x) -> y { y := x }
mstore(0x40, memoryguard(0))
let $z := 42
$z := f($z)
}
// ----
// step: fakeStackLimitEvader
//
// {
// function f(x) -> y
// { y := x }
// mstore(0x40, memoryguard(0x20))
// mstore(0x00, 42)
// mstore(0x00, f(mload(0x00)))
// }