strict digraph "tests/contract_testcases/solana/tags.sol" {
	contract [label="contract C\ntests/contract_testcases/solana/tags.sol:1:1-31:2"]
	f1 [label="function f1\ncontract: C\ntests/contract_testcases/solana/tags.sol:6:5-53\nsignature f1()\nvisibility public\nmutability pure"]
	tags [label="return: bla\nreturn: bla"]
	returns [label="returns\nint256 c\nint256 d"]
	return [label="return\ntests/contract_testcases/solana/tags.sol:6:56-69"]
	list [label="list\ntests/contract_testcases/solana/tags.sol:6:56-69"]
	number_literal [label="int256 literal: 1\ntests/contract_testcases/solana/tags.sol:6:64-65"]
	number_literal_8 [label="int256 literal: 2\ntests/contract_testcases/solana/tags.sol:6:67-68"]
	f2 [label="function f2\ncontract: C\ntests/contract_testcases/solana/tags.sol:12:5-51\nsignature f2()\nvisibility public\nmutability pure"]
	tags_10 [label="return: bla\nreturn: bla"]
	returns_11 [label="returns\nint256 c\nint256 "]
	return_12 [label="return\ntests/contract_testcases/solana/tags.sol:12:54-67"]
	list_13 [label="list\ntests/contract_testcases/solana/tags.sol:12:54-67"]
	number_literal_14 [label="int256 literal: 1\ntests/contract_testcases/solana/tags.sol:12:62-63"]
	number_literal_15 [label="int256 literal: 2\ntests/contract_testcases/solana/tags.sol:12:65-66"]
	f3 [label="function f3\ncontract: C\ntests/contract_testcases/solana/tags.sol:18:5-49\nsignature f3()\nvisibility public\nmutability pure"]
	tags_17 [label="return: \nreturn: "]
	returns_18 [label="returns\nint256 \nint256 "]
	return_19 [label="return\ntests/contract_testcases/solana/tags.sol:18:52-65"]
	list_20 [label="list\ntests/contract_testcases/solana/tags.sol:18:52-65"]
	number_literal_21 [label="int256 literal: 1\ntests/contract_testcases/solana/tags.sol:18:60-61"]
	number_literal_22 [label="int256 literal: 2\ntests/contract_testcases/solana/tags.sol:18:63-64"]
	f4 [label="function f4\ncontract: C\ntests/contract_testcases/solana/tags.sol:24:5-53\nsignature f4()\nvisibility public\nmutability pure"]
	returns_24 [label="returns\nint256 a\nint256 b"]
	return_25 [label="return\ntests/contract_testcases/solana/tags.sol:24:56-69"]
	list_26 [label="list\ntests/contract_testcases/solana/tags.sol:24:56-69"]
	number_literal_27 [label="int256 literal: 1\ntests/contract_testcases/solana/tags.sol:24:64-65"]
	number_literal_28 [label="int256 literal: 2\ntests/contract_testcases/solana/tags.sol:24:67-68"]
	f5 [label="function f5\ncontract: C\ntests/contract_testcases/solana/tags.sol:30:5-51\nsignature f5()\nvisibility public\nmutability pure"]
	tags_30 [label="return: "]
	returns_31 [label="returns\nint256 \nint256 b"]
	return_32 [label="return\ntests/contract_testcases/solana/tags.sol:30:54-67"]
	list_33 [label="list\ntests/contract_testcases/solana/tags.sol:30:54-67"]
	number_literal_34 [label="int256 literal: 1\ntests/contract_testcases/solana/tags.sol:30:62-63"]
	number_literal_35 [label="int256 literal: 2\ntests/contract_testcases/solana/tags.sol:30:65-66"]
	diagnostic [label="found contract 'C'\nlevel Debug\ntests/contract_testcases/solana/tags.sol:1:1-31:2"]
	diagnostic_38 [label="tag '@return' no matching return value 'feh'\nlevel Error\ntests/contract_testcases/solana/tags.sol:21:15-18"]
	diagnostic_39 [label="tag '@return' no matching return value 'foo'\nlevel Error\ntests/contract_testcases/solana/tags.sol:22:15-18"]
	diagnostic_40 [label="tag '@return' no matching return value 'foo'\nlevel Error\ntests/contract_testcases/solana/tags.sol:28:15-18"]
	contracts -> contract
	contract -> f1 [label="function"]
	f1 -> tags [label="tags"]
	f1 -> returns [label="returns"]
	f1 -> return [label="body"]
	return -> list [label="expr"]
	list -> number_literal [label="entry #0"]
	list -> number_literal_8 [label="entry #1"]
	contract -> f2 [label="function"]
	f2 -> tags_10 [label="tags"]
	f2 -> returns_11 [label="returns"]
	f2 -> return_12 [label="body"]
	return_12 -> list_13 [label="expr"]
	list_13 -> number_literal_14 [label="entry #0"]
	list_13 -> number_literal_15 [label="entry #1"]
	contract -> f3 [label="function"]
	f3 -> tags_17 [label="tags"]
	f3 -> returns_18 [label="returns"]
	f3 -> return_19 [label="body"]
	return_19 -> list_20 [label="expr"]
	list_20 -> number_literal_21 [label="entry #0"]
	list_20 -> number_literal_22 [label="entry #1"]
	contract -> f4 [label="function"]
	f4 -> returns_24 [label="returns"]
	f4 -> return_25 [label="body"]
	return_25 -> list_26 [label="expr"]
	list_26 -> number_literal_27 [label="entry #0"]
	list_26 -> number_literal_28 [label="entry #1"]
	contract -> f5 [label="function"]
	f5 -> tags_30 [label="tags"]
	f5 -> returns_31 [label="returns"]
	f5 -> return_32 [label="body"]
	return_32 -> list_33 [label="expr"]
	list_33 -> number_literal_34 [label="entry #0"]
	list_33 -> number_literal_35 [label="entry #1"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_38 [label="Error"]
	diagnostics -> diagnostic_39 [label="Error"]
	diagnostics -> diagnostic_40 [label="Error"]
}
