solang
solang copied to clipboard
Solidity Compiler for Solana and Polkadot
Version: v0.3.3: Atlantis Description: The statement **_map[1] = 2;** will cause an execution error. ```solidity contract test { mapping(uint name1 => mapping(uint name2 => uint name3) name4) map; function main()...
Version: v0.3.3: Atlantis Description: When assigning a storage variable to a memory variable, accessing the memory variable will cause an error. Specifically, **return (m[0][0], m[0][3]);** causes an execution error. However,...
Version: v0.3.3: Atlantis Description: solc+EVM returns 1, but solang+SVM returns 0. ```solidity contract C { function f() public pure returns (uint8 x) { unchecked { return uint8(0)**uint8(uint8(2)**uint8(8)); } } }...
Version: v0.3.3: Atlantis Description: **s2** is a recursive struct, and **inner.recursive[0].z = inner.recursive[1].z + 1;** causes the program to throw an error. However, solc+EVM can execute it successfully. ```solidity contract...
Version: v0.3.3: Atlantis Description: The array arr is not initialized, yet when accessing arr[1], the program executes successfully. However, if this code is run in solc+EVM, it will throw an...
Version: v0.3.3: Atlantis Description: If **_data.slot := slot** is commented out, the error does not occur. ```solidity contract C { struct S { uint a; uint b; } mapping(uint =>...
Version: v0.3.3: Atlantis Description: abi.decode will cause the program to throw an execution error. If I comment out abi.decode, the program runs normally. ```solidity contract test { uint[2][] public originalData;...
This PR adds support for user-defined constructors in Soroban, specifically for constructors with no arguments. Note that constructors with arguments are not yet supported (see comments for details). Part of...
Version: v0.3.3: Atlantis Description: After the assignment (m[0], m[1], m[2]) = (1, x, 3);, returning m[0]; causes an error. However, m[0] = 1 works fine. ```solidity contract C { uint...
Version: v0.3.3: Atlantis ```solidity contract C { function f() public pure returns (bool ret) { return f == f; } } ``` ``` (base) root@inplus-MS-7885:/mnt/sdd1/sbw/crossCompilerFuzz# solang compile --target solana test.sol...