mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
26 lines
508 B
Plaintext
26 lines
508 B
Plaintext
{
|
|
for {} msize() {
|
|
function foo_s_0() -> x_1 { for {} caller() {} {} }
|
|
// x_3 used to be a movable loop invariant because `foo_s_0()` used to be movable
|
|
let x_3 := foo_s_0()
|
|
mstore(192, x_3)
|
|
}
|
|
{}
|
|
}
|
|
// ----
|
|
// step: fullSuite
|
|
//
|
|
// {
|
|
// {
|
|
// let _1 := iszero(caller())
|
|
// for { }
|
|
// true
|
|
// {
|
|
// for { } iszero(_1) { }
|
|
// { }
|
|
// mstore(192, 0)
|
|
// }
|
|
// { if iszero(msize()) { break } }
|
|
// }
|
|
// }
|