From 94dd6d0671cc32b3f2b545ec80bfcf84190aec34 Mon Sep 17 00:00:00 2001
From: Daniel Kirchner <daniel@ekpyron.org>
Date: Fri, 10 Jun 2022 18:31:49 +0200
Subject: [PATCH] Bug list entry draft.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
---
 docs/bugs.json            | 14 +++++++++++++-
 docs/bugs_by_version.json |  5 ++++-
 2 files changed, 17 insertions(+), 2 deletions(-)

diff --git a/docs/bugs.json b/docs/bugs.json
index 7bee4d10f..30b1769fd 100644
--- a/docs/bugs.json
+++ b/docs/bugs.json
@@ -1,4 +1,17 @@
 [
+    {
+        "uid": "SOL-2022-4",
+        "name": "InlineAssemblyMemorySideEffects",
+        "summary": "The Yul optimizer may incorrectly remove memory writes from inline assembly blocks, that do not access solidity variables.",
+        "description": "The Yul optimizer considers all memory writes in the outermost Yul block that are never read from as unused and removes them. This is valid when that Yul block is the entire Yul program, which is always the case for the Yul code generated by the new via-IR pipeline. Inline assembly blocks are never optimized in isolation when using that pipeline. Instead they are optimized as a part of the whole Yul input. However, the legacy code generation pipeline (which is still the default) runs the Yul optimizer individually on an inline assembly block if the block does not refer to any local variables defined in the surrounding Solidity code. Consequently, memory writes in such inline assembly blocks are removed as well, if the written memory is never read from in the same assembly block, even if the written memory is accessed later, for example by a subsequent inline assembly block.",
+        "link": "https://blog.soliditylang.org/2022/06/15/inline-assembly-memory-side-effects-bug/",
+        "introduced": "0.8.13",
+        "fixed": "0.8.15",
+        "severity": "low/medium",
+        "conditions": {
+            "yulOptimizer": true
+        }
+    },
     {
         "uid": "SOL-2022-3",
         "name": "DataLocationChangeInInternalOverride",
@@ -8,7 +21,6 @@
         "introduced": "0.6.9",
         "fixed": "0.8.14",
         "severity": "very low"
-
     },
     {
         "uid": "SOL-2022-2",
diff --git a/docs/bugs_by_version.json b/docs/bugs_by_version.json
index 86203a72b..1b0f7d1ca 100644
--- a/docs/bugs_by_version.json
+++ b/docs/bugs_by_version.json
@@ -1614,13 +1614,16 @@
     },
     "0.8.13": {
         "bugs": [
+            "InlineAssemblyMemorySideEffects",
             "DataLocationChangeInInternalOverride",
             "NestedCallataArrayAbiReencodingSizeValidation"
         ],
         "released": "2022-03-16"
     },
     "0.8.14": {
-        "bugs": [],
+        "bugs": [
+            "InlineAssemblyMemorySideEffects"
+        ],
         "released": "2022-05-17"
     },
     "0.8.2": {