strict digraph "tests/contract_testcases/solana/contract_var_base_function_init.sol" {
	contract [label="contract b\ntests/contract_testcases/solana/contract_var_base_function_init.sol:1:1-5:2"]
	testPtr [label="function testPtr\ncontract: b\ntests/contract_testcases/solana/contract_var_base_function_init.sol:2:5-54\nsignature testPtr(int256)\nvisibility public\nmutability pure"]
	parameters [label="parameters\nint256 a"]
	returns [label="returns\nint256 "]
	return [label="return\ntests/contract_testcases/solana/contract_var_base_function_init.sol:3:9-19"]
	divide [label="divide\nint256\ntests/contract_testcases/solana/contract_var_base_function_init.sol:3:16-19"]
	variable [label="variable: a\nint256\ntests/contract_testcases/solana/contract_var_base_function_init.sol:3:16-17"]
	number_literal [label="int256 literal: 2\ntests/contract_testcases/solana/contract_var_base_function_init.sol:3:18-19"]
	contract_9 [label="contract testing\ntests/contract_testcases/solana/contract_var_base_function_init.sol:7:1-10:2"]
	base [label="base b\ntests/contract_testcases/solana/contract_var_base_function_init.sol:7:21-22"]
	var [label="variable sfPtr\nvisibility internal\ntests/contract_testcases/solana/contract_var_base_function_init.sol:8:5-67"]
	cast [label="cast function(int256) external pure returns (int256)\ntests/contract_testcases/solana/contract_var_base_function_init.sol:8:55-67"]
	external_function [label="function(int256) external pure returns (int256)\nb.testPtr\ntests/contract_testcases/solana/contract_var_base_function_init.sol:8:60-67"]
	builtins [label="builtin GetAddress\ntests/contract_testcases/solana/contract_var_base_function_init.sol:8:55-59"]
	var_15 [label="variable sgPtr\nvisibility internal\ntests/contract_testcases/solana/contract_var_base_function_init.sol:9:5-62"]
	cast_16 [label="cast function(int256) internal pure returns (int256)\ntests/contract_testcases/solana/contract_var_base_function_init.sol:9:55-62"]
	internal_function [label="function(int256) internal pure returns (int256)\nb.testPtr\ntests/contract_testcases/solana/contract_var_base_function_init.sol:9:55-62"]
	diagnostic [label="found contract 'b'\nlevel Debug\ntests/contract_testcases/solana/contract_var_base_function_init.sol:1:1-5:2"]
	diagnostic_20 [label="found contract 'testing'\nlevel Debug\ntests/contract_testcases/solana/contract_var_base_function_init.sol:7:1-10:2"]
	diagnostic_21 [label="storage variable 'sfPtr' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/contract_var_base_function_init.sol:8:5-67"]
	diagnostic_22 [label="storage variable 'sgPtr' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/contract_var_base_function_init.sol:9:5-62"]
	contracts -> contract
	contract -> testPtr [label="function"]
	testPtr -> parameters [label="parameters"]
	testPtr -> returns [label="returns"]
	testPtr -> return [label="body"]
	return -> divide [label="expr"]
	divide -> variable [label="left"]
	divide -> number_literal [label="right"]
	contracts -> contract_9
	contract_9 -> base [label="base"]
	contract_9 -> var [label="variable"]
	var -> cast [label="initializer"]
	cast -> external_function [label="expr"]
	external_function -> builtins [label="address"]
	contract_9 -> var_15 [label="variable"]
	var_15 -> cast_16 [label="initializer"]
	cast_16 -> internal_function [label="expr"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_20 [label="Debug"]
	diagnostics -> diagnostic_21 [label="Warning"]
	diagnostics -> diagnostic_22 [label="Warning"]
}
