| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102 |
- 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-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:1:60-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"]
- }
|