strict digraph "tests/contract_testcases/substrate/functions/global_functions_07.sol" {
	x [label="function x\ntests/contract_testcases/substrate/functions/global_functions_07.sol:2:9-55\nsignature x(int256[])\nvisibility internal\nmutability pure"]
	parameters [label="parameters\nint256[] storage x"]
	returns [label="returns\nint256 "]
	return [label="return\ntests/contract_testcases/substrate/functions/global_functions_07.sol:2:58-69"]
	storage_load [label="storage load int256\ntests/contract_testcases/substrate/functions/global_functions_07.sol:2:58-69"]
	subscript [label="subscript int256[] storage\ntests/contract_testcases/substrate/functions/global_functions_07.sol:2:65-69"]
	variable [label="variable: x\nint256[] storage\ntests/contract_testcases/substrate/functions/global_functions_07.sol:2:65-66"]
	number_literal [label="uint256 literal: 1\ntests/contract_testcases/substrate/functions/global_functions_07.sol:2:67-68"]
	diagnostic [label="declaration of 'x' shadows function\nlevel Warning\ntests/contract_testcases/substrate/functions/global_functions_07.sol:2:34-35"]
	note [label="previous declaration of function\ntests/contract_testcases/substrate/functions/global_functions_07.sol:2:18-19"]
	diagnostic_13 [label="function declared 'pure' but this expression reads from state\nlevel Error\ntests/contract_testcases/substrate/functions/global_functions_07.sol:2:58-69"]
	free_functions -> x [label="function"]
	x -> parameters [label="parameters"]
	x -> returns [label="returns"]
	x -> return [label="body"]
	return -> storage_load [label="expr"]
	storage_load -> subscript [label="expr"]
	subscript -> variable [label="array"]
	subscript -> number_literal [label="index"]
	diagnostics -> diagnostic [label="Warning"]
	diagnostic -> note [label="note"]
	diagnostics -> diagnostic_13 [label="Error"]
}
