Merge pull request #4554 from ethereum/indexing-tests

Add comprehensive syntax tests for indexed access

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.

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.

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.

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.

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 ())

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 ())