strict digraph "tests/contract_testcases/substrate/yul/unreachable_after_asm.sol" {
	contract [label="contract testTypes\ntests/contract_testcases/substrate/yul/unreachable_after_asm.sol:1:1-14:2"]
	var [label="variable b\nvisibility internal\ntests/contract_testcases/substrate/yul/unreachable_after_asm.sol:2:5-14"]
	testAsm [label="function testAsm\ncontract: testTypes\ntests/contract_testcases/substrate/yul/unreachable_after_asm.sol:3:5-51\nsignature testAsm(uint128[])\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\nuint128[] vl"]
	diagnostic [label="found contract 'testTypes'\nlevel Debug\ntests/contract_testcases/substrate/yul/unreachable_after_asm.sol:1:1-14:2"]
	diagnostic_7 [label="flag 'memory-safe' not supported\nlevel Error\ntests/contract_testcases/substrate/yul/unreachable_after_asm.sol:5:19-32"]
	diagnostic_8 [label="flag 'meh' not supported\nlevel Error\ntests/contract_testcases/substrate/yul/unreachable_after_asm.sol:5:34-39"]
	diagnostic_9 [label="unreachable statement\nlevel Error\ntests/contract_testcases/substrate/yul/unreachable_after_asm.sol:10:9-12:10"]
	contracts -> contract
	contract -> var [label="variable"]
	contract -> testAsm [label="function"]
	testAsm -> parameters [label="parameters"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_7 [label="Error"]
	diagnostics -> diagnostic_8 [label="Error"]
	diagnostics -> diagnostic_9 [label="Error"]
}
