Add and update tests.

rodiazet · rodiazet · commit 853727874b87 · 2026-02-05T10:21:38.000+01:00
diff --git a/test/libsolidity/syntaxTests/array/contract_index_access.sol b/test/libsolidity/syntaxTests/array/contract_index_access.sol
@@ -1,8 +1,7 @@
 contract C {
-    function f() view public {
-        C[0];
+    function f() pure public {
+        C[1];
     }
 }
 // ----
 // Warning 6133: (52-56): Statement has no effect.
-// Warning 2018: (17-63): Function state mutability can be restricted to pure
diff --git a/test/libsolidity/syntaxTests/array/interface_index_access.sol b/test/libsolidity/syntaxTests/array/interface_index_access.sol
@@ -0,0 +1,9 @@
+interface I {}
+
+library L {
+    function f() pure public {
+        I[1];
+    }
+}
+// ----
+// Warning 6133: (67-71): Statement has no effect.
diff --git a/test/libsolidity/syntaxTests/array/invalid/abi_decode_zero_length_array_type.sol b/test/libsolidity/syntaxTests/array/invalid/abi_decode_zero_length_array_type.sol
@@ -0,0 +1,33 @@
+contract C {
+    function f0() public {
+        abi.decode("", (int[0]));
+    }
+
+    function f1() public {
+        abi.decode("", (int[0][]));
+    }
+
+    function f2() public {
+        abi.decode("", (int[][0]));
+    }
+
+    function f3() public {
+        abi.decode("", (int[][0][]));
+    }
+
+    function f4() public {
+        abi.decode("", (int[][][0]));
+    }
+
+    struct S { uint t; }
+    function f5() public {
+        abi.decode("", (S[][][0]));
+    }
+}
+// ----
+// TypeError 1406: (68-69): Array with zero length specified.
+// TypeError 1406: (136-137): Array with zero length specified.
+// TypeError 1406: (208-209): Array with zero length specified.
+// TypeError 1406: (278-279): Array with zero length specified.
+// TypeError 1406: (352-353): Array with zero length specified.
+// TypeError 1406: (447-448): Array with zero length specified.
diff --git a/test/libsolidity/syntaxTests/array/invalid/abi_encode_decode_zero_length_array_type.sol b/test/libsolidity/syntaxTests/array/invalid/abi_encode_decode_zero_length_array_type.sol
@@ -0,0 +1,7 @@
+contract C {
+    function f() public returns (bytes memory) {
+        return abi.encode(abi.decode("", (int[0])));
+    }
+}
+// ----
+// TypeError 1406: (108-109): Array with zero length specified.
diff --git a/test/libsolidity/syntaxTests/array/invalid/contract_zero_index_access.sol b/test/libsolidity/syntaxTests/array/invalid/contract_zero_index_access.sol
@@ -0,0 +1,7 @@
+contract C {
+    function f() view public {
+        C[0];
+    }
+}
+// ----
+// TypeError 1406: (54-55): Array with zero length specified.
diff --git a/test/libsolidity/syntaxTests/array/invalid/interface_zero_index_access.sol b/test/libsolidity/syntaxTests/array/invalid/interface_zero_index_access.sol
@@ -0,0 +1,9 @@
+interface I {}
+
+contract C {
+    function f() view public {
+        I[0];
+    }
+}
+// ----
+// TypeError 1406: (70-71): Array with zero length specified.
diff --git a/test/libsolidity/syntaxTests/array/invalid/library_index_access.sol b/test/libsolidity/syntaxTests/array/invalid/library_index_access.sol
@@ -1,6 +1,6 @@
-library C {
+library L {
     function f() view public {
-        C[0];
+        L[1];
     }
 }
 // ----
diff --git a/test/libsolidity/syntaxTests/array/invalid/library_zero_index_access.sol b/test/libsolidity/syntaxTests/array/invalid/library_zero_index_access.sol
@@ -0,0 +1,8 @@
+library L {
+    function f() view public {
+        L[0];
+    }
+}
+// ----
+// TypeError 2876: (51-55): Index access for library types and arrays of libraries are not possible.
+// TypeError 1406: (53-54): Array with zero length specified.
diff --git a/test/libsolidity/syntaxTests/array/invalid/super_index_access.sol b/test/libsolidity/syntaxTests/array/invalid/super_index_access.sol
@@ -0,0 +1,10 @@
+contract B {
+}
+
+contract C is B {
+    function f(bool[] calldata dd) pure public {
+        super[1];
+    }
+}
+// ----
+// TypeError 5530: (91-99): Index notation is not allowed for type.
diff --git a/test/libsolidity/syntaxTests/array/length/fixed_size_zero_length.sol b/test/libsolidity/syntaxTests/array/length/fixed_size_zero_length.sol
@@ -1,15 +1,53 @@
+struct S { uint[0] x; }
+
+error Err(uint[0]);
+event Ev(uint[0]);
+
 contract C {
-  int[0] a;
-  uint[0] b;
-  bytes1[0] c;
-  bytes32[0] d;
-  bytes[0] e;
-  string[0] f;
+    int[0] a;
+    uint[0] b;
+    bytes1[0] c;
+    bytes32[0] d;
+    bytes[0] e;
+    string[0] f;
+    mapping(int => int[0]) m;
+    function() returns (uint[0] memory) fPtr;
+
+    function foo () private pure {
+        uint[0] storage x;
+    }
+
+    function foo (uint[0] memory fArg) private pure returns(uint[0] memory)  {
+        fArg;
+    }
+
+    function tup() private pure {
+        (uint[0] memory aTup, uint bTup) = ([], 1);
+    }
+
+    function cat() private pure {
+        try this.g() returns (uint[0] memory) {} catch (bytes memory bCatch) {}
+    }
+
+    function array_alloc() private pure {
+        new uint[0][](3);
+    }
 }
 // ----
-// TypeError 1406: (19-20): Array with zero length specified.
-// TypeError 1406: (32-33): Array with zero length specified.
-// TypeError 1406: (47-48): Array with zero length specified.
-// TypeError 1406: (63-64): Array with zero length specified.
-// TypeError 1406: (77-78): Array with zero length specified.
-// TypeError 1406: (92-93): Array with zero length specified.
+// TypeError 1406: (16-17): Array with zero length specified.
+// TypeError 1406: (40-41): Array with zero length specified.
+// TypeError 1406: (59-60): Array with zero length specified.
+// TypeError 1406: (86-87): Array with zero length specified.
+// TypeError 1406: (101-102): Array with zero length specified.
+// TypeError 1406: (118-119): Array with zero length specified.
+// TypeError 1406: (136-137): Array with zero length specified.
+// TypeError 1406: (152-153): Array with zero length specified.
+// TypeError 1406: (169-170): Array with zero length specified.
+// TypeError 1406: (198-199): Array with zero length specified.
+// TypeError 1406: (234-235): Array with zero length specified.
+// TypeError 1406: (300-301): Array with zero length specified.
+// TypeError 1406: (344-345): Array with zero length specified.
+// TypeError 1406: (386-387): Array with zero length specified.
+// TypeError 1406: (469-470): Array with zero length specified.
+// TypeError 1406: (583-584): Array with zero length specified.
+// TypeError 1406: (694-695): Array with zero length specified.
diff --git a/test/libsolidity/syntaxTests/array/length/fixed_size_zero_length_in_conditional.sol b/test/libsolidity/syntaxTests/array/length/fixed_size_zero_length_in_conditional.sol
@@ -0,0 +1,10 @@
+contract C {
+    function conditional() private pure {
+        true ? uint[0] : uint[0];
+    }
+}
+// ----
+// TypeError 1406: (75-76): Array with zero length specified.
+// TypeError 1406: (85-86): Array with zero length specified.
+// TypeError 9717: (70-77): Invalid mobile type in true expression.
+// TypeError 3703: (80-87): Invalid mobile type in false expression.
diff --git a/test/libsolidity/syntaxTests/array/length/fixed_size_zero_length_in_type.sol b/test/libsolidity/syntaxTests/array/length/fixed_size_zero_length_in_type.sol
@@ -0,0 +1,8 @@
+contract C {
+    function others() private pure {
+        type(uint[0]);
+    }
+}
+// ----
+// TypeError 1406: (68-69): Array with zero length specified.
+// TypeError 4259: (63-70): Invalid type for argument in the function call. An enum type, contract type or an integer type is required, but type(uint256[0] memory) provided.
diff --git a/test/libsolidity/syntaxTests/array/length/fixed_size_zero_length_inline_array.sol b/test/libsolidity/syntaxTests/array/length/fixed_size_zero_length_inline_array.sol
@@ -0,0 +1,8 @@
+contract C {
+    function others() private pure {
+        [uint[0]][0];
+    }
+}
+// ----
+// TypeError 1406: (64-65): Array with zero length specified.
+// TypeError 9563: (59-66): Invalid mobile type.
diff --git a/test/libsolidity/syntaxTests/array/type_type_index_expression.sol b/test/libsolidity/syntaxTests/array/type_type_index_expression.sol
@@ -0,0 +1,27 @@
+type MyInt is int;
+struct S { uint i; }
+enum E { ONE, TWO }
+
+contract C {
+    function f() pure public {
+        MyInt[1];
+        address[1];
+        int[1];
+        bytes1[1];
+        S[1];
+        S[1][1];
+        E[1];
+        bool[1];
+        C[1];
+    }
+}
+// ----
+// Warning 6133: (113-121): Statement has no effect.
+// Warning 6133: (131-141): Statement has no effect.
+// Warning 6133: (151-157): Statement has no effect.
+// Warning 6133: (167-176): Statement has no effect.
+// Warning 6133: (186-190): Statement has no effect.
+// Warning 6133: (200-207): Statement has no effect.
+// Warning 6133: (217-221): Statement has no effect.
+// Warning 6133: (231-238): Statement has no effect.
+// Warning 6133: (248-252): Statement has no effect.
diff --git a/test/libsolidity/syntaxTests/indexing/struct_array_noninteger_index.sol b/test/libsolidity/syntaxTests/indexing/struct_array_noninteger_index.sol
@@ -7,4 +7,4 @@ contract test {
 }
 
 // ----
-// TypeError 7407: (106-246): Type int_const 7555...(132 digits omitted)...5555 is not implicitly convertible to expected type uint256. Literal is too large to fit in uint256.
+// TypeError 1847: (106-246): Array length too large, maximum is 2**256 - 1.
diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/366_invalid_array_as_statement.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/366_invalid_array_as_statement.sol
@@ -3,4 +3,4 @@ contract test {
     constructor(uint k) { S[k]; }
 }
 // ----
-// TypeError 3940: (69-70): Integer constant expected.
+// TypeError 5462: (69-70): Invalid array length, expected integer literal or constant expression.

Original file line number	Diff line number	Diff line change
`@@ -1,8 +1,7 @@`
`1`	`1`	`contract C {`
`2`		`- function f() view public {`
`3`		`- C[0];`
	`2`	`+ function f() pure public {`
	`3`	`+ C[1];`
`4`	`4`	`}`
`5`	`5`	`}`
`6`	`6`	`// ----`
`7`	`7`	`// Warning 6133: (52-56): Statement has no effect.`
`8`		`-// Warning 2018: (17-63): Function state mutability can be restricted to pure`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`		`-library C {`
	`1`	`+library L {`
`2`	`2`	`function f() view public {`
`3`		`- C[0];`
	`3`	`+ L[1];`
`4`	`4`	`}`
`5`	`5`	`}`
`6`	`6`	`// ----`