strict digraph "tests/contract_testcases/substrate/functions/mutability_02.sol" {
	contract [label="contract test\ntests/contract_testcases/substrate/functions/mutability_02.sol:1:1-5:10"]
	bar [label="function bar\ncontract: test\ntests/contract_testcases/substrate/functions/mutability_02.sol:2:13-75\nsignature bar(int64[])\nvisibility private\nmutability pure"]
	parameters [label="parameters\nint64[] storage foo"]
	returns [label="returns\nint64 "]
	return [label="return\ntests/contract_testcases/substrate/functions/mutability_02.sol:3:17-30"]
	storage_load [label="storage load int64\ntests/contract_testcases/substrate/functions/mutability_02.sol:3:17-30"]
	subscript [label="subscript int64[] storage\ntests/contract_testcases/substrate/functions/mutability_02.sol:3:24-30"]
	variable [label="variable: foo\nint64[] storage\ntests/contract_testcases/substrate/functions/mutability_02.sol:3:24-27"]
	number_literal [label="uint256 literal: 0\ntests/contract_testcases/substrate/functions/mutability_02.sol:3:28-29"]
	diagnostic [label="found abstract contract 'test'\nlevel Debug\ntests/contract_testcases/substrate/functions/mutability_02.sol:1:1-5:10"]
	diagnostic_12 [label="function declared 'pure' but this expression reads from state\nlevel Error\ntests/contract_testcases/substrate/functions/mutability_02.sol:3:17-30"]
	contracts -> contract
	contract -> bar [label="function"]
	bar -> parameters [label="parameters"]
	bar -> returns [label="returns"]
	bar -> 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="Debug"]
	diagnostics -> diagnostic_12 [label="Error"]
}
