cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Syntax Tests: extract array_length_* tests.

Browse Source
This commit is contained in:
Daniel Kirchner 2018-04-11 18:01:01 +02:00
parent d50d1f0ac1
commit fdcbf1337a
20 changed files with 117 additions and 165 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

165
test/libsolidity/SolidityNameAndTypeResolution.cpp
View File

@ -7720,171 +7720,6 @@ BOOST_AUTO_TEST_CASE(address_overload_resolution)
CHECK_SUCCESS(text);
}
BOOST_AUTO_TEST_CASE(array_length_too_large)
{
char const* text = R"(
contract C {
uint[8**90] ids;
}
)";
CHECK_ERROR(text, TypeError, "Invalid array length, expected integer literal or constant expression.");
}
BOOST_AUTO_TEST_CASE(array_length_not_convertible_to_integer)
{
char const* text = R"(
contract C {
uint[true] ids;
}
)";
CHECK_ERROR(text, TypeError, "Invalid array length, expected integer literal or constant expression.");
}
BOOST_AUTO_TEST_CASE(array_length_constant_var)
{
char const* text = R"(
contract C {
uint constant LEN = 10;
uint[LEN] ids;
}
)";
CHECK_SUCCESS(text);
}
BOOST_AUTO_TEST_CASE(array_length_non_integer_constant_var)
{
char const* text = R"(
contract C {
bool constant LEN = true;
uint[LEN] ids;
}
)";
CHECK_ERROR(text, TypeError, "Invalid array length, expected integer literal or constant expression.");
}
BOOST_AUTO_TEST_CASE(array_length_cannot_be_function)
{
char const* text = R"(
contract C {
function f() {}
uint[f] ids;
}
)";
CHECK_ERROR(text, TypeError, "Invalid array length, expected integer literal or constant expression.");
}
BOOST_AUTO_TEST_CASE(array_length_can_be_recursive_constant)
{
char const* text = R"(
contract C {
uint constant L = 5;
uint constant LEN = L + 4 * L;
uint[LEN] ids;
}
)";
CHECK_SUCCESS(text);
}
BOOST_AUTO_TEST_CASE(array_length_cannot_be_function_call)
{
char const* text = R"(
contract C {
function f(uint x) {}
uint constant LEN = f();
uint[LEN] ids;
}
)";
CHECK_ERROR(text, TypeError, "Invalid array length, expected integer literal or constant expression.");
}
BOOST_AUTO_TEST_CASE(array_length_const_cannot_be_fractional)
{
char const* text = R"(
contract C {
fixed constant L = 10.5;
uint[L] ids;
}
)";
CHECK_ERROR(text, TypeError, "Array with fractional length specified");
}
BOOST_AUTO_TEST_CASE(array_length_can_be_constant_in_struct)
{
char const* text = R"(
contract C {
uint constant LEN = 10;
struct Test {
uint[LEN] ids;
}
}
)";
CHECK_SUCCESS(text);
}
BOOST_AUTO_TEST_CASE(array_length_can_be_constant_in_function)
{
char const* text = R"(
contract C {
uint constant LEN = 10;
function f() {
uint[LEN] a;
}
}
)";
CHECK_SUCCESS(text);
}
BOOST_AUTO_TEST_CASE(array_length_cannot_be_constant_function_parameter)
{
char const* text = R"(
contract C {
function f(uint constant LEN) {
uint[LEN] a;
}
}
)";
CHECK_ERROR(text, TypeError, "Invalid array length, expected integer literal or constant expression.");
}
BOOST_AUTO_TEST_CASE(array_length_with_cyclic_constant)
{
char const* text = R"(
contract C {
uint constant LEN = LEN;
function f() {
uint[LEN] a;
}
}
)";
CHECK_ERROR(text, TypeError, "Cyclic constant definition (or maximum recursion depth exhausted).");
}
BOOST_AUTO_TEST_CASE(array_length_with_complex_cyclic_constant)
{
char const* text = R"(
contract C {
uint constant L2 = LEN - 10;
uint constant L1 = L2 / 10;
uint constant LEN = 10 + L1 * 5;
function f() {
uint[LEN] a;
}
}
)";
CHECK_ERROR(text, TypeError, "Cyclic constant definition (or maximum recursion depth exhausted).");
}
BOOST_AUTO_TEST_CASE(array_length_with_pure_functions)
{
char const* text = R"(
contract C {
uint constant LEN = keccak256(ripemd160(33));
uint[LEN] ids;
}
)";
CHECK_ERROR(text, TypeError, "Invalid array length, expected integer literal or constant expression.");
}
BOOST_AUTO_TEST_CASE(array_length_invalid_expression)
{
char const* text = R"(

7
test/libsolidity/syntaxTests/arrayLength/array_length_cannot_be_constant_function_parameter.sol Normal file
View File

@ -0,0 +1,7 @@
contract C {
function f(uint constant LEN) {
uint[LEN] a;
}
}
// ----
// TypeError: (62-65): Invalid array length, expected integer literal or constant expression.

8
test/libsolidity/syntaxTests/arrayLength/can_be_constant_in_function.sol Normal file
View File

@ -0,0 +1,8 @@
contract C {
uint constant LEN = 10;
function f() public pure {
uint[LEN] memory a;
a;
}
}
// ----

7
test/libsolidity/syntaxTests/arrayLength/can_be_constant_in_struct.sol Normal file
View File

@ -0,0 +1,7 @@
contract C {
uint constant LEN = 10;
struct Test {
uint[LEN] ids;
}
}
// ----

6
test/libsolidity/syntaxTests/arrayLength/can_be_recursive_constant.sol Normal file
View File

@ -0,0 +1,6 @@
contract C {
uint constant L = 5;
uint constant LEN = L + 4 * L;
uint[LEN] ids;
}
// ----

6
test/libsolidity/syntaxTests/arrayLength/cannot_be_function.sol Normal file
View File

@ -0,0 +1,6 @@
contract C {
function f() {}
uint[f] ids;
}
// ----
// TypeError: (42-43): Invalid array length, expected integer literal or constant expression.

7
test/libsolidity/syntaxTests/arrayLength/cannot_be_function_call.sol Normal file
View File

@ -0,0 +1,7 @@
contract C {
function f(uint x) {}
uint constant LEN = f();
uint[LEN] ids;
}
// ----
// TypeError: (77-80): Invalid array length, expected integer literal or constant expression.

10
test/libsolidity/syntaxTests/arrayLength/complex_cyclic_constant.sol Normal file
View File

@ -0,0 +1,10 @@
contract C {
uint constant L2 = LEN - 10;
uint constant L1 = L2 / 10;
uint constant LEN = 10 + L1 * 5;
function f() {
uint[LEN] a;
}
}
// ----
// TypeError: (36-39): Cyclic constant definition (or maximum recursion depth exhausted).

6
test/libsolidity/syntaxTests/arrayLength/const_cannot_be_fractional.sol Normal file
View File

@ -0,0 +1,6 @@
contract C {
fixed constant L = 10.5;
uint[L] ids;
}
// ----
// TypeError: (51-52): Array with fractional length specified.

5
test/libsolidity/syntaxTests/arrayLength/constant_var.sol Normal file
View File

@ -0,0 +1,5 @@
contract C {
uint constant LEN = 10;
uint[LEN] ids;
}
// ----

8
test/libsolidity/syntaxTests/arrayLength/cyclic_constant.sol Normal file
View File

@ -0,0 +1,8 @@
contract C {
uint constant LEN = LEN;
function f() {
uint[LEN] a;
}
}
// ----
// TypeError: (37-40): Cyclic constant definition (or maximum recursion depth exhausted).

5
test/libsolidity/syntaxTests/arrayLength/invalid_expression_1.sol Normal file
View File

@ -0,0 +1,5 @@
contract C {
uint[-true] ids;
}
// ----
// TypeError: (22-27): Invalid array length, expected integer literal or constant expression.

5
test/libsolidity/syntaxTests/arrayLength/invalid_expression_2.sol Normal file
View File

@ -0,0 +1,5 @@
contract C {
uint[true/1] ids;
}
// ----
// TypeError: (22-28): Invalid array length, expected integer literal or constant expression.

5
test/libsolidity/syntaxTests/arrayLength/invalid_expression_3.sol Normal file
View File

@ -0,0 +1,5 @@
contract C {
uint[1/true] ids;
}
// ----
// TypeError: (22-28): Invalid array length, expected integer literal or constant expression.

5
test/libsolidity/syntaxTests/arrayLength/invalid_expression_4.sol Normal file
View File

@ -0,0 +1,5 @@
contract C {
uint[1.111111E1111111111111] ids;
}
// ----
// TypeError: (22-44): Invalid array length, expected integer literal or constant expression.

5
test/libsolidity/syntaxTests/arrayLength/invalid_expression_5.sol Normal file
View File

@ -0,0 +1,5 @@
contract C {
uint[3/0] ids;
}
// ----
// TypeError: (22-25): Operator / not compatible with types int_const 3 and int_const 0

6
test/libsolidity/syntaxTests/arrayLength/non_integer_constant_var.sol Normal file
View File

@ -0,0 +1,6 @@
contract C {
bool constant LEN = true;
uint[LEN] ids;
}
// ----
// TypeError: (52-55): Invalid array length, expected integer literal or constant expression.

5
test/libsolidity/syntaxTests/arrayLength/not_convertible_to_integer.sol Normal file
View File

@ -0,0 +1,5 @@
contract C {
uint[true] ids;
}
// ----
// TypeError: (22-26): Invalid array length, expected integer literal or constant expression.

6
test/libsolidity/syntaxTests/arrayLength/pure_functions.sol Normal file
View File

@ -0,0 +1,6 @@
contract C {
uint constant LEN = keccak256(ripemd160(33));
uint[LEN] ids;
}
// ----
// TypeError: (72-75): Invalid array length, expected integer literal or constant expression.

5
test/libsolidity/syntaxTests/arrayLength/too_large.sol Normal file
View File

@ -0,0 +1,5 @@
contract C {
uint[8**90] ids;
}
// ----
// TypeError: (22-27): Invalid array length, expected integer literal or constant expression.