You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Discovered in #6894, the SSA inlining pass can remove functions used in the debugger.
Expected Behavior
The inlining pass shouldn't remove any functions that are still in use
Bug
In the higher_order_functions test, inlining will remove functions still referenced by the debugger, although the remaining SSA passes seem unbothered by this.
To Reproduce
Comment out the normalize_ids() pass in compiler/noirc_evaluator/src/ssa.rs line 493
$ cd test_programs/execution_success/higher_order_functions
$ cargo run debug --force-brillig --show-ssa > ssa
Inspect the resulting SSA to find f13 is still used after the first inlining pass but there is no longer a corresponding fn lambda f13 in the program.
Workaround
None
Workaround Description
No response
Additional Context
No response
Project Impact
None
Blocker Context
No response
Nargo Version
No response
NoirJS Version
No response
Proving Backend Tooling & Version
No response
Would you like to submit a PR for this Issue?
None
Support Needs
No response
The text was updated successfully, but these errors were encountered:
Aim
Discovered in #6894, the SSA inlining pass can remove functions used in the debugger.
Expected Behavior
The inlining pass shouldn't remove any functions that are still in use
Bug
In the
higher_order_functions
test, inlining will remove functions still referenced by the debugger, although the remaining SSA passes seem unbothered by this.To Reproduce
normalize_ids()
pass incompiler/noirc_evaluator/src/ssa.rs
line 493$ cd test_programs/execution_success/higher_order_functions
$ cargo run debug --force-brillig --show-ssa > ssa
f13
is still used after the first inlining pass but there is no longer a correspondingfn lambda f13
in the program.Workaround
None
Workaround Description
No response
Additional Context
No response
Project Impact
None
Blocker Context
No response
Nargo Version
No response
NoirJS Version
No response
Proving Backend Tooling & Version
No response
Would you like to submit a PR for this Issue?
None
Support Needs
No response
The text was updated successfully, but these errors were encountered: