Add bug list entry

Author: rodiazet

docs/bugs.json

@@ -1,4 +1,14 @@
 [
+    {
+        "uid": "SOL-2026-2",
+        "name": "UnusedStoreEliminatorWithoutSSATransformation",
+        "summary": "When the UnusedStoreEliminators optimizer step is run on non-SSA AST form, it may result in incorrect removal of storage or memory writes.",
+        "description": "Solidity allows defining custom user-defined optimizer sequences. In version 0.8.12, the unused store eliminator was introduced to remove redundant writes to storage or memory. The bug was in this optimizer step's implementation. It used SSAValueTracker to identify variables that are never assigned. Based on this set of unassigned variables, a knowledge base is created to track current variable values. This knowledge is necessary for deciding whether memory or storage writes can be safely removed. Unfortunately, SSAValueTracker correctly removed assigned variables from the SSA variable set, but failed to remove variables that depend on those assigned variables. This oversight made it possible to construct inline assembly code that was incorrectly optimized by removing necessary writes. As a result, contracts compiled with different optimization sequences could exhibit different runtime behavior. The bug was introduced in version 0.8.12 alongside the unused store eliminator implementation. It was fixed in version 0.8.35 by implementing additional filtering of the variable set returned by SSAValueTracker and extending this set by functions parameters values.",
+        "link": "https://blog.soliditylang.org/2026/X/Y/Z/",
+        "introduced": "0.8.13",
+        "fixed": "0.8.35",
+        "severity": "very low"
+    },
     {
         "uid": "SOL-2026-1",
         "name": "TransientStorageClearingHelperCollision",

docs/bugs_by_version.json

@@ -1869,6 +1869,7 @@
     },
     "0.8.13": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow",
             "VerbatimInvalidDeduplication",
             "FullInlinerNonExpressionSplitArgumentEvaluationOrder",
@@ -1884,6 +1885,7 @@
     },
     "0.8.14": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow",
             "VerbatimInvalidDeduplication",
             "FullInlinerNonExpressionSplitArgumentEvaluationOrder",
@@ -1897,6 +1899,7 @@
     },
     "0.8.15": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow",
             "VerbatimInvalidDeduplication",
             "FullInlinerNonExpressionSplitArgumentEvaluationOrder",
@@ -1908,6 +1911,7 @@
     },
     "0.8.16": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow",
             "VerbatimInvalidDeduplication",
             "FullInlinerNonExpressionSplitArgumentEvaluationOrder",
@@ -1918,6 +1922,7 @@
     },
     "0.8.17": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow",
             "VerbatimInvalidDeduplication",
             "FullInlinerNonExpressionSplitArgumentEvaluationOrder",
@@ -1927,6 +1932,7 @@
     },
     "0.8.18": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow",
             "VerbatimInvalidDeduplication",
             "FullInlinerNonExpressionSplitArgumentEvaluationOrder",
@@ -1936,6 +1942,7 @@
     },
     "0.8.19": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow",
             "VerbatimInvalidDeduplication",
             "FullInlinerNonExpressionSplitArgumentEvaluationOrder",
@@ -1960,6 +1967,7 @@
     },
     "0.8.20": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow",
             "VerbatimInvalidDeduplication",
             "FullInlinerNonExpressionSplitArgumentEvaluationOrder",
@@ -1969,57 +1977,66 @@
     },
     "0.8.21": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow",
             "VerbatimInvalidDeduplication"
         ],
         "released": "2023-07-19"
     },
     "0.8.22": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow",
             "VerbatimInvalidDeduplication"
         ],
         "released": "2023-10-25"
     },
     "0.8.23": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow"
         ],
         "released": "2023-11-08"
     },
     "0.8.24": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow"
         ],
         "released": "2024-01-25"
     },
     "0.8.25": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow"
         ],
         "released": "2024-03-14"
     },
     "0.8.26": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow"
         ],
         "released": "2024-05-21"
     },
     "0.8.27": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "LostStorageArrayWriteOnSlotOverflow"
         ],
         "released": "2024-09-04"
     },
     "0.8.28": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "TransientStorageClearingHelperCollision",
             "LostStorageArrayWriteOnSlotOverflow"
         ],
         "released": "2024-10-09"
     },
     "0.8.29": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "TransientStorageClearingHelperCollision",
             "LostStorageArrayWriteOnSlotOverflow"
         ],
@@ -2041,32 +2058,38 @@
     },
     "0.8.30": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "TransientStorageClearingHelperCollision",
             "LostStorageArrayWriteOnSlotOverflow"
         ],
         "released": "2025-05-07"
     },
     "0.8.31": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "TransientStorageClearingHelperCollision",
             "LostStorageArrayWriteOnSlotOverflow"
         ],
         "released": "2025-12-03"
     },
     "0.8.32": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "TransientStorageClearingHelperCollision"
         ],
         "released": "2025-12-18"
     },
     "0.8.33": {
         "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation",
             "TransientStorageClearingHelperCollision"
         ],
         "released": "2025-12-18"
     },
     "0.8.34": {
-        "bugs": [],
+        "bugs": [
+            "UnusedStoreEliminatorWithoutSSATransformation"
+        ],
         "released": "2026-02-18"
     },
     "0.8.35": {