Add function side effects test.

This commit is contained in:
chriseth 2021-04-22 14:41:50 +02:00
parent cb1af8b88a
commit 2b5a24e82e

View File

@ -0,0 +1,8 @@
{
function a() -> x { x := verbatim_0i_1o(hex"6007") }
function b() { let t := a() }
}
// ----
// : movable, movable apart from effects, can be removed, can be removed if no msize
// a: can loop, writes other state, writes storage, writes memory
// b: can loop, writes other state, writes storage, writes memory