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:2:1-25:2"]
	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:3-19"]
	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:3-28"]
	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:3-19"]
	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:3-28"]
	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:2:1-25:2"]
	diagnostic_45 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:3:2-25"]
	diagnostic_46 [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_47 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:8:2-27"]
	diagnostic_48 [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_49 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:16:2-32"]
	diagnostic_50 [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_51 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:21:2-34"]
	diagnostic_52 [label="local variable 'iPj' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:22:12-15"]
	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"]
}
