Closed fridis closed 3 days ago
The behavious changed, now we get
> PRECONDITIONS=true POSTCONDITIONS=true ./build/bin/fz test_semigroup.fz
error 1: java.lang.Error: require-condition1 failed: RefValue.java:74 "(!dfa._fuir.clazzIsRef(original._clazz), original._clazz == vc, dfa._fuir.clazzIsRef(rc));"
at dev.flang.util.ANY.require(ANY.java:133)
at dev.flang.fuir.analysis.dfa.RefValue.<init>(RefValue.java:74)
at dev.flang.fuir.analysis.dfa.Value.box(Value.java:347)
at dev.flang.fuir.analysis.dfa.ValueSet.box(ValueSet.java:204)
at dev.flang.fuir.analysis.dfa.DFA$Analyze.box(DFA.java:420)
at dev.flang.fuir.analysis.dfa.DFA$Analyze.box(DFA.java:90)
This example inspired by this Twitter post
results in a crash during DFA
Reducing the example to
causes problems in the backends, e.g JVM: