| 1234567891011121314151617181920212223242526272829303132 |
- strict digraph "tests/contract_testcases/solana/large_exponent.sol" {
- contract [label="contract C\ntests/contract_testcases/solana/large_exponent.sol:1:1-16:2"]
- var [label="variable a\nvisibility internal\nconstant\nint256\ntests/contract_testcases/solana/large_exponent.sol:2:6-31"]
- number_literal [label="int256 literal: 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\ntests/contract_testcases/solana/large_exponent.sol:2:26-31"]
- var_4 [label="variable b\nvisibility internal\nconstant\nint256\ntests/contract_testcases/solana/large_exponent.sol:3:6-34"]
- var_5 [label="variable c\nvisibility internal\nconstant\nint256\ntests/contract_testcases/solana/large_exponent.sol:4:6-33"]
- f [label="function f\ncontract: C\ntests/contract_testcases/solana/large_exponent.sol:5:6-26\nsignature f()\nvisibility private\nmutability nonpayable"]
- inline_assembly [label="inline assembly\ntests/contract_testcases/solana/large_exponent.sol:6:2-8:3"]
- g [label="function g\ncontract: C\ntests/contract_testcases/solana/large_exponent.sol:10:6-26\nsignature g()\nvisibility private\nmutability nonpayable"]
- inline_assembly_9 [label="inline assembly\ntests/contract_testcases/solana/large_exponent.sol:11:2-13:3"]
- diagnostic [label="found contract 'C'\nlevel Debug\ntests/contract_testcases/solana/large_exponent.sol:1:1-16:2"]
- diagnostic_12 [label="value 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 does not fit into type int256.\nlevel Error\ntests/contract_testcases/solana/large_exponent.sol:2:26-31"]
- diagnostic_13 [label="exponent '-65535' too large\nlevel Error\ntests/contract_testcases/solana/large_exponent.sol:3:26-34"]
- diagnostic_14 [label="exponent '65537' too large\nlevel Error\ntests/contract_testcases/solana/large_exponent.sol:4:26-33"]
- diagnostic_15 [label="exponent '65537' too large\nlevel Error\ntests/contract_testcases/solana/large_exponent.sol:7:12-19"]
- diagnostic_16 [label="rational numbers not permitted\nlevel Error\ntests/contract_testcases/solana/large_exponent.sol:12:12-16"]
- contracts -> contract
- contract -> var [label="variable"]
- var -> number_literal [label="initializer"]
- contract -> var_4 [label="variable"]
- contract -> var_5 [label="variable"]
- contract -> f [label="function"]
- f -> inline_assembly [label="body"]
- contract -> g [label="function"]
- g -> inline_assembly_9 [label="body"]
- diagnostics -> diagnostic [label="Debug"]
- diagnostics -> diagnostic_12 [label="Error"]
- diagnostics -> diagnostic_13 [label="Error"]
- diagnostics -> diagnostic_14 [label="Error"]
- diagnostics -> diagnostic_15 [label="Error"]
- diagnostics -> diagnostic_16 [label="Error"]
- }
|