dom check panics - Githubissues

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

https://noir-lang.org

Apache License 2.0

858 stars 186 forks source link

dom check panics #1664

Closed joss-aztec closed 1 year ago

joss-aztec commented 1 year ago

Aim

Test named regression should compile.

Expected Behavior

Bug

Panic:

The application panicked (crashed).
Message:  assertion failed: dom_tree.dominates(branch_beginning, predecessor)
Location: crates/noirc_evaluator/src/ssa_refactor/opt/flatten_cfg.rs:275

To Reproduce

1. 2. 3. 4.

Installation Method

None

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

Support Needs

No response

joss-aztec commented 1 year ago

Affects test named ec_baby_jubjub

joss-aztec commented 1 year ago

In case of regression, failed assertion is for checking block 2 dominates block 1 in following graph: