Add comprehensive tests for invalid array indexing

test/libsolidity/syntaxTests/array/length/bytes32_too_large.sol

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

test/libsolidity/syntaxTests/array/length/bytes32_too_large_multidim.sol

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

test/libsolidity/syntaxTests/array/length/parameter_too_large.sol

@@ -0,0 +1,5 @@
+contract C {
+  function f(bytes32[1263941234127518272] memory) public pure {}
+}
+// ----
+// TypeError: (26-61): Array is too large to be encoded.

test/libsolidity/syntaxTests/array/length/parameter_too_large_multidim.sol

@@ -0,0 +1,5 @@
+contract C {
+  function f(bytes32[1263941234127518272][500] memory) public pure {}
+}
+// ----
+// TypeError: (26-61): Array is too large to be encoded.

test/libsolidity/syntaxTests/array/length/uint_too_large_multidim.sol

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

test/libsolidity/syntaxTests/indexing/array_multidim_overflow_index.sol

@@ -0,0 +1,6 @@
+contract C {
+  function f() public {
+    bytes[32] memory a;
+    a[8**90][8**90][1 - 8**90];
+  }
+}

test/libsolidity/syntaxTests/indexing/array_multidim_rational.sol

@@ -0,0 +1,6 @@
+contract C {
+  function f() public {
+    bytes[32] memory a;
+    a[8**90][8**90][8**90*0.1];
+  }
+}

test/libsolidity/syntaxTests/indexing/array_negative_index.sol

@@ -0,0 +1,8 @@
+contract C {
+  function f() public {
+    bytes[32] memory a;
+    a[-1];
+  }
+}
+// ----
+// TypeError: (67-69): Type int_const -1 is not implicitly convertible to expected type uint256.

test/libsolidity/syntaxTests/indexing/array_nontinteger_index.sol

@@ -0,0 +1,8 @@
+contract C {
+  function f() public {
+    bytes[32] memory a;
+    a[888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888];
+  }
+}
+// ----
+// TypeError: (67-178): Type int_const 8888...(103 digits omitted)...8888 is not implicitly convertible to expected type uint256.

test/libsolidity/syntaxTests/indexing/fixedbytes_negative_index.sol

@@ -0,0 +1,9 @@
+contract C {
+  function f() public {
+    bytes32 b;
+    b[-1];
+  }
+}
+// ----
+// TypeError: (58-60): Type int_const -1 is not implicitly convertible to expected type uint256.
+// TypeError: (56-61): Out of bounds array access.

test/libsolidity/syntaxTests/indexing/fixedbytes_noninteger_index.sol

@@ -0,0 +1,8 @@
+contract C {
+  function f() public {
+    bytes32 b;
+    b[888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888];
+  }
+}
+// ----
+// TypeError: (56-61): Out of bounds array access.