large_exponent.dot 3.0 KB

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