Bug list entry draft.

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
This commit is contained in:
Daniel Kirchner 2022-06-10 18:31:49 +02:00
parent 51ef6a62da
commit 94dd6d0671
2 changed files with 17 additions and 2 deletions

View File

@ -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", "uid": "SOL-2022-3",
"name": "DataLocationChangeInInternalOverride", "name": "DataLocationChangeInInternalOverride",
@ -8,7 +21,6 @@
"introduced": "0.6.9", "introduced": "0.6.9",
"fixed": "0.8.14", "fixed": "0.8.14",
"severity": "very low" "severity": "very low"
}, },
{ {
"uid": "SOL-2022-2", "uid": "SOL-2022-2",

View File

@ -1614,13 +1614,16 @@
}, },
"0.8.13": { "0.8.13": {
"bugs": [ "bugs": [
"InlineAssemblyMemorySideEffects",
"DataLocationChangeInInternalOverride", "DataLocationChangeInInternalOverride",
"NestedCallataArrayAbiReencodingSizeValidation" "NestedCallataArrayAbiReencodingSizeValidation"
], ],
"released": "2022-03-16" "released": "2022-03-16"
}, },
"0.8.14": { "0.8.14": {
"bugs": [], "bugs": [
"InlineAssemblyMemorySideEffects"
],
"released": "2022-05-17" "released": "2022-05-17"
}, },
"0.8.2": { "0.8.2": {