Radar · Solidity · Archive · Week 28 · Jul 6 – 12, 2026
Unsound Spill In Mutual Recursion Bug
Worth knowingecosystem
- What changed
- The Yul optimizer’s call graph analysis misclassified mutually recursive functions as non‑recursive, causing them to be excluded from the memory spilling mechanism that is incompatible with recursion.
- Production impact
- The source does not say.
- Try it
- Compile mutually recursive Yul functions and observe whether the optimizer now includes them in the spill analysis.
- Source
- soliditylang.org/blog/2026/07/09/unsound-spill-in-mutual-recursion-bug
Written by gpt-oss-20b from the linked source · claims checked against the sources · archive, not individually reviewed