Release 0.8.32

.circleci/config.yml

@@ -17,8 +17,8 @@ parameters:
     default: "ghcr.io/argotorg/solidity-buildpack-deps@sha256:c0412c53e59ce0c96bde4c08e7332ea12e4cadba9bbac829621947897fa21272"
   ubuntu-2404-arm-docker-image:
     type: string
-    # ghcr.io/argotorg/solidity-buildpack-deps:ubuntu2404.arm-1
-    default: "ghcr.io/argotorg/solidity-buildpack-deps@sha256:6cdb928fa8743d0b5d515c2c489b8d545c541f2370af28d5d3a71532056a0f22"
+    # ghcr.io/argotorg/solidity-buildpack-deps:ubuntu2404.arm-2
+    default: "ghcr.io/argotorg/solidity-buildpack-deps@sha256:27b03c1c4688e5d69b10e0539460346a3dee3b10b0e04fb406b9707c6f0dd95e"
   ubuntu-2404-clang-docker-image:
     type: string
     # ghcr.io/argotorg/solidity-buildpack-deps:ubuntu2404.clang-7
@@ -710,6 +710,11 @@ defaults:
       requires:
         - b_ubu_static
 
+  - requires_b_ubu_static_arm: &requires_b_ubu_static_arm
+      <<: *on_all_tags_and_branches
+      requires:
+        - b_ubu_static_arm
+
   - requires_b_archlinux: &requires_b_archlinux
       <<: *on_all_tags_and_branches
       requires:
@@ -1113,7 +1118,7 @@ jobs:
             - solc/solc-static-linux
       - matrix_notify_failure_unless_pr
 
-  b_ubu_static_arm:
+  b_ubu_static_arm: &b_ubu_static_arm
     <<: *base_ubuntu2404_arm_large
     environment:
       <<: *base_ubuntu2404_arm_large_env
@@ -1302,6 +1307,28 @@ jobs:
     steps:
       - soltest_all
 
+  t_ubu_arm_soltest: &t_ubu_arm_soltest
+    <<: *base_ubuntu2404_arm_medium
+    parallelism: 20
+    environment:
+      <<: *base_ubuntu2404_arm_medium_env
+      EVM: << pipeline.parameters.evm-version >>
+      EOF_VERSION: 0
+      OPTIMIZE: 0
+    steps:
+      - checkout
+      - attach_workspace:
+          at: build
+      - run:
+          name: Create symbolic link with expected soltest binary name
+          command: |
+            ln --symbolic --relative build/test/soltest-linux-arm build/test/soltest
+      - run_soltest
+      - store_test_results:
+          path: test_results/
+      - store_artifacts_test_results
+      - matrix_notify_failure_unless_pr
+
   t_ubu_soltest_deprecated_evm_versions: &t_ubu_soltest_deprecated_evm_versions
     <<: *base_ubuntu2404_large
     parallelism: 50
@@ -1310,7 +1337,7 @@ jobs:
       - attach_workspace:
           at: build
       - run_soltest_all:
-          evm_versions: homestead byzantium
+          evm_versions: homestead byzantium constantinople petersburg
       - store_test_results:
           path: test_results/
       - store_artifacts_test_results
@@ -1364,6 +1391,24 @@ jobs:
     steps:
       - cmdline_tests
 
+  t_ubu_arm_cli: &t_ubu_arm_cli
+    <<: *base_ubuntu2404_arm_medium
+    parallelism: 8 # Should match number of tests in .circleci/parallel_cli_tests.py
+    steps:
+      - checkout
+      - attach_workspace:
+          at: build
+      - run:
+          name: Create symbolic link with expected solc and solfuzzer binaries name
+          command: |
+            ln --symbolic --relative build/solc/solc-static-linux-arm build/solc/solc
+            ln --symbolic --relative build/test/tools/solfuzzer-linux-arm build/test/tools/solfuzzer
+      - run_cmdline_tests
+      - store_test_results:
+          path: test_results/
+      - store_artifacts_test_results
+      - matrix_notify_failure_unless_pr
+
   t_ubu_force_release_cli: &t_ubu_force_release_cli
     <<: *t_ubu_cli
 
@@ -1940,6 +1985,12 @@ jobs:
           # This job is only meant to run nightly so build time is not an issue.
           docker_layer_caching: false
       - checkout
+      - run:
+          name: Disable partial clone and fetch all objects
+          command: |
+            git config remote.origin.promisor false
+            git config --unset remote.origin.partialclonefilter
+            git fetch --refetch origin
       - run:
           name: Build and tag the container
           command: scripts/docker_deploy_manual.sh develop "file://$PWD" --no-push
@@ -1994,8 +2045,10 @@ workflows:
       # Ubuntu build and tests
       - b_ubu: *requires_nothing
       - t_ubu_cli: *requires_b_ubu
+      - t_ubu_arm_cli: *requires_b_ubu_static_arm
       - t_ubu_locale: *requires_b_ubu
       - t_ubu_soltest_all: *requires_b_ubu
+      - t_ubu_arm_soltest: *requires_b_ubu_static_arm
       - b_ubu_clang: *requires_nothing
       - t_ubu_clang_soltest: *requires_b_ubu_clang
       - t_ubu_lsp: *requires_b_ubu

.circleci/soltest_all.sh

@@ -31,7 +31,7 @@ REPODIR="$(realpath "$(dirname "$0")"/..)"
 # shellcheck source=scripts/common.sh
 source "${REPODIR}/scripts/common.sh"
 
-DEFAULT_EVM_VALUES=(constantinople petersburg istanbul berlin london paris shanghai cancun prague osaka)
+DEFAULT_EVM_VALUES=(istanbul berlin london paris shanghai cancun prague osaka)
 EVMS_WITH_EOF=(osaka)
 
 # Deserialize the EVM_VALUES array if it was provided as argument or

CMakeLists.txt

@@ -21,7 +21,7 @@ include(EthPolicy)
 eth_policy()
 
 # project name and version should be set after cmake_policy CMP0048
-set(PROJECT_VERSION "0.8.31")
+set(PROJECT_VERSION "0.8.32")
 # OSX target needed in order to support std::visit
 set(CMAKE_OSX_DEPLOYMENT_TARGET "10.14")
 project(solidity VERSION ${PROJECT_VERSION} LANGUAGES C CXX)

Changelog.md

@@ -1,18 +1,30 @@
-### 0.8.31 (2025-12-03)
+### 0.8.32 (2025-12-18)
 
-Language Features:
-* Yul: Introduce builtin `clz(x)` for counting the number of leading zero bits in a 256-bit word.
+Important Bugfixes:
+* Code Generator: Fix a bug in clearing/copying of arrays that straddle the end of storage, potentially resulting in assignment/initialization/`delete`/`push()`/`pop()` skipping some or all of the intended storage writes.
 
 
-Compiler Features:
+Bugfixes:
+* Codegen: Fix internal compiler error when emitting events via module member access.
+* TypeChecker: Fix error and event selectors not being considered compile-time constant.
+* TypeChecker: Fix `string.concat` and `bytes.concat` with constant arguments not being considered compile-time constant.
+
+
+### 0.8.31 (2025-12-03)
+
+Language Features:
 * Custom Storage Layout: Allow using `constant` state variables in the base slot expression.
 * DocString Parser: Warn about deprecation of inline assembly special comment `memory-safe-assembly`.
-* ethdebug: Experimental support for instructions and source locations under EOF.
-* EVM: Set default EVM Version to `osaka`.
 * Syntax Checker: Warn about deprecation of ABI coder v1.
 * Syntax Checker: Warn about deprecation of virtual modifiers.
 * Type Checker: Warn about deprecation of `send` and `transfer` functions on instances of `address`.
 * Type Checker: Warn about deprecation of comparisons between variables of contract types.
+* Yul: Introduce builtin `clz(x)` for counting the number of leading zero bits in a 256-bit word.
+
+
+Compiler Features:
+* ethdebug: Experimental support for instructions and source locations under EOF.
+* EVM: Set default EVM Version to `osaka`.
 
 
 Bugfixes:

ReleaseChecklist.md

@@ -42,6 +42,7 @@ At least a day before the release:
 - [ ] Get the posts reviewed and approved **before the release starts**.
 
 ### Changelog
+- [ ] Ensure that all changelog entries are correctly classified as language or compiler features.
 - [ ] Sort the changelog entries alphabetically and correct any errors you notice. Commit it.
 - [ ] Update the changelog to include a release date.
 - [ ] Run `scripts/update_bugs_by_version.py` to regenerate `bugs_by_version.json` from the changelog and `bugs.json`.
@@ -76,6 +77,7 @@ At least a day before the release:
 
 ### Docker
 - [ ] Make sure `docker-buildx` is installed.
+- [ ] Run `echo $GHCR_TOKEN | docker login ghcr.io --username $GH_USERNAME --password-stdin` where `$GH_USERNAME` is your GitHub username and `$GHCR_TOKEN` is a PAT with `write:packages` scope.
 - [ ] Run `./scripts/docker_deploy_manual.sh v$VERSION`.
 
 ### Release solc-js

docs/bugs_by_version.json

@@ -2077,6 +2077,10 @@
         "bugs": [],
         "released": "2025-12-03"
     },
+    "0.8.32": {
+        "bugs": [],
+        "released": "2025-12-18"
+    },
     "0.8.4": {
         "bugs": [
             "UnsoundSpillInMutualRecursion",

docs/contributing.rst

@@ -34,6 +34,9 @@ the team and contributors are working on, you can join our public team call:
 
 The call takes place on `Jitsi <https://meet.solidity.org>`_.
 
+New topics can be freely added to the `agenda <https://notes.argot.org/@solidity-design-call-agenda>`_
+and will be scheduled for discussion on the nearest call.
+
 How to Report Issues
 ====================
 

docs/installing-solidity.rst

@@ -270,10 +270,11 @@ This means that:
      if you want to be sure whether you are downloading a wasm or an asm.js binary.
    - Use ``list.json`` instead of ``list.js`` and ``list.txt``. The JSON list format contains all
      the information from the old ones and more.
-   - Use https://binaries.soliditylang.org instead of https://solc-bin.ethereum.org. To keep things
-     simple we moved almost everything related to the compiler under the new ``soliditylang.org``
-     domain and this applies to ``solc-bin`` too. While the new domain is recommended, the old one
-     is still fully supported and guaranteed to point at the same location.
+
+.. warning::
+   - The solc-bin.ethereum.org domain is no longer supported. Going forward,
+     we recommend any tools which are still using it as the source of Solidity binaries
+     to switch to binaries.soliditylang.org.
 
 .. warning::
 

libsolidity/analysis/TypeChecker.cpp

@@ -3312,27 +3312,57 @@ bool TypeChecker::visit(MemberAccess const& _memberAccess)
 	// TODO some members might be pure, but for example `address(0x123).balance` is not pure
 	// although every subexpression is, so leaving this limited for now.
 	if (auto tt = dynamic_cast<TypeType const*>(exprType))
+	{
 		if (
 			tt->actualType()->category() == Type::Category::Enum ||
 			tt->actualType()->category() == Type::Category::UserDefinedValueType
 		)
 			annotation.isPure = true;
+
+		// `concat` purity depends also on its arguments, but this is checked later, in visit(FunctionCall...)
+		// This covers `bytes.concat` and `string.concat`.
+		if (tt->actualType()->category() == Type::Category::Array)
+		{
+			if (
+				auto const* funcType = dynamic_cast<FunctionType const*>(annotation.type);
+				funcType &&
+				(
+					funcType->kind() == FunctionType::Kind::StringConcat ||
+					funcType->kind() == FunctionType::Kind::BytesConcat
+				)
+			)
+				annotation.isPure = true;
+		}
+	}
 	if (
 		auto const* functionType = dynamic_cast<FunctionType const*>(exprType);
 		functionType &&
 		functionType->hasDeclaration() &&
-		dynamic_cast<FunctionDefinition const*>(&functionType->declaration()) &&
 		memberName == "selector"
 	)
-		if (auto const* parentAccess = dynamic_cast<MemberAccess const*>(&_memberAccess.expression()))
+	{
+		if (dynamic_cast<FunctionDefinition const*>(&functionType->declaration()))
 		{
-			bool isPure = *parentAccess->expression().annotation().isPure;
-			if (auto const* exprInt = dynamic_cast<Identifier const*>(&parentAccess->expression()))
-				if (exprInt->name() == "this" || exprInt->name() == "super")
-					isPure = true;
+			if (auto const* parentAccess = dynamic_cast<MemberAccess const*>(&_memberAccess.expression()))
+			{
+				bool isPure = *parentAccess->expression().annotation().isPure;
+				// Accessing a function selector using `super|this.f.selector`.
+				if (auto const* exprInt = dynamic_cast<Identifier const*>(&parentAccess->expression()))
+					if (exprInt->name() == "this" || exprInt->name() == "super")
+						isPure = true;
 
-			annotation.isPure = isPure;
+				annotation.isPure = isPure;
+			}
 		}
+		// In case of event or error definition the selector is always compile-time constant, as it can be
+		// a keccak256 hash of the event signature or a function selector in case of an error.
+		else if (
+			dynamic_cast<EventDefinition const*>(&functionType->declaration()) ||
+			dynamic_cast<ErrorDefinition const*>(&functionType->declaration())
+		)
+			annotation.isPure = true;
+	}
+
 	if (
 		auto const* varDecl = dynamic_cast<VariableDeclaration const*>(annotation.referencedDeclaration);
 		!annotation.isPure.set() &&
@@ -3426,6 +3456,16 @@ bool TypeChecker::visit(MemberAccess const& _memberAccess)
 	if (!annotation.isPure.set())
 		annotation.isPure = false;
 
+	if (
+		auto const* funcType = dynamic_cast<FunctionType const*>(annotation.type);
+		funcType &&
+		funcType->kind() != FunctionType::Kind::Declaration &&
+		funcType->kind() != FunctionType::Kind::Internal &&
+		funcType->kind() != FunctionType::Kind::Error &&
+		funcType->kind() != FunctionType::Kind::Event
+	)
+		solAssert(funcType->isPure() == *annotation.isPure);
+
 	return false;
 }
 

libsolidity/ast/Types.cpp

@@ -3892,7 +3892,9 @@ bool FunctionType::isPure() const
 		m_kind == Kind::ABIDecode ||
 		m_kind == Kind::MetaType ||
 		m_kind == Kind::Wrap ||
-		m_kind == Kind::Unwrap;
+		m_kind == Kind::Unwrap ||
+		m_kind == Kind::BytesConcat ||
+		m_kind == Kind::StringConcat;
 }
 
 TypePointers FunctionType::parseElementaryTypeVector(strings const& _types)

libsolidity/codegen/ExpressionCompiler.cpp

@@ -2493,6 +2493,7 @@ bool ExpressionCompiler::visit(MemberAccess const& _memberAccess)
 			dynamic_cast<VariableDeclaration const*>(_memberAccess.annotation().referencedDeclaration) ||
 			dynamic_cast<FunctionDefinition const*>(_memberAccess.annotation().referencedDeclaration) ||
 			dynamic_cast<ErrorDefinition const*>(_memberAccess.annotation().referencedDeclaration) ||
+			dynamic_cast<EventDefinition const*>(_memberAccess.annotation().referencedDeclaration) ||
 			category == Type::Category::TypeType ||
 			category == Type::Category::Module,
 			""

libsolidity/codegen/ir/IRGeneratorForStatements.cpp

@@ -2678,6 +2678,7 @@ void IRGeneratorForStatements::endVisit(MemberAccess const& _memberAccess)
 			dynamic_cast<VariableDeclaration const*>(_memberAccess.annotation().referencedDeclaration) ||
 			dynamic_cast<FunctionDefinition const*>(_memberAccess.annotation().referencedDeclaration) ||
 			dynamic_cast<ErrorDefinition const*>(_memberAccess.annotation().referencedDeclaration) ||
+			dynamic_cast<EventDefinition const*>(_memberAccess.annotation().referencedDeclaration) ||
 			category == Type::Category::TypeType ||
 			category == Type::Category::Module,
 			""

libsolidity/parsing/Parser.cpp

@@ -170,7 +170,7 @@ ASTPointer<SourceUnit> Parser::parse(CharStream& _charStream)
 					expectToken(Token::Semicolon);
 				}
 				else
-					fatalParserError(7858_error, "Expected pragma, import directive or contract/interface/library/struct/enum/constant/function/error definition.");
+					fatalParserError(7858_error, "Expected pragma, import directive or contract/interface/library/user-defined type/constant/function/error/event definition.");
 			}
 		}
 		solAssert(m_recursionDepth == 0, "");

scripts/docker/buildpack-deps/Dockerfile.ubuntu2404.arm

@@ -22,7 +22,7 @@
 # (c) 2016-2025 solidity contributors.
 #------------------------------------------------------------------------------
 FROM --platform=linux/arm64 buildpack-deps:noble AS base
-LABEL version="1"
+LABEL version="2"
 
 ARG DEBIAN_FRONTEND=noninteractive
 
@@ -104,6 +104,7 @@ RUN <<-EOF
 EOF
 
 FROM base
+COPY --from=libraries /usr/local/lib/libevmone* /usr/lib
 COPY --from=libraries /usr/lib /usr/lib
 COPY --from=libraries /usr/bin /usr/bin
 COPY --from=libraries /usr/include /usr/include

test/cmdlineTests/standard_outputs_on_parsing_error/output.json

@@ -3,14 +3,14 @@
         {
             "component": "general",
             "errorCode": "7858",
-            "formattedMessage": "ParserError: Expected pragma, import directive or contract/interface/library/struct/enum/constant/function/error definition.
+            "formattedMessage": "ParserError: Expected pragma, import directive or contract/interface/library/user-defined type/constant/function/error/event definition.
  --> C:5:14:
   |
 5 | contract C {}}
   |              ^
 
 ",
-            "message": "Expected pragma, import directive or contract/interface/library/struct/enum/constant/function/error definition.",
+            "message": "Expected pragma, import directive or contract/interface/library/user-defined type/constant/function/error/event definition.",
             "severity": "error",
             "sourceLocation": {
                 "end": 121,