Refactor Standard JSON Input/Output Documentation

Changelog.md

@@ -16,6 +16,7 @@ Compiler Features:
 Bugfixes:
 * Yul: Fix incorrect serialization of Yul object names containing double quotes and escape sequences, producing output that could not be parsed as valid Yul.
 * Yul EVM Code Transform: Improve stack shuffler performance by fixing a BFS deduplication issue.
+* Yul IR Code Generation: Preserve custom error argument of `require` when option `revert-strings=strip` is selected.
 
 
 ### 0.8.34 (2026-02-18)

docs/internals/layout_in_storage.rst

@@ -1,4 +1,5 @@
 .. index:: storage, state variable, mapping, transient storage
+.. _storage-layout:
 
 **********************************************************
 Layout of State Variables in Storage and Transient Storage

libsolidity/codegen/ir/IRGeneratorForStatements.cpp

@@ -1158,10 +1158,7 @@ void IRGeneratorForStatements::endVisit(FunctionCall const& _functionCall)
 		solAssert(arguments.size() > 0, "Expected at least one parameter for require/assert");
 		solAssert(arguments.size() <= 2, "Expected no more than two parameters for require/assert");
 
-		Type const* messageArgumentType =
-			arguments.size() > 1 && m_context.revertStrings() != RevertStrings::Strip ?
-			arguments[1]->annotation().type :
-			nullptr;
+		Type const* messageArgumentType = arguments.size() > 1 ? arguments[1]->annotation().type : nullptr;
 
 		auto const* magicType = dynamic_cast<MagicType const*>(messageArgumentType);
 		if (magicType && magicType->kind() == MagicType::Kind::Error)
@@ -1175,6 +1172,9 @@ void IRGeneratorForStatements::endVisit(FunctionCall const& _functionCall)
 		}
 		else
 		{
+			// This option only removes strings, not custom errors
+			if (m_context.revertStrings() == RevertStrings::Strip)
+				messageArgumentType = nullptr;
 			ASTPointer<Expression const> stringArgumentExpression = messageArgumentType ? arguments[1] : nullptr;
 			std::string requireOrAssertFunction = m_utils.requireOrAssertFunction(
 				functionType->kind() == FunctionType::Kind::Assert,

test/cmdlineTests/revert_strings_strip_legacy_require_custom_error/args

@@ -0,0 +1 @@
+--revert-strings strip --debug-info none --asm --optimize

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()));
+    }
+}

test/cmdlineTests/revert_strings_strip_legacy_require_custom_error/output

@@ -0,0 +1,173 @@
+
+======= 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
+      0x08
+      swap1
+      dup2
+      dup2
+      0x00
+      mload(0x40)
+      shl(0xe5, 0x01676c8b)
+      dup2
+      mstore
+      0x04
+      add
+      tag_14
+      swap4
+      swap3
+      swap2
+      swap1
+      tag_15
+      jump	// in
+    tag_14:
+      mload(0x40)
+      dup1
+      swap2
+      sub
+      swap1
+      revert
+    tag_15:
+      dup4
+      dup2
+      mstore
+      0x60
+      0x20
+      dup3
+      add
+      mstore
+      0x00
+      dup4
+      mload
+      dup1
+      0x60
+      dup5
+      add
+      mstore
+      dup1
+      0x20
+      dup7
+      add
+      0x80
+      dup6
+      add
+      mcopy
+      0x00
+      0x80
+      dup3
+      dup6
+      add
+      add
+      mstore
+      0x80
+      0x1f
+      not
+      0x1f
+      dup4
+      add
+      and
+      dup5
+      add
+      add
+      swap2
+      pop
+      pop
+      dup3
+      iszero
+      iszero
+      0x40
+      dup4
+      add
+      mstore
+      swap5
+      swap4
+      pop
+      pop
+      pop
+      pop
+      jump	// out
+
+    auxdata: <AUXDATA REMOVED>
+}

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

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 count() public returns (uint) { return ++counter; }
+    function f() external {
+        string memory eMsg = "error";
+        require(false, MyError(count(), eMsg));
+        counter += 2;
+    }
+}