ZkSync Account Abstraction: forge coverage --via-ir fails with Stack too deep

[0x5chn0uf]

Hi!

At the end of Lesson 15: Foundry Account Abstraction, I'm looking to complete the test suite. However, I encounter a problem when using forge coverage --via-ir to compile my Solidity project. The following error occurs:

minimal-account-abstraction % forge coverage --via-ir
[⠒] Compiling...
[⠰] Compiling 88 files with Solc 0.8.24
[⠑] Solc 0.8.24 finished in 8.39s
Error: 
Compiler run failed:
Error: Compiler error (/solidity/libyul/backends/evm/AsmCodeGen.cpp:67):Stack too deep. Try compiling with `--via-ir` (cli) or the equivalent `viaIR: true` (standard JSON) while enabling the optimizer. Otherwise, try removing local variables. When compiling inline assembly: Variable value0 is 2 slot(s) too deep inside the stack. Stack too deep. Try compiling with `--via-ir` (cli) or the equivalent `viaIR: true` (standard JSON) while enabling the optimizer. Otherwise, try removing local variables.
CompilerError: Stack too deep. Try compiling with `--via-ir` (cli) or the equivalent `viaIR: true` (standard JSON) while enabling the optimizer. Otherwise, try removing local variables. When compiling inline assembly: Variable value0 is 2 slot(s) too deep inside the stack. Stack too deep. Try compiling with `--via-ir` (cli) or the equivalent `viaIR: true` (standard JSON) while enabling the optimizer. Otherwise, try removing local variables.

---

Command executed:

forge coverage --via-ir

Environment

Solidity Version: 0.8.24
Foundry Version: forge 0.0.2 (from foundry-zksync)
OS: MacOS 14.2.1

Context

I also have this problem with the final code of the minimal-account-abstraction repository. I run the forge coverage command and get the error mentioned above.

What I've tried

• Enable optimization: I've tried using --via-ir --optimize but the error persists.
• Reduce local variables: I tried refactoring some functions to reduce the number of state variables, but this didn't solve the problem.

---

I read that the error seems to be related to assembler, but I don't see where I can rework the code and modify the stack.
Do you have any suggestions on how to solve this problem or additional leads to explore?

Thanks in advance!

[EngrPips]

I don't know how to fix this. Let's look forward to @PatrickAlphaC suggestions when they are available.

[0x5chn0uf]

No worries, thank you for having taken the time to look into this issue 😄

[EngrPips]

You are welcome, Friend.

[SiewLin-AIDeaBuddy]

I have the same error mesage as well. Trying forge coverage --ir-minimum also not working.

It seems to be an on-going issue currently : foundry-rs/foundry#3357

[EngrPips]

Interesting. Thanks for the heads-up.

[PatrickAlphaC]

@0x5chn0uf can you please follow up here?

matter-labs/foundry-zksync#475

I've added your issue there.

[Cryptoineer]

To fix this add via-ir = true to your foundry.toml file

[EngrPips]

indeed