| Issue 40: | Correlated ifs | |
| Back to list |
Can we add support for correlated ifs? We already know when a condition is used again (the tested variable remains live), but the trick would be to join lattices in such a way that changes dependent on a condition are kept separately |