From 1dbf2d19238068c19ef369e6fa2fb1b2f8ab1d13 Mon Sep 17 00:00:00 2001 From: Alex Beregszaszi Date: Tue, 24 Jul 2018 00:19:12 +0100 Subject: Add comprehensive syntax tests for indexed access --- .../syntaxTests/indexing/array_out_of_bounds_index.sol | 8 ++++++++ test/libsolidity/syntaxTests/indexing/array_without_index.sol | 8 ++++++++ .../syntaxTests/indexing/fixedbytes_out_of_bounds_index.sol | 8 ++++++++ .../libsolidity/syntaxTests/indexing/fixedbytes_without_index.sol | 8 ++++++++ test/libsolidity/syntaxTests/indexing/function_type.sol | 7 +++++++ .../syntaxTests/indexing/function_type_without_index.sol | 7 +++++++ 6 files changed, 46 insertions(+) create mode 100644 test/libsolidity/syntaxTests/indexing/array_out_of_bounds_index.sol create mode 100644 test/libsolidity/syntaxTests/indexing/array_without_index.sol create mode 100644 test/libsolidity/syntaxTests/indexing/fixedbytes_out_of_bounds_index.sol create mode 100644 test/libsolidity/syntaxTests/indexing/fixedbytes_without_index.sol create mode 100644 test/libsolidity/syntaxTests/indexing/function_type.sol create mode 100644 test/libsolidity/syntaxTests/indexing/function_type_without_index.sol (limited to 'test/libsolidity') diff --git a/test/libsolidity/syntaxTests/indexing/array_out_of_bounds_index.sol b/test/libsolidity/syntaxTests/indexing/array_out_of_bounds_index.sol new file mode 100644 index 00000000..b0079857 --- /dev/null +++ b/test/libsolidity/syntaxTests/indexing/array_out_of_bounds_index.sol @@ -0,0 +1,8 @@ +contract C { + function f() public { + bytes[32] memory a; + a[64]; + } +} +// ---- +// TypeError: (65-70): Out of bounds array access. diff --git a/test/libsolidity/syntaxTests/indexing/array_without_index.sol b/test/libsolidity/syntaxTests/indexing/array_without_index.sol new file mode 100644 index 00000000..6b1c2778 --- /dev/null +++ b/test/libsolidity/syntaxTests/indexing/array_without_index.sol @@ -0,0 +1,8 @@ +contract C { + function f() public { + bytes memory a; + a[]; + } +} +// ---- +// TypeError: (61-64): Index expression cannot be omitted. diff --git a/test/libsolidity/syntaxTests/indexing/fixedbytes_out_of_bounds_index.sol b/test/libsolidity/syntaxTests/indexing/fixedbytes_out_of_bounds_index.sol new file mode 100644 index 00000000..8264a8b2 --- /dev/null +++ b/test/libsolidity/syntaxTests/indexing/fixedbytes_out_of_bounds_index.sol @@ -0,0 +1,8 @@ +contract C { + function f() public { + bytes32 b; + b[64]; + } +} +// ---- +// TypeError: (56-61): Out of bounds array access. diff --git a/test/libsolidity/syntaxTests/indexing/fixedbytes_without_index.sol b/test/libsolidity/syntaxTests/indexing/fixedbytes_without_index.sol new file mode 100644 index 00000000..979ac8a7 --- /dev/null +++ b/test/libsolidity/syntaxTests/indexing/fixedbytes_without_index.sol @@ -0,0 +1,8 @@ +contract C { + function f() public { + bytes32 b; + b[]; + } +} +// ---- +// TypeError: (56-59): Index expression cannot be omitted. diff --git a/test/libsolidity/syntaxTests/indexing/function_type.sol b/test/libsolidity/syntaxTests/indexing/function_type.sol new file mode 100644 index 00000000..6c6c06a9 --- /dev/null +++ b/test/libsolidity/syntaxTests/indexing/function_type.sol @@ -0,0 +1,7 @@ +contract C { + function f() public { + f[0]; + } +} +// ---- +// TypeError: (41-42): Indexed expression has to be a type, mapping or array (is function ()) diff --git a/test/libsolidity/syntaxTests/indexing/function_type_without_index.sol b/test/libsolidity/syntaxTests/indexing/function_type_without_index.sol new file mode 100644 index 00000000..bf511bc9 --- /dev/null +++ b/test/libsolidity/syntaxTests/indexing/function_type_without_index.sol @@ -0,0 +1,7 @@ +contract C { + function f() public { + f[]; + } +} +// ---- +// TypeError: (41-42): Indexed expression has to be a type, mapping or array (is function ()) -- cgit