1 2 3 4 5 6 7 8 9 10 11 12 13
{ function f() -> a {} let b := add(7, sub(f(), 7)) mstore(b, 0) } // ---- // fullSimplify // { // function f() -> a // { // } // mstore(f(), 0) // }