{ for {} add(delegatecall(delegatecall(call(gas(), 0x0, 0x0, 0x0, 0x0, 0x0, 0x0), 0x0, 0x0, 0x0, 0x0, 0x0), 0x0, 0x0, 0x0, 0x0, 0x0),0x0) {} {} } // ---- // digraph CFG { // nodesep=0.7; // node[shape=box]; // // Entry [label="Entry"]; // Entry -> Block0; // Block0 [label="\ // [ ]\l\ // [ ]\l\ // "]; // Block0 -> Block0Exit [arrowhead=none]; // Block0Exit [label="Jump" shape=oval]; // Block0Exit -> Block1; // // Block1 [label="\ // [ ]\l\ // [ 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 ]\l\ // gas\l\ // [ 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 TMP[gas, 0] ]\l\ // [ 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 TMP[gas, 0] ]\l\ // call\l\ // [ 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 TMP[call, 0] ]\l\ // [ 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 TMP[call, 0] ]\l\ // delegatecall\l\ // [ 0x00 0x00 0x00 0x00 0x00 0x00 TMP[delegatecall, 0] ]\l\ // [ 0x00 0x00 0x00 0x00 0x00 0x00 TMP[delegatecall, 0] ]\l\ // delegatecall\l\ // [ 0x00 TMP[delegatecall, 0] ]\l\ // [ 0x00 TMP[delegatecall, 0] ]\l\ // add\l\ // [ TMP[add, 0] ]\l\ // [ TMP[add, 0] ]\l\ // "]; // Block1 -> Block1Exit; // Block1Exit [label="{ TMP[add, 0]| { <0> Zero | <1> NonZero }}" shape=Mrecord]; // Block1Exit:0 -> Block2; // Block1Exit:1 -> Block3; // // Block2 [label="\ // [ ]\l\ // [ ]\l\ // "]; // Block2Exit [label="MainExit"]; // Block2 -> Block2Exit; // // Block3 [label="\ // [ ]\l\ // [ ]\l\ // "]; // Block3 -> Block3Exit [arrowhead=none]; // Block3Exit [label="Jump" shape=oval]; // Block3Exit -> Block4; // // Block4 [label="\ // [ ]\l\ // [ ]\l\ // "]; // Block4 -> Block4Exit [arrowhead=none]; // Block4Exit [label="BackwardsJump" shape=oval]; // Block4Exit -> Block1; // // }