(get32 (0x40) (empty)) is always zero
pirapira opened this issue · 1 comments
pirapira commented
The expression "(get32 (0x40) (empty))" should be simplified to zero.
pirapira commented
This has already been implemented http://dry.yoichihirai.com/?nsteps=3&contract=0x604051&storage=