Skip to content

Commit

Permalink
dfa: Env, fix logic bug in env merging code
Browse files Browse the repository at this point in the history
was debugging some code and came across this, same effect in the env twice:
```
equals#3 u32 a0=u32:1 a1=u32:0 => *** VOID *** ENV: 'try_unit, try_unit'
```
  • Loading branch information
michaellilltokiwa committed Sep 12, 2024
1 parent 94f4f7d commit a9db754
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/dev/flang/fuir/analysis/dfa/Env.java
Original file line number Diff line number Diff line change
Expand Up @@ -150,7 +150,7 @@ else if (outer.hasEffect(et))
_types [i] = insert ? et : ot[j];
_initialEffectValues[i] = insert ? ev : oi[j];
j = j + (insert ? 0 : 1);
left = insert && left;
left = !insert && left;
}
}
_outer = outer;
Expand Down

0 comments on commit a9db754

Please sign in to comment.