strict digraph "tests/contract_testcases/solana/assign_array_in_array.sol" { Sfixed [label="name:Sfixed\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:13:9-15\nfield name:f1 ty:uint256[3]"] Sdynamic [label="name:Sdynamic\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:14:9-17\nfield name:f1 ty:uint256[]"] contract [label="contract C\ntests/contract_testcases/solana/assign_array_in_array.sol:1:60-2:12"] fixed [label="function fixed\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:3:2-25\nsignature fixed()\nvisibility public\nmutability nonpayable"] var_decl [label="variable decl uint256[3][4] iPj\ntests/contract_testcases/solana/assign_array_in_array.sol:4:3-27"] expr [label="expression\ntests/contract_testcases/solana/assign_array_in_array.sol:5:3-19"] assign [label="assign\nuint256[3]\ntests/contract_testcases/solana/assign_array_in_array.sol:5:10-11"] subscript [label="subscript uint256[3][4]\ntests/contract_testcases/solana/assign_array_in_array.sol:5:3-9"] variable [label="variable: iPj\nuint256[3][4]\ntests/contract_testcases/solana/assign_array_in_array.sol:5:3-6"] number_literal [label="uint32 literal: 0\ntests/contract_testcases/solana/assign_array_in_array.sol:5:7-8"] array_literal [label="array literal: uint256[3]\ntests/contract_testcases/solana/assign_array_in_array.sol:5:12-19"] number_literal_13 [label="uint256 literal: 1\ntests/contract_testcases/solana/assign_array_in_array.sol:5:13-14"] number_literal_14 [label="uint256 literal: 2\ntests/contract_testcases/solana/assign_array_in_array.sol:5:15-16"] number_literal_15 [label="uint256 literal: 3\ntests/contract_testcases/solana/assign_array_in_array.sol:5:17-18"] dynamic [label="function dynamic\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:8:2-27\nsignature dynamic()\nvisibility public\nmutability nonpayable"] var_decl_17 [label="variable decl uint256[][4] iPj\ntests/contract_testcases/solana/assign_array_in_array.sol:9:3-26"] expr_18 [label="expression\ntests/contract_testcases/solana/assign_array_in_array.sol:10:3-28"] assign_19 [label="assign\nuint256[]\ntests/contract_testcases/solana/assign_array_in_array.sol:10:10-11"] subscript_20 [label="subscript uint256[][4]\ntests/contract_testcases/solana/assign_array_in_array.sol:10:3-9"] variable_21 [label="variable: iPj\nuint256[][4]\ntests/contract_testcases/solana/assign_array_in_array.sol:10:3-6"] number_literal_22 [label="uint32 literal: 0\ntests/contract_testcases/solana/assign_array_in_array.sol:10:7-8"] alloc_array [label="alloc array uint256[]\ntests/contract_testcases/solana/assign_array_in_array.sol:10:12-28"] number_literal_24 [label="uint32 literal: 4\ntests/contract_testcases/solana/assign_array_in_array.sol:10:26-27"] fixed_struct [label="function fixed_struct\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:16:2-32\nsignature fixed_struct()\nvisibility public\nmutability nonpayable"] var_decl_26 [label="variable decl struct C.Sfixed iPj\ntests/contract_testcases/solana/assign_array_in_array.sol:17:3-13"] expr_27 [label="expression\ntests/contract_testcases/solana/assign_array_in_array.sol:18:3-19"] assign_28 [label="assign\nuint256[3]\ntests/contract_testcases/solana/assign_array_in_array.sol:18:10-11"] structmember [label="struct member #0 uint256[3]\ntests/contract_testcases/solana/assign_array_in_array.sol:18:7-9"] variable_30 [label="variable: iPj\nstruct C.Sfixed\ntests/contract_testcases/solana/assign_array_in_array.sol:18:3-6"] array_literal_31 [label="array literal: uint256[3]\ntests/contract_testcases/solana/assign_array_in_array.sol:18:12-19"] number_literal_32 [label="uint256 literal: 1\ntests/contract_testcases/solana/assign_array_in_array.sol:18:13-14"] number_literal_33 [label="uint256 literal: 2\ntests/contract_testcases/solana/assign_array_in_array.sol:18:15-16"] number_literal_34 [label="uint256 literal: 3\ntests/contract_testcases/solana/assign_array_in_array.sol:18:17-18"] dynamic_struct [label="function dynamic_struct\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:21:2-34\nsignature dynamic_struct()\nvisibility public\nmutability nonpayable"] var_decl_36 [label="variable decl struct C.Sdynamic iPj\ntests/contract_testcases/solana/assign_array_in_array.sol:22:3-15"] expr_37 [label="expression\ntests/contract_testcases/solana/assign_array_in_array.sol:23:3-28"] assign_38 [label="assign\nuint256[]\ntests/contract_testcases/solana/assign_array_in_array.sol:23:10-11"] structmember_39 [label="struct member #0 uint256[]\ntests/contract_testcases/solana/assign_array_in_array.sol:23:7-9"] variable_40 [label="variable: iPj\nstruct C.Sdynamic\ntests/contract_testcases/solana/assign_array_in_array.sol:23:3-6"] alloc_array_41 [label="alloc array uint256[]\ntests/contract_testcases/solana/assign_array_in_array.sol:23:12-28"] number_literal_42 [label="uint32 literal: 4\ntests/contract_testcases/solana/assign_array_in_array.sol:23:26-27"] diagnostic [label="found contract 'C'\nlevel Debug\ntests/contract_testcases/solana/assign_array_in_array.sol:1:60-2:12"] diagnostic_45 [label="local variable 'iPj' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:4:24-27"] diagnostic_46 [label="local variable 'iPj' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:9:23-26"] diagnostic_47 [label="local variable 'iPj' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:17:10-13"] diagnostic_48 [label="local variable 'iPj' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:22:12-15"] diagnostic_49 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:3:2-25"] diagnostic_50 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:8:2-27"] diagnostic_51 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:16:2-32"] diagnostic_52 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:21:2-34"] structs -> Sfixed structs -> Sdynamic contracts -> contract contract -> fixed [label="function"] fixed -> var_decl [label="body"] var_decl -> expr [label="next"] expr -> assign [label="expr"] assign -> subscript [label="left"] subscript -> variable [label="array"] subscript -> number_literal [label="index"] assign -> array_literal [label="right"] array_literal -> number_literal_13 [label="arg #0"] array_literal -> number_literal_14 [label="arg #1"] array_literal -> number_literal_15 [label="arg #2"] contract -> dynamic [label="function"] dynamic -> var_decl_17 [label="body"] var_decl_17 -> expr_18 [label="next"] expr_18 -> assign_19 [label="expr"] assign_19 -> subscript_20 [label="left"] subscript_20 -> variable_21 [label="array"] subscript_20 -> number_literal_22 [label="index"] assign_19 -> alloc_array [label="right"] alloc_array -> number_literal_24 [label="length"] contract -> fixed_struct [label="function"] fixed_struct -> var_decl_26 [label="body"] var_decl_26 -> expr_27 [label="next"] expr_27 -> assign_28 [label="expr"] assign_28 -> structmember [label="left"] structmember -> variable_30 [label="var"] assign_28 -> array_literal_31 [label="right"] array_literal_31 -> number_literal_32 [label="arg #0"] array_literal_31 -> number_literal_33 [label="arg #1"] array_literal_31 -> number_literal_34 [label="arg #2"] contract -> dynamic_struct [label="function"] dynamic_struct -> var_decl_36 [label="body"] var_decl_36 -> expr_37 [label="next"] expr_37 -> assign_38 [label="expr"] assign_38 -> structmember_39 [label="left"] structmember_39 -> variable_40 [label="var"] assign_38 -> alloc_array_41 [label="right"] alloc_array_41 -> number_literal_42 [label="length"] diagnostics -> diagnostic [label="Debug"] diagnostics -> diagnostic_45 [label="Warning"] diagnostics -> diagnostic_46 [label="Warning"] diagnostics -> diagnostic_47 [label="Warning"] diagnostics -> diagnostic_48 [label="Warning"] diagnostics -> diagnostic_49 [label="Warning"] diagnostics -> diagnostic_50 [label="Warning"] diagnostics -> diagnostic_51 [label="Warning"] diagnostics -> diagnostic_52 [label="Warning"] }