argotorg · cameel · Apr 30, 2026 · Feb 19, 2026 · Feb 19, 2026 · Feb 19, 2026
diff --git a/test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_empty_string_v1.sol b/test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_empty_string_v1.sol
diff --git a/test/libsolidity/semanticTests/abiEncodeDecode/offset_overflow_in_array_decoding.sol b/test/libsolidity/semanticTests/abiEncodeDecode/offset_overflow_in_array_decoding.sol
diff --git a/test/libsolidity/semanticTests/abiEncoderV1/abi_decode_static_array_v2.sol b/test/libsolidity/semanticTests/abiEncoderV1/abi_decode_static_array_v2.sol
diff --git a/test/libsolidity/semanticTests/abiEncoderV2/abi_encode_calldata_slice.sol b/test/libsolidity/semanticTests/abiEncoderV2/abi_encode_calldata_slice.sol
diff --git a/test/libsolidity/semanticTests/abiEncoderV2/abi_encode_rational_v2.sol b/test/libsolidity/semanticTests/abiEncoderV2/abi_encode_rational_v2.sol
diff --git a/test/libsolidity/semanticTests/abiEncoderV2/dynamic_arrays.sol b/test/libsolidity/semanticTests/abiEncoderV2/dynamic_arrays.sol
diff --git a/test/libsolidity/semanticTests/abiEncoderV2/memory_params_in_external_function.sol b/test/libsolidity/semanticTests/abiEncoderV2/memory_params_in_external_function.sol
diff --git a/...s/abiEncodeDecode/abi_decode_calldata.sol → ...sts/abicoder/abi_decode_from_calldata.sol b/...s/abiEncodeDecode/abi_decode_calldata.sol → ...sts/abicoder/abi_decode_from_calldata.sol
diff --git a/...abiEncoderV1/abi_decode_dynamic_array.sol → ...bi_decode_from_calldata_dynamic_array.sol b/...abiEncoderV1/abi_decode_dynamic_array.sol → ...bi_decode_from_calldata_dynamic_array.sol
diff --git a/.../abiEncoderV1/abi_decode_static_array.sol → ...abi_decode_from_calldata_static_array.sol b/.../abiEncoderV1/abi_decode_static_array.sol → ...abi_decode_from_calldata_static_array.sol
diff --git a/...s/abiEncoderV1/abi_decode_v2_calldata.sol → ...er/abi_decode_from_calldata_struct_v2.sol b/...s/abiEncoderV1/abi_decode_v2_calldata.sol → ...er/abi_decode_from_calldata_struct_v2.sol
diff --git a/...anticTests/abiEncoderV1/abi_decode_v2.sol → ...oder/abi_decode_from_memory_struct_v2.sol b/...anticTests/abiEncoderV1/abi_decode_v2.sol → ...oder/abi_decode_from_memory_struct_v2.sol
diff --git a/...ts/abiEncoderV1/abi_decode_v2_storage.sol → ...der/abi_decode_from_storage_struct_v2.sol b/...ts/abiEncoderV1/abi_decode_v2_storage.sol → ...der/abi_decode_from_storage_struct_v2.sol
diff --git a/test/libsolidity/semanticTests/abicoder/abi_decode_offset_overflow_in_array.sol b/test/libsolidity/semanticTests/abicoder/abi_decode_offset_overflow_in_array.sol
@@ -0,0 +1,30 @@
+pragma abicoder v2;
+contract Test {
+	struct MemoryUint {
+		uint field;
+	}
+	function test() public pure returns (uint) {
+		uint[] memory before = new uint[](1); // at offset 0x80
+		// Two problems here: The first offset is zero, the second offset is missing.
+		bytes memory corrupt = abi.encode(
+			uint(32), // offset to "tuple"
+			uint(0)   // bogus first element
+		);
+
+		// At this point the free pointer is 0x80 + 64 (size of before) + 32 (length field of corrupt) + 64 (two encoded words)
+		//
+		// Now let's put random junk into memory immediately after the bogus first element. Our goal is to overflow the read pointer to point to before.
+		// The value read out at this point will be added to beginning of the encoded tuple, AKA corrupt + 64. We need then to write x where:
+		// x + 0x80 + 64 (before) + 32 (length of corrupt) + 32 (first word of corrupt) = 0x80 (mod 2^256)
+		// that is MAX_UINT - 128
+		MemoryUint memory afterCorrupt;
+		afterCorrupt.field = uint(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80);
+		before[0] = 123456;
+		uint[][2] memory decoded = abi.decode(corrupt, (uint[][2]));
+		return decoded[1][0];
+	}
+}
+// ====
+// revertStrings: debug
+// ----
+// test() -> FAILURE, hex"08c379a0", 0x20, 43, "ABI decoding: invalid calldata a", "rray stride"
diff --git a/...e/offset_overflow_in_array_decoding_2.sol → ...abi_decode_offset_overflow_in_array_2.sol b/...e/offset_overflow_in_array_decoding_2.sol → ...abi_decode_offset_overflow_in_array_2.sol
@@ -6,23 +6,25 @@ contract Test {
 	}
 	function withinArray() public pure returns (uint) {
 		uint[] memory before = new uint[](1);
-		bytes memory corrupt = abi.encode(uint(32),
-										  uint(2));
+		bytes memory corrupt = abi.encode(
+			uint(32),
+			uint(2)
+		);
 		MemoryTuple memory afterCorrupt;
 		before[0] = 123456;
-		/*
-		  As above, but in this case we are adding to:
-		  0x80 + 64 (before) + 32 (length of corrupt) + 32 (offset) + 32 (field pointer)
-		  giving MAX_UINT - 96
-		*/
+
+		// As above, but in this case we are adding to:
+		// 0x80 + 64 (before) + 32 (length of corrupt) + 32 (offset) + 32 (field pointer)
+		// giving MAX_UINT - 96
 		afterCorrupt.field1 = uint(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60);
 		afterCorrupt.field2 = uint(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60);
 		uint[][] memory decoded = abi.decode(corrupt, (uint[][]));
-		/*
-		  Will return 123456 * 2, AKA before has been copied twice
-		 */
+
+		//Will return 123456 * 2, AKA before has been copied twice
 		return decoded[0][0] + decoded[1][0];
 	}
 }
+// ====
+// revertStrings: debug
 // ----
-// withinArray() -> FAILURE
+// withinArray() -> FAILURE, hex"08c379a0", 0x20, 43, "ABI decoding: invalid calldata a", "rray stride"
diff --git a/...e/offset_overflow_in_array_decoding_3.sol → ...abi_decode_offset_overflow_in_array_3.sol b/...e/offset_overflow_in_array_decoding_3.sol → ...abi_decode_offset_overflow_in_array_3.sol
@@ -6,16 +6,18 @@ contract Test {
 	function test() public pure returns (uint) {
 		uint[] memory before = new uint[](1); // at offset 0x80
 		bytes memory corrupt = abi.encode(
-            uint(32),
-            uint(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80),
-            uint(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80)
-        );
+			uint(32),
+			uint(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80),
+			uint(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80)
+		);
 		MemoryUint memory afterCorrupt;
 		afterCorrupt.field = uint(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80);
 		before[0] = 123456;
 		uint[][2] memory decoded = abi.decode(corrupt, (uint[][2]));
 		return decoded[1][0];
 	}
 }
+// ====
+// revertStrings: debug
 // ----
-// test() -> FAILURE
+// test() -> FAILURE, hex"08c379a0", 0x20, 43, "ABI decoding: invalid calldata a", "rray offset"
diff --git a/...ests/abiEncoderV1/dynamic_memory_copy.sol → ...abi_decode_overlapping_dynamic_arrays.sol b/...ests/abiEncoderV1/dynamic_memory_copy.sol → ...abi_decode_overlapping_dynamic_arrays.sol
diff --git a/...sts/abiEncodeDecode/abi_decode_simple.sol → ...anticTests/abicoder/abi_decode_simple.sol b/...sts/abiEncodeDecode/abi_decode_simple.sol → ...anticTests/abicoder/abi_decode_simple.sol
diff --git a/...ncodeDecode/abi_decode_simple_storage.sol → ...ts/abicoder/abi_decode_simple_storage.sol b/...ncodeDecode/abi_decode_simple_storage.sol → ...ts/abicoder/abi_decode_simple_storage.sol
diff --git a/...manticTests/abiEncoderV1/decode_slice.sol → ...manticTests/abicoder/abi_decode_slice.sol b/...manticTests/abiEncoderV1/decode_slice.sol → ...manticTests/abicoder/abi_decode_slice.sol
diff --git a/...Tests/abiEncoderV1/abi_decode_trivial.sol → ...nticTests/abicoder/abi_decode_trivial.sol b/...Tests/abiEncoderV1/abi_decode_trivial.sol → ...nticTests/abicoder/abi_decode_trivial.sol
diff --git a/...semanticTests/abiEncoderV1/abi_encode.sol → ...ity/semanticTests/abicoder/abi_encode.sol b/...semanticTests/abiEncoderV1/abi_encode.sol → ...ity/semanticTests/abicoder/abi_encode.sol
diff --git a/...ticTests/abiEncoderV1/abi_encode_call.sol → ...emanticTests/abicoder/abi_encode_call.sol b/...ticTests/abiEncoderV1/abi_encode_call.sol → ...emanticTests/abicoder/abi_encode_call.sol
diff --git a/...odeDecode/abi_encode_call_declaration.sol → ...icoder/abi_encode_call_declaration_v2.sol b/...odeDecode/abi_encode_call_declaration.sol → ...icoder/abi_encode_call_declaration_v2.sol
diff --git a/...eDecode/abi_encode_call_is_consistent.sol → ...oder/abi_encode_call_is_consistent_v2.sol b/...eDecode/abi_encode_call_is_consistent.sol → ...oder/abi_encode_call_is_consistent_v2.sol
diff --git a/...biEncodeDecode/abi_encode_call_memory.sol → ...ts/abicoder/abi_encode_call_memory_v2.sol b/...biEncodeDecode/abi_encode_call_memory.sol → ...ts/abicoder/abi_encode_call_memory_v2.sol
diff --git a/...deDecode/abi_encode_call_special_args.sol → ...coder/abi_encode_call_special_args_v2.sol b/...deDecode/abi_encode_call_special_args.sol → ...coder/abi_encode_call_special_args_v2.sol
diff --git a/...codeDecode/abi_encode_call_uint_bytes.sol → ...s/abicoder/abi_encode_call_uint_bytes.sol b/...codeDecode/abi_encode_call_uint_bytes.sol → ...s/abicoder/abi_encode_call_uint_bytes.sol
diff --git a/...Tests/abiEncodeDecode/abi_encode_call.sol → ...nticTests/abicoder/abi_encode_call_v2.sol b/...Tests/abiEncodeDecode/abi_encode_call.sol → ...nticTests/abicoder/abi_encode_call_v2.sol
diff --git a/...biEncoderV1/abi_encode_calldata_slice.sol → ...ts/abicoder/abi_encode_calldata_slice.sol b/...biEncoderV1/abi_encode_calldata_slice.sol → ...ts/abicoder/abi_encode_calldata_slice.sol
diff --git a/...abiEncoderV1/abi_encode_decode_simple.sol → ...sts/abicoder/abi_encode_decode_simple.sol b/...abiEncoderV1/abi_encode_decode_simple.sol → ...sts/abicoder/abi_encode_decode_simple.sol
diff --git a/...iEncoderV2/abi_encode_empty_string_v2.sol → ...er/abi_encode_empty_string_not_bytes0.sol b/...iEncoderV2/abi_encode_empty_string_v2.sol → ...er/abi_encode_empty_string_not_bytes0.sol
@@ -1,7 +1,5 @@
 // Tests that this will not end up using a "bytes0" type
 // (which would assert)
-pragma abicoder               v2;
-
 
 contract C {
     function f() public pure returns (bytes memory, bytes memory) {

diff --git a/.../abiEncoderV1/abi_encode_empty_string.sol → ...s/abicoder/abi_encode_empty_string_v1.sol b/.../abiEncoderV1/abi_encode_empty_string.sol → ...s/abicoder/abi_encode_empty_string_v1.sol
diff --git a/...mory_dynamic_array_and_calldata_bytes.sol → ...y_dynamic_array_and_calldata_bytes_v1.sol b/...mory_dynamic_array_and_calldata_bytes.sol → ...y_dynamic_array_and_calldata_bytes_v1.sol
diff --git a/...ests/abiEncoderV1/abi_encode_rational.sol → ...ticTests/abicoder/abi_encode_rational.sol b/...ests/abiEncoderV1/abi_encode_rational.sol → ...ticTests/abicoder/abi_encode_rational.sol
diff --git a/...s/abiEncoderV2/storage_array_encoding.sol → .../abicoder/abi_encode_storage_array_v2.sol b/...s/abiEncoderV2/storage_array_encoding.sol → .../abicoder/abi_encode_storage_array_v2.sol
diff --git a/...anticTests/abiEncoderV2/abi_encode_v2.sol → .../semanticTests/abicoder/abi_encode_v2.sol b/...anticTests/abiEncoderV2/abi_encode_v2.sol → .../semanticTests/abicoder/abi_encode_v2.sol
diff --git a/..._in_function_inherited_in_v1_contract.sol → ..._in_function_inherited_in_v1_contract.sol b/..._in_function_inherited_in_v1_contract.sol → ..._in_function_inherited_in_v1_contract.sol
diff --git a/...de_v2_in_modifier_used_in_v1_contract.sol → ...de_v2_in_modifier_used_in_v1_contract.sol b/...de_v2_in_modifier_used_in_v1_contract.sol → ...de_v2_in_modifier_used_in_v1_contract.sol
diff --git a/...EncodeDecode/abi_encode_with_selector.sol → .../abicoder/abi_encode_with_selector_v1.sol b/...EncodeDecode/abi_encode_with_selector.sol → .../abicoder/abi_encode_with_selector_v1.sol
diff --git a/...codeDecode/abi_encode_with_selectorv2.sol → .../abicoder/abi_encode_with_selector_v2.sol b/...codeDecode/abi_encode_with_selectorv2.sol → .../abicoder/abi_encode_with_selector_v2.sol
diff --git a/...ncodeDecode/abi_encode_with_signature.sol → ...abicoder/abi_encode_with_signature_v1.sol b/...ncodeDecode/abi_encode_with_signature.sol → ...abicoder/abi_encode_with_signature_v1.sol
diff --git a/...odeDecode/abi_encode_with_signaturev2.sol → ...abicoder/abi_encode_with_signature_v2.sol b/...odeDecode/abi_encode_with_signaturev2.sol → ...abicoder/abi_encode_with_signature_v2.sol
diff --git a/...verflow_with_static_array_cleanup_bug.sol → ...ad_overflow_with_static_array_cleanup.sol b/...verflow_with_static_array_cleanup_bug.sol → ...ad_overflow_with_static_array_cleanup.sol
diff --git a/...emanticTests/abiEncoderV1/byte_arrays.sol → ...er/calldataDecoding/array/byte_arrays.sol b/...emanticTests/abiEncoderV1/byte_arrays.sol → ...er/calldataDecoding/array/byte_arrays.sol
diff --git a/...rray/calldata_array_two_dimensional_1.sol → .../calldata_array_2d_dynamic_dynamic_v2.sol b/...rray/calldata_array_two_dimensional_1.sol → .../calldata_array_2d_dynamic_dynamic_v2.sol
diff --git a/.../array/calldata_array_two_dimensional.sol → ...y/calldata_array_2d_dynamic_static_v2.sol b/.../array/calldata_array_two_dimensional.sol → ...y/calldata_array_2d_dynamic_static_v2.sol
diff --git a/...emanticTests/abiEncoderV2/byte_arrays.sol → ...ecoding/array/calldata_array_bytes_v2.sol b/...emanticTests/abiEncoderV2/byte_arrays.sol → ...ecoding/array/calldata_array_bytes_v2.sol
diff --git a/...nticTests/abiEncoderV2/calldata_array.sol → ...ray/calldata_array_dynamic_of_uint_v2.sol b/...nticTests/abiEncoderV2/calldata_array.sol → ...ray/calldata_array_dynamic_of_uint_v2.sol
diff --git a/...s/abiEncoderV2/calldata_array_dynamic.sol → ...ldata_array_dynamic_of_value_types_v2.sol b/...s/abiEncoderV2/calldata_array_dynamic.sol → ...ldata_array_dynamic_of_value_types_v2.sol
diff --git a/...calldata_array_dynamic_static_dynamic.sol → ...ldata_array_dynamic_static_dynamic_v2.sol b/...calldata_array_dynamic_static_dynamic.sol → ...ldata_array_dynamic_static_dynamic_v2.sol
diff --git a/...ldata_array_dynamic_static_in_library.sol → ...ta_array_dynamic_static_in_library_v2.sol b/...ldata_array_dynamic_static_in_library.sol → ...ta_array_dynamic_static_in_library_v2.sol
diff --git a/...ata_array_dynamic_static_short_decode.sol → ..._array_dynamic_static_short_decode_v2.sol b/...ata_array_dynamic_static_short_decode.sol → ..._array_dynamic_static_short_decode_v2.sol
diff --git a/...a_array_dynamic_static_short_reencode.sol → ...rray_dynamic_static_short_reencode_v2.sol b/...a_array_dynamic_static_short_reencode.sol → ...rray_dynamic_static_short_reencode_v2.sol
diff --git a/...coderV2/calldata_array_function_types.sol → ...rray/calldata_array_function_types_v2.sol b/...coderV2/calldata_array_function_types.sol → ...rray/calldata_array_function_types_v2.sol
diff --git a/...cTests/calldata/calldata_array_access.sol → ...rray/calldata_array_indexing_1d_2d_v2.sol b/...cTests/calldata/calldata_array_access.sol → ...rray/calldata_array_indexing_1d_2d_v2.sol
diff --git a/...imensional_dynamic_array_index_access.sol → ...calldata_array_indexing_3d_dynamic_v2.sol b/...imensional_dynamic_array_index_access.sol → ...calldata_array_indexing_3d_dynamic_v2.sol
diff --git a/...data/calldata_array_three_dimensional.sol → ...g/array/calldata_array_indexing_3d_v2.sol b/...data/calldata_array_three_dimensional.sol → ...g/array/calldata_array_indexing_3d_v2.sol
diff --git a/...calldata/calldata_array_dynamic_bytes.sol → ...ldata_array_indexing_dynamic_bytes_v2.sol b/...calldata/calldata_array_dynamic_bytes.sol → ...ldata_array_indexing_dynamic_bytes_v2.sol
@@ -63,10 +63,6 @@ contract C {
     }
 }
 
-// via yul disabled because of stack issues.
-
-// ====
-// compileViaYul: false
 // ----
 // f1(bytes[1]): 0x20, 0x20, 0x3, hex"0102030000000000000000000000000000000000000000000000000000000000" -> 0x3, 0x1, 0x2, 0x3
 // f2(bytes[1],bytes[1]): 0x40, 0xa0, 0x20, 0x3, hex"0102030000000000000000000000000000000000000000000000000000000000", 0x20, 0x2, hex"0102000000000000000000000000000000000000000000000000000000000000" -> 0x3, 0x1, 0x2, 0x3, 0x2, 0x1, 0x2

diff --git a/...2/calldata_array_dynamic_index_access.sol → ...ay/calldata_array_indexing_dynamic_v2.sol b/...2/calldata_array_dynamic_index_access.sol → ...ay/calldata_array_indexing_dynamic_v2.sol
diff --git a/...V2/calldata_array_static_index_access.sol → ...ray/calldata_array_indexing_static_v2.sol b/...V2/calldata_array_static_index_access.sol → ...ray/calldata_array_indexing_static_v2.sol
diff --git a/...cTests/calldata/calldata_array_length.sol → ...coding/array/calldata_array_length_v2.sol b/...cTests/calldata/calldata_array_length.sol → ...coding/array/calldata_array_length_v2.sol
diff --git a/...ncoderV2/calldata_array_multi_dynamic.sol → ...array/calldata_array_multi_dynamic_v2.sol b/...ncoderV2/calldata_array_multi_dynamic.sol → ...array/calldata_array_multi_dynamic_v2.sol
diff --git a/...ata/calldata_array_index_range_access.sol → ...oding/array/calldata_array_slicing_v2.sol b/...ata/calldata_array_index_range_access.sol → ...oding/array/calldata_array_slicing_v2.sol
diff --git a/.../calldata_array_static_dynamic_static.sol → ...lldata_array_static_dynamic_static_v2.sol b/.../calldata_array_static_dynamic_static.sol → ...lldata_array_static_dynamic_static_v2.sol
diff --git a/...ty/semanticTests/array/calldata_array.sol → ...rray/calldata_array_static_of_uint_v2.sol b/...ty/semanticTests/array/calldata_array.sol → ...rray/calldata_array_static_of_uint_v2.sol
diff --git a/...ts/abiEncoderV2/calldata_array_static.sol → ...lldata_array_static_of_value_types_v2.sol b/...ts/abiEncoderV2/calldata_array_static.sol → ...lldata_array_static_of_value_types_v2.sol
diff --git a/...coderV2/calldata_array_struct_dynamic.sol → ...rray/calldata_array_struct_dynamic_v2.sol b/...coderV2/calldata_array_struct_dynamic.sol → ...rray/calldata_array_struct_dynamic_v2.sol
diff --git a/...cTests/array/calldata_array_of_struct.sol → ...array/calldata_array_struct_static_v2.sol b/...cTests/array/calldata_array_of_struct.sol → ...array/calldata_array_struct_static_v2.sol
diff --git a/...iEncoderV2/calldata_array_two_dynamic.sol → ...g/array/calldata_array_two_dynamic_v2.sol b/...iEncoderV2/calldata_array_two_dynamic.sol → ...g/array/calldata_array_two_dynamic_v2.sol
diff --git a/...biEncoderV2/calldata_array_two_static.sol → ...ng/array/calldata_array_two_static_v2.sol b/...biEncoderV2/calldata_array_two_static.sol → ...ng/array/calldata_array_two_static_v2.sol
diff --git a/...coderV1/calldata_bytes_bytes32_arrays.sol → ...rray/calldata_bytes_bytes32_arrays_v1.sol b/...coderV1/calldata_bytes_bytes32_arrays.sol → ...rray/calldata_bytes_bytes32_arrays_v1.sol
diff --git a/...erV2/calldata_dynamic_array_to_memory.sol → ...y/calldata_dynamic_array_to_memory_v2.sol b/...erV2/calldata_dynamic_array_to_memory.sol → ...y/calldata_dynamic_array_to_memory_v2.sol
diff --git a/...oderV2/calldata_nested_array_reencode.sol → ...ray/calldata_nested_array_reencode_v2.sol b/...oderV2/calldata_nested_array_reencode.sol → ...ray/calldata_nested_array_reencode_v2.sol
diff --git a/...calldata_nested_array_static_reencode.sol → ...ldata_nested_array_static_reencode_v2.sol b/...calldata_nested_array_static_reencode.sol → ...ldata_nested_array_static_reencode_v2.sol
diff --git a/...V2/calldata_overlapped_dynamic_arrays.sol → ...alldata_overlapping_dynamic_arrays_v2.sol b/...V2/calldata_overlapped_dynamic_arrays.sol → ...alldata_overlapping_dynamic_arrays_v2.sol
diff --git a/...data_overlapped_nested_dynamic_arrays.sol → ..._overlapping_nested_dynamic_arrays_v2.sol b/...data_overlapped_nested_dynamic_arrays.sol → ..._overlapping_nested_dynamic_arrays_v2.sol
diff --git a/...cTests/calldata/calldata_string_array.sol → ...coding/array/calldata_string_array_v2.sol b/...cTests/calldata/calldata_string_array.sol → ...coding/array/calldata_string_array_v2.sol
diff --git a/...oderV2/calldata_struct_array_reencode.sol → ...ray/calldata_struct_array_reencode_v2.sol b/...oderV2/calldata_struct_array_reencode.sol → ...ray/calldata_struct_array_reencode_v2.sol
diff --git a/.../abiEncoderV1/abi_decode_fixed_arrays.sol → ...taDecoding/array/memory_arrays_static.sol b/.../abiEncoderV1/abi_decode_fixed_arrays.sol → ...taDecoding/array/memory_arrays_static.sol
diff --git a/...mory_dynamic_array_and_calldata_bytes.sol → ...mory_dynamic_array_and_calldata_bytes.sol b/...mory_dynamic_array_and_calldata_bytes.sol → ...mory_dynamic_array_and_calldata_bytes.sol
diff --git a/...namic_array_and_calldata_static_array.sol → ...namic_array_and_calldata_static_array.sol b/...namic_array_and_calldata_static_array.sol → ...namic_array_and_calldata_static_array.sol
diff --git a/...nticTests/abiEncoderV1/dynamic_arrays.sol → ...aDecoding/array/memory_dynamic_arrays.sol b/...nticTests/abiEncoderV1/dynamic_arrays.sol → ...aDecoding/array/memory_dynamic_arrays.sol
diff --git a/...ts/abiEncoderV2/dynamic_nested_arrays.sol → ...array/memory_dynamic_nested_arrays_v2.sol b/...ts/abiEncoderV2/dynamic_nested_arrays.sol → ...array/memory_dynamic_nested_arrays_v2.sol
diff --git a/...V1/memory_params_in_external_function.sol → ...ay/memory_params_in_external_function.sol b/...V1/memory_params_in_external_function.sol → ...ay/memory_params_in_external_function.sol
diff --git a/...copy_from_calldata_removes_bytes_data.sol → ...copy_from_calldata_removes_bytes_data.sol b/...copy_from_calldata_removes_bytes_data.sol → ...copy_from_calldata_removes_bytes_data.sol
diff --git a/.../abiEncoderV2/struct/mediocre2_struct.sol → ...taDecoding/struct/mediocre_dynamic_v2.sol b/.../abiEncoderV2/struct/mediocre2_struct.sol → ...taDecoding/struct/mediocre_dynamic_v2.sol
diff --git a/...s/abiEncoderV2/struct/mediocre_struct.sol → ...ataDecoding/struct/mediocre_static_v2.sol b/...s/abiEncoderV2/struct/mediocre_struct.sol → ...ataDecoding/struct/mediocre_static_v2.sol
diff --git a/.../structs/calldata/dynamically_encoded.sol → ...oding/struct/member_array_dynamic2_v2.sol b/.../structs/calldata/dynamically_encoded.sol → ...oding/struct/member_array_dynamic2_v2.sol
diff --git a/.../calldata_struct_array_member_dynamic.sol → ...mber_array_dynamic_multiple_fields_v2.sol b/.../calldata_struct_array_member_dynamic.sol → ...mber_array_dynamic_multiple_fields_v2.sol
diff --git a/.../abiEncoderV2/calldata_struct_dynamic.sol → ...coding/struct/member_array_dynamic_v2.sol b/.../abiEncoderV2/calldata_struct_dynamic.sol → ...coding/struct/member_array_dynamic_v2.sol
diff --git a/...calldata/calldata_struct_array_member.sol → ...ember_array_static_mulitple_fields_v2.sol b/...calldata/calldata_struct_array_member.sol → ...ember_array_static_mulitple_fields_v2.sol
diff --git a/...s/abiEncoderV2/struct/struct_function.sol → ...ng/struct/member_external_function_v2.sol b/...s/abiEncoderV2/struct/struct_function.sol → ...ng/struct/member_external_function_v2.sol
diff --git a/...coderV2/calldata_struct_member_offset.sol → ...ldataDecoding/struct/member_offset_v2.sol b/...coderV2/calldata_struct_member_offset.sol → ...ldataDecoding/struct/member_offset_v2.sol
diff --git a/...sts/structs/calldata/calldata_structs.sol → ...taDecoding/struct/multiple_structs_v2.sol b/...sts/structs/calldata/calldata_structs.sol → ...taDecoding/struct/multiple_structs_v2.sol
diff --git a/...alldata/calldata_struct_struct_member.sol → ...ding/struct/nested_static_3_fields_v2.sol b/...alldata/calldata_struct_struct_member.sol → ...ding/struct/nested_static_3_fields_v2.sol
diff --git a/...cTests/various/nested_calldata_struct.sol → ...ding/struct/nested_static_4_fields_v2.sol b/...cTests/various/nested_calldata_struct.sol → ...ding/struct/nested_static_4_fields_v2.sol
diff --git a/...calldata_struct_struct_member_dynamic.sol → ...aDecoding/struct/nested_with_bytes_v2.sol b/...calldata_struct_struct_member_dynamic.sol → ...aDecoding/struct/nested_with_bytes_v2.sol
diff --git a/...ucts/calldata/calldata_nested_structs.sol → ...g/struct/nested_with_dynamic_array_v2.sol b/...ucts/calldata/calldata_nested_structs.sol → ...g/struct/nested_with_dynamic_array_v2.sol
diff --git a/...Tests/structs/calldata/dynamic_nested.sol → ...t/nested_with_dynamic_struct_array_v2.sol b/...Tests/structs/calldata/dynamic_nested.sol → ...t/nested_with_dynamic_struct_array_v2.sol
diff --git a/...ests/abiEncoderV2/struct/struct_short.sol → ...oder/calldataDecoding/struct/short_v2.sol b/...ests/abiEncoderV2/struct/struct_short.sol → ...oder/calldataDecoding/struct/short_v2.sol
diff --git a/...sts/abiEncoderV2/struct/struct_simple.sol → ...simple_multiple_fields_short_types_v2.sol b/...sts/abiEncoderV2/struct/struct_simple.sol → ...simple_multiple_fields_short_types_v2.sol
diff --git a/...ests/structs/calldata/calldata_struct.sol → ...ding/struct/simple_multiple_fields_v2.sol b/...ests/structs/calldata/calldata_struct.sol → ...ding/struct/simple_multiple_fields_v2.sol
diff --git a/...s/abiEncoderV2/calldata_struct_simple.sol → ...ecoding/struct/simple_single_field_v2.sol b/...s/abiEncoderV2/calldata_struct_simple.sol → ...ecoding/struct/simple_single_field_v2.sol
diff --git a/...cts/calldata/calldata_struct_and_ints.sol → ...ataDecoding/struct/struct_and_ints_v2.sol b/...cts/calldata/calldata_struct_and_ints.sol → ...ataDecoding/struct/struct_and_ints_v2.sol
diff --git a/...ticTests/abiEncoderV2/cleanup/address.sol → ...nticTests/abicoder/cleanup/address_v2.sol b/...ticTests/abiEncoderV2/cleanup/address.sol → ...nticTests/abicoder/cleanup/address_v2.sol
diff --git a/...Tests/abiEncoderV1/bool_out_of_bounds.sol → ...emanticTests/abicoder/cleanup/bool_v1.sol b/...Tests/abiEncoderV1/bool_out_of_bounds.sol → ...emanticTests/abicoder/cleanup/bool_v1.sol
diff --git a/...Tests/abiEncoderV2/bool_out_of_bounds.sol → ...emanticTests/abicoder/cleanup/bool_v2.sol b/...Tests/abiEncoderV2/bool_out_of_bounds.sol → ...emanticTests/abicoder/cleanup/bool_v2.sol
diff --git a/...manticTests/abiEncoderV2/cleanup/bool.sol → ...der/cleanup/bool_with_sanity_check_v2.sol b/...manticTests/abiEncoderV2/cleanup/bool.sol → ...der/cleanup/bool_with_sanity_check_v2.sol
diff --git a/...nticTests/abiEncoderV2/cleanup/bytesx.sol → ...anticTests/abicoder/cleanup/bytesx_v2.sol b/...nticTests/abiEncoderV2/cleanup/bytesx.sol → ...anticTests/abicoder/cleanup/bytesx_v2.sol
diff --git a/...ticTests/abiEncoderV1/cleanup/cleanup.sol → ...nticTests/abicoder/cleanup/cleanup_v1.sol b/...ticTests/abiEncoderV1/cleanup/cleanup.sol → ...nticTests/abicoder/cleanup/cleanup_v1.sol
diff --git a/...ticTests/abiEncoderV2/cleanup/cleanup.sol → ...nticTests/abicoder/cleanup/cleanup_v2.sol b/...ticTests/abiEncoderV2/cleanup/cleanup.sol → ...nticTests/abicoder/cleanup/cleanup_v2.sol
diff --git a/...ts/abiEncoderV2/cleanup/dynamic_array.sol → ...sts/abicoder/cleanup/dynamic_array_v2.sol b/...ts/abiEncoderV2/cleanup/dynamic_array.sol → ...sts/abicoder/cleanup/dynamic_array_v2.sol
diff --git a/...dity/semanticTests/abiEncoderV1/enums.sol → ...emanticTests/abicoder/cleanup/enum_v1.sol b/...dity/semanticTests/abiEncoderV1/enums.sol → ...emanticTests/abicoder/cleanup/enum_v1.sol
diff --git a/...dity/semanticTests/abiEncoderV2/enums.sol → ...emanticTests/abicoder/cleanup/enum_v2.sol b/...dity/semanticTests/abiEncoderV2/enums.sol → ...emanticTests/abicoder/cleanup/enum_v2.sol
diff --git a/...icTests/abiEncoderV2/cleanup/function.sol → ...ticTests/abicoder/cleanup/function_v2.sol b/...icTests/abiEncoderV2/cleanup/function.sol → ...ticTests/abicoder/cleanup/function_v2.sol
diff --git a/...manticTests/abiEncoderV2/cleanup/intx.sol → ...emanticTests/abicoder/cleanup/intx_v2.sol b/...manticTests/abiEncoderV2/cleanup/intx.sol → ...emanticTests/abicoder/cleanup/intx_v2.sol
diff --git a/...rV2/cleanup/reencoded_calldata_string.sol → ...der/cleanup/reencoded_calldata_string.sol b/...rV2/cleanup/reencoded_calldata_string.sol → ...der/cleanup/reencoded_calldata_string.sol
diff --git a/...sts/abiEncoderV2/cleanup/static_array.sol → ...ests/abicoder/cleanup/static_array_v2.sol b/...sts/abiEncoderV2/cleanup/static_array.sol → ...ests/abicoder/cleanup/static_array_v2.sol
diff --git a/...sts/calldata/calldata_struct_cleaning.sol → ...nticTests/abicoder/cleanup/struct2_v2.sol b/...sts/calldata/calldata_struct_cleaning.sol → ...nticTests/abicoder/cleanup/struct2_v2.sol
diff --git a/...ts/abiEncoderV2/cleanup/simple_struct.sol → ...anticTests/abicoder/cleanup/struct_v2.sol b/...ts/abiEncoderV2/cleanup/simple_struct.sol → ...anticTests/abicoder/cleanup/struct_v2.sol
diff --git a/...anticTests/abiEncoderV2/cleanup/uintx.sol → ...manticTests/abicoder/cleanup/uintx_v2.sol b/...anticTests/abiEncoderV2/cleanup/uintx.sol → ...manticTests/abicoder/cleanup/uintx_v2.sol
diff --git a/...cTests/abiEncodeDecode/contract_array.sol → ...semanticTests/abicoder/contract_array.sol b/...cTests/abiEncodeDecode/contract_array.sol → ...semanticTests/abicoder/contract_array.sol
diff --git a/...sts/abiEncodeDecode/contract_array_v2.sol → ...anticTests/abicoder/contract_array_v2.sol b/...sts/abiEncodeDecode/contract_array_v2.sol → ...anticTests/abicoder/contract_array_v2.sol
diff --git a/...biEncoderV1/struct/struct_storage_ptr.sol → ...Tests/abicoder/libraryABI/storage_ptr.sol b/...biEncoderV1/struct/struct_storage_ptr.sol → ...Tests/abicoder/libraryABI/storage_ptr.sol
diff --git a/...urn_dynamic_types_cross_call_advanced.sol → ...urn_dynamic_types_cross_call_advanced.sol b/...urn_dynamic_types_cross_call_advanced.sol → ...urn_dynamic_types_cross_call_advanced.sol
diff --git a/...namic_types_cross_call_out_of_range_1.sol → ...pes_cross_call_out_of_range_homestead.sol b/...namic_types_cross_call_out_of_range_1.sol → ...pes_cross_call_out_of_range_homestead.sol
diff --git a/...namic_types_cross_call_out_of_range_2.sol → ...ross_call_out_of_range_post_homestead.sol b/...namic_types_cross_call_out_of_range_2.sol → ...ross_call_out_of_range_post_homestead.sol
diff --git a/...eturn_dynamic_types_cross_call_simple.sol → ...eturn_dynamic_types_cross_call_simple.sol b/...eturn_dynamic_types_cross_call_simple.sol → ...eturn_dynamic_types_cross_call_simple.sol
diff --git a/...calldata_array_short_no_revert_string.sol → ...exceeds_calldatasize_no_revert_string.sol b/...calldata_array_short_no_revert_string.sol → ...exceeds_calldatasize_no_revert_string.sol
@@ -5,4 +5,3 @@ contract C {
 // f(uint256[]): 0x20, 0 ->
 // f(uint256[]): 0x20, 1 -> FAILURE
 // f(uint256[]): 0x20, 2 -> FAILURE
-
diff --git a/test/libsolidity/semanticTests/abicoder/validation/array_exceeds_calldatasize_v1.sol b/test/libsolidity/semanticTests/abicoder/validation/array_exceeds_calldatasize_v1.sol
@@ -0,0 +1,13 @@
+pragma abicoder v1;
+
+contract C {
+	function f(uint[] calldata) public {}
+}
+// ====
+// ABIEncoderV1Only: true
+// compileViaYul: false
+// revertStrings: debug
+// ----
+// f(uint256[]): 0x20, 0 ->
+// f(uint256[]): 0x20, 1 -> FAILURE, hex"08c379a0", 0x20, 43, "ABI calldata decoding: invalid d", "ata pointer"
+// f(uint256[]): 0x20, 2 -> FAILURE, hex"08c379a0", 0x20, 43, "ABI calldata decoding: invalid d", "ata pointer"
diff --git a/...sts/abiEncoderV2/calldata_array_short.sol → ...idation/array_exceeds_calldatasize_v2.sol b/...sts/abiEncoderV2/calldata_array_short.sol → ...idation/array_exceeds_calldatasize_v2.sol
diff --git a/...dity/semanticTests/abicoder/validation/array_exceeds_size_limit_for_calldata_types_v1.sol b/...dity/semanticTests/abicoder/validation/array_exceeds_size_limit_for_calldata_types_v1.sol
@@ -0,0 +1,13 @@
+pragma abicoder v1;
+
+contract C {
+    function f(uint a, uint[] calldata b, uint c) external pure returns (uint) {
+        return 7;
+    }
+}
+// ====
+// ABIEncoderV1Only: true
+// compileViaYul: false
+// revertStrings: debug
+// ----
+// f(uint256,uint256[],uint256): 6, 0x60, 9, 0x8000000000000000000000000000000000000000000000000000000000000002, 1, 2 -> FAILURE, hex"08c379a0", 0x20, 43, "ABI calldata decoding: invalid d", "ata pointer"
diff --git a/...biEncoderV1/calldata_arrays_too_large.sol → ...eeds_size_limit_for_calldata_types_v2.sol b/...biEncoderV1/calldata_arrays_too_large.sol → ...eeds_size_limit_for_calldata_types_v2.sol
@@ -1,7 +1,11 @@
+pragma abicoder v2;
+
 contract C {
     function f(uint a, uint[] calldata b, uint c) external pure returns (uint) {
         return 7;
     }
 }
+// ====
+// revertStrings: debug
 // ----
-// f(uint256,uint256[],uint256): 6, 0x60, 9, 0x8000000000000000000000000000000000000000000000000000000000000002, 1, 2 -> FAILURE
+// f(uint256,uint256[],uint256): 6, 0x60, 9, 0x8000000000000000000000000000000000000000000000000000000000000002, 1, 2 -> FAILURE, hex"08c379a0", 0x20, 43, "ABI decoding: invalid calldata a", "rray length"
diff --git a/...a_array_dynamic_invalid_static_middle.sol → ...rray_dynamic_invalid_static_middle_v2.sol b/...a_array_dynamic_invalid_static_middle.sol → ...rray_dynamic_invalid_static_middle_v2.sol
@@ -1,5 +1,4 @@
-pragma abicoder               v2;
-
+pragma abicoder v2;
 
 contract C {
     function f(uint256[][1][] calldata a) external returns (uint256) {
@@ -16,14 +15,16 @@ contract C {
         return 42;
     }
 }
+// ====
+// revertStrings: debug
 // ----
 // f(uint256[][1][]): 0x20, 0x0 -> 42 # valid access stub #
-// f(uint256[][1][]): 0x20, 0x1 -> FAILURE # invalid on argument decoding #
+// f(uint256[][1][]): 0x20, 0x1 -> FAILURE, hex"08c379a0", 0x20, 43, "ABI decoding: invalid calldata a", "rray stride" # invalid on argument decoding #
 // f(uint256[][1][]): 0x20, 0x1, 0x20 -> 42 # invalid on outer access #
-// g(uint256[][1][]): 0x20, 0x1, 0x20 -> FAILURE
+// g(uint256[][1][]): 0x20, 0x1, 0x20 -> FAILURE, hex"08c379a0", 0x20, 0x1c, "Invalid calldata tail offset"
 // f(uint256[][1][]): 0x20, 0x1, 0x20, 0x20 -> 42 # invalid on inner access #
 // g(uint256[][1][]): 0x20, 0x1, 0x20, 0x20 -> 42
-// h(uint256[][1][]): 0x20, 0x1, 0x20, 0x20 -> FAILURE
+// h(uint256[][1][]): 0x20, 0x1, 0x20, 0x20 -> FAILURE, hex"08c379a0", 0x20, 0x1c, "Invalid calldata tail offset"
 // f(uint256[][1][]): 0x20, 0x1, 0x20, 0x20, 0x1 -> 42
 // g(uint256[][1][]): 0x20, 0x1, 0x20, 0x20, 0x1 -> 42
-// h(uint256[][1][]): 0x20, 0x1, 0x20, 0x20, 0x1 -> FAILURE
+// h(uint256[][1][]): 0x20, 0x1, 0x20, 0x20, 0x1 -> FAILURE, hex"08c379a0", 0x20, 0x17, "Calldata tail too short"
diff --git a/.../array/calldata_array_dynamic_invalid.sol → ...ion/calldata_array_dynamic_invalid_v2.sol b/.../array/calldata_array_dynamic_invalid.sol → ...ion/calldata_array_dynamic_invalid_v2.sol
@@ -1,5 +1,4 @@
-pragma abicoder               v2;
-
+pragma abicoder v2;
 
 contract C {
     function f(uint256[][] calldata a) external returns (uint256) {
@@ -11,10 +10,12 @@ contract C {
         return 42;
     }
 }
+// ====
+// revertStrings: debug
 // ----
 // f(uint256[][]): 0x20, 0x0 -> 42 # valid access stub #
-// f(uint256[][]): 0x20, 0x1 -> FAILURE # invalid on argument decoding #
+// f(uint256[][]): 0x20, 0x1 -> FAILURE, hex"08c379a0", 0x20, 43, "ABI decoding: invalid calldata a", "rray stride" # invalid on argument decoding #
 // f(uint256[][]): 0x20, 0x1, 0x20 -> 42 # invalid on outer access #
-// g(uint256[][]): 0x20, 0x1, 0x20 -> FAILURE
+// g(uint256[][]): 0x20, 0x1, 0x20 -> FAILURE, hex"08c379a0", 0x20, 0x1c, "Invalid calldata tail offset"
 // f(uint256[][]): 0x20, 0x1, 0x20, 0x2, 0x42 -> 42 # invalid on inner access #
-// g(uint256[][]): 0x20, 0x1, 0x20, 0x2, 0x42 -> FAILURE
+// g(uint256[][]): 0x20, 0x1, 0x20, 0x2, 0x42 -> FAILURE, hex"08c379a0", 0x20, 0x17, "Calldata tail too short"
Original file line number	Diff line number	Diff line change
Expand Up		@@ -5,4 +5,3 @@ contract C {
		// f(uint256[]): 0x20, 0 ->
		// f(uint256[]): 0x20, 1 -> FAILURE
		// f(uint256[]): 0x20, 2 -> FAILURE