strict digraph "tests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol" {
	contract [label="contract foo\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:2:9-8:10"]
	test [label="function test\ncontract: foo\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:3:13-35\nsignature test()\nvisibility public\nmutability nonpayable"]
	var_decl [label="variable decl int32[] a\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:4:17-50"]
	alloc_array [label="alloc array int32[]\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:4:36-50"]
	number_literal [label="uint32 literal: 2\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:4:48-49"]
	expr [label="expression\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:6:17-26"]
	assign [label="assign\nint32\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:6:17-26"]
	subscript [label="subscript int32[]\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:6:17-22"]
	variable [label="variable: a\nint32[]\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:6:17-18"]
	number_literal_10 [label="uint32 literal: -1\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:6:19-21"]
	number_literal_11 [label="int32 literal: 5\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:6:25-26"]
	diagnostic [label="found contract 'foo'\nlevel Debug\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:2:9-8:10"]
	diagnostic_14 [label="negative value -1 does not fit into type uint32. Cannot implicitly convert signed literal to unsigned type.\nlevel Error\ntests/contract_testcases/substrate/arrays/memory_dynamic_array_deref.sol:6:19-21"]
	contracts -> contract
	contract -> test [label="function"]
	test -> var_decl [label="body"]
	var_decl -> alloc_array [label="init"]
	alloc_array -> number_literal [label="length"]
	var_decl -> expr [label="next"]
	expr -> assign [label="expr"]
	assign -> subscript [label="left"]
	subscript -> variable [label="array"]
	subscript -> number_literal_10 [label="index"]
	assign -> number_literal_11 [label="right"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_14 [label="Error"]
}
