wasm-opt constraint analysis assertion failed (MaxBinaryActions)

[mcost45]

wasm-opt fails with error:

[PassRunner]   running pass: constraint-analysis... 
Assertion failed: binaryActionCounts[binary]++ <= MaxBinaryActions, file D:\a\binaryen\binaryen\src\passes\ConstraintAnalysis.cpp, line 534

binaryen/src/passes/ConstraintAnalysis.cpp

Line 534 in 8f15626

assert(binaryActionCounts[binary]++ <= MaxBinaryActions);

Just updated to the latest 132 version. Did not occur with 131. Using --constraint-analysis flag in both.

Not sure if expected: i.e. my (Rust) wasm output is not compatible, and I should disable it?

[kripken]

That is a known issue with that pass atm. It is actually fixed on the fuzz.constraint branch in my fork, if you really want to use it - but the pass is not considered stable yet, so unless you are using it just for fun, I would wait.

When the pass is stable, I'll update the changelog, land the fuzzing, and add the pass to the default list of passes to run. I hope to do that pretty soon.

[kripken]

We can also keep this issue open til then and I'll close it at that time.

[mcost45]

Ahh I see, thank you for the info!