strict digraph "tests/contract_testcases/solana/destructure_assign_struct_member.sol" {
	Data [label="name:Data\ncontract: TestContract\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:3:12-16\nfield name:a1 ty:bytes32\nfield name:a2 ty:bytes32"]
	contract [label="contract TestContract\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:2:1-15:2"]
	var [label="variable Hashes\nvisibility internal\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:8:5-39"]
	node_5 [label="constructor \ncontract: TestContract\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:10:5-19\nsignature ()\nvisibility public\nmutability nonpayable"]
	getdata [label="function getdata\ncontract: TestContract\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:12:5-84\nsignature getdata(uint176,bool)\nvisibility public\nmutability view"]
	parameters [label="parameters\nuint176 id\nbool needHash"]
	returns [label="returns\nstruct TestContract.Data g"]
	destructure [label="destructure\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:9-52"]
	structmember [label="struct member #0 bytes32\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:12-14"]
	variable [label="variable: g\nstruct TestContract.Data\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:10-11"]
	structmember_12 [label="struct member #1 bytes32\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:18-20"]
	variable_13 [label="variable: g\nstruct TestContract.Data\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:16-17"]
	list [label="list\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:9-52"]
	subscript [label="subscript mapping(uint176 => bytes32) storage\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:25-37"]
	storage_var [label="storage variable\nTestContract.Hashes\nmapping(uint176 => bytes32) storage\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:25-31"]
	add [label="add\nuint176\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:32-36"]
	variable_18 [label="variable: id\nuint176\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:32-34"]
	number_literal [label="uint176 literal: 1\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:35-36"]
	subscript_20 [label="subscript mapping(uint176 => bytes32) storage\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:39-51"]
	storage_var_21 [label="storage variable\nTestContract.Hashes\nmapping(uint176 => bytes32) storage\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:39-45"]
	add_22 [label="add\nuint176\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:46-50"]
	variable_23 [label="variable: id\nuint176\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:46-48"]
	number_literal_24 [label="uint176 literal: 2\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:13:49-50"]
	diagnostic [label="found contract 'TestContract'\nlevel Debug\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:2:1-15:2"]
	diagnostic_27 [label="function parameter 'needHash' has never been read\nlevel Warning\ntests/contract_testcases/solana/destructure_assign_struct_member.sol:12:39-47"]
	structs -> Data
	contracts -> contract
	contract -> var [label="variable"]
	contract -> node_5 [label="constructor"]
	contract -> getdata [label="function"]
	getdata -> parameters [label="parameters"]
	getdata -> returns [label="returns"]
	getdata -> destructure [label="body"]
	destructure -> structmember [label="arg #0"]
	structmember -> variable [label="var"]
	destructure -> structmember_12 [label="arg #1"]
	structmember_12 -> variable_13 [label="var"]
	destructure -> list [label="expr"]
	list -> subscript [label="entry #0"]
	subscript -> storage_var [label="array"]
	subscript -> add [label="index"]
	add -> variable_18 [label="left"]
	add -> number_literal [label="right"]
	list -> subscript_20 [label="entry #1"]
	subscript_20 -> storage_var_21 [label="array"]
	subscript_20 -> add_22 [label="index"]
	add_22 -> variable_23 [label="left"]
	add_22 -> number_literal_24 [label="right"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_27 [label="Warning"]
}
