Add tests

matheusaaguiar · matheusaaguiar · commit 4913b7d2f100 · 2026-02-24T20:45:04.000-03:00
diff --git a/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error/args b/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error/args
@@ -0,0 +1 @@
+--revert-strings strip --debug-info none --asm --optimize
diff --git a/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error/input.sol b/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error/input.sol
@@ -0,0 +1,11 @@
+pragma solidity >=0.0;
+// SPDX-License-Identifier: GPL-3.0
+contract C {
+    error MyError(uint errorCode, string errorMsg, bool flag);
+    function flag() pure public returns (bool) { return false; }
+    function f() pure external {
+        uint code = 8;
+        string memory eMsg = "error";
+        require(false, MyError(code, eMsg, flag()));
+    }
+}
diff --git a/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error/output b/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error/output
@@ -0,0 +1,90 @@
+
+======= input.sol:C =======
+EVM assembly:
+  mstore(0x40, 0x80)
+  callvalue
+  dup1
+  iszero
+  tag_1
+  jumpi
+  revert(0x00, 0x00)
+tag_1:
+  pop
+  dataSize(sub_0)
+  dup1
+  dataOffset(sub_0)
+  0x00
+  codecopy
+  0x00
+  return
+stop
+
+sub_0: assembly {
+      mstore(0x40, 0x80)
+      callvalue
+      dup1
+      iszero
+      tag_1
+      jumpi
+      revert(0x00, 0x00)
+    tag_1:
+      pop
+      jumpi(tag_2, lt(calldatasize, 0x04))
+      shr(0xe0, calldataload(0x00))
+      dup1
+      0x26121ff0
+      eq
+      tag_3
+      jumpi
+      dup1
+      0x890eba68
+      eq
+      tag_4
+      jumpi
+    tag_2:
+      revert(0x00, 0x00)
+    tag_3:
+      tag_5
+      tag_6
+      jump	// in
+    tag_5:
+      stop
+    tag_4:
+      0x40
+      dup1
+      mload
+      0x00
+      dup2
+      mstore
+      swap1
+      mload
+      swap1
+      dup2
+      swap1
+      sub
+      0x20
+      add
+      swap1
+      return
+    tag_6:
+      0x40
+      dup1
+      mload
+      dup1
+      dup3
+      add
+      swap1
+      swap2
+      mstore
+      0x05
+      dup2
+      mstore
+      shl(0xd9, 0x32b93937b9)
+      0x20
+      dup3
+      add
+      mstore
+      revert(0x00, 0x00)
+
+    auxdata: <AUXDATA REMOVED>
+}
diff --git a/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error_constructor_param_side_effect/args b/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error_constructor_param_side_effect/args
@@ -0,0 +1 @@
+--revert-strings strip --debug-info none --asm --optimize
diff --git a/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error_constructor_param_side_effect/input.sol b/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error_constructor_param_side_effect/input.sol
@@ -0,0 +1,12 @@
+pragma solidity >=0.0;
+// SPDX-License-Identifier: GPL-3.0
+contract C {
+    error MyError(uint errorCode, string errorMsg);
+    uint public counter = 0;
+    function genCode() public returns (uint) { return ++counter; }
+    function f() external {
+        string memory eMsg = "error";
+        require(false, MyError(genCode(), eMsg));
+        counter += 2;
+    }
+}
diff --git a/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error_constructor_param_side_effect/output b/test/cmdlineTests/revert_strings_strip_legacy_require_custom_error_constructor_param_side_effect/output
@@ -0,0 +1,151 @@
+
+======= input.sol:C =======
+EVM assembly:
+  mstore(0x40, 0x80)
+  0x00
+  0x00
+  sstore
+  callvalue
+  dup1
+  iszero
+  tag_1
+  jumpi
+  revert(0x00, 0x00)
+tag_1:
+  pop
+  dataSize(sub_0)
+  dup1
+  dataOffset(sub_0)
+  0x00
+  codecopy
+  0x00
+  return
+stop
+
+sub_0: assembly {
+      mstore(0x40, 0x80)
+      callvalue
+      dup1
+      iszero
+      tag_1
+      jumpi
+      revert(0x00, 0x00)
+    tag_1:
+      pop
+      jumpi(tag_2, lt(calldatasize, 0x04))
+      shr(0xe0, calldataload(0x00))
+      dup1
+      0x26121ff0
+      eq
+      tag_3
+      jumpi
+      dup1
+      0x61bc221a
+      eq
+      tag_4
+      jumpi
+      dup1
+      0xaefa573d
+      eq
+      tag_5
+      jumpi
+    tag_2:
+      revert(0x00, 0x00)
+    tag_3:
+      tag_6
+      tag_7
+      jump	// in
+    tag_6:
+      stop
+    tag_4:
+      tag_8
+      sload(0x00)
+      dup2
+      jump
+    tag_8:
+      mload(0x40)
+      swap1
+      dup2
+      mstore
+      0x20
+      add
+      mload(0x40)
+      dup1
+      swap2
+      sub
+      swap1
+      return
+    tag_5:
+      tag_8
+      tag_13
+      jump	// in
+    tag_7:
+      0x40
+      dup1
+      mload
+      dup1
+      dup3
+      add
+      swap1
+      swap2
+      mstore
+      0x05
+      dup2
+      mstore
+      shl(0xd9, 0x32b93937b9)
+      0x20
+      dup3
+      add
+      mstore
+      revert(0x00, 0x00)
+    tag_13:
+      0x00
+      0x00
+      0x00
+      dup2
+      sload
+      tag_20
+      swap1
+      tag_21
+      jump	// in
+    tag_20:
+      swap2
+      dup3
+      swap1
+      sstore
+      pop
+      swap2
+      swap1
+      pop
+      jump	// out
+    tag_22:
+      0x4e487b71
+      0xe0
+      shl
+      0x00
+      mstore
+      0x11
+      0x04
+      mstore
+      0x24
+      0x00
+      revert
+    tag_21:
+      0x00
+      0x01
+      dup3
+      add
+      tag_31
+      jumpi
+      tag_31
+      tag_22
+      jump	// in
+    tag_31:
+      pop
+      0x01
+      add
+      swap1
+      jump	// out
+
+    auxdata: <AUXDATA REMOVED>
+}
diff --git a/test/cmdlineTests/revert_strings_strip_standard_json_io_legacy_require_custom_error/in.sol b/test/cmdlineTests/revert_strings_strip_standard_json_io_legacy_require_custom_error/in.sol
@@ -0,0 +1,11 @@
+pragma solidity >=0.0;
+// SPDX-License-Identifier: GPL-3.0
+contract C {
+    error MyError(uint errorCode, string errorMsg, bool flag);
+    function flag() pure public returns (bool) { return false; }
+    function f() pure external {
+        uint code = 8;
+        string memory eMsg = "error";
+        require(false, MyError(code, eMsg, flag()));
+    }
+}
diff --git a/test/cmdlineTests/revert_strings_strip_standard_json_io_legacy_require_custom_error/input.json b/test/cmdlineTests/revert_strings_strip_standard_json_io_legacy_require_custom_error/input.json
@@ -0,0 +1,16 @@
+{
+	"language": "Solidity",
+	"sources": {
+		"C": {"urls": ["in.sol"]}
+	},
+	"settings": {
+        "viaIR": false,
+        "debug": {
+            "revertStrings": "strip",
+            "debugInfo": []
+        },
+		"outputSelection": {
+			"*": {"*": ["evm.assembly"]}
+		}
+	}
+}
diff --git a/test/cmdlineTests/revert_strings_strip_standard_json_io_legacy_require_custom_error/output.json b/test/cmdlineTests/revert_strings_strip_standard_json_io_legacy_require_custom_error/output.json
diff --git a/test/libsolidity/semanticTests/errors/require_custom_error_constructor_side_effect.sol b/test/libsolidity/semanticTests/errors/require_custom_error_constructor_side_effect.sol
diff --git a/test/libsolidity/semanticTests/errors/require_custom_error_constructor_side_effect_revert_strings_strip.sol b/test/libsolidity/semanticTests/errors/require_custom_error_constructor_side_effect_revert_strings_strip.sol
diff --git a/test/libsolidity/semanticTests/errors/require_custom_error_revert_strings_strip.sol b/test/libsolidity/semanticTests/errors/require_custom_error_revert_strings_strip.sol

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+--revert-strings strip --debug-info none --asm --optimize`