"simplify_assignments" creates infinite loop with iterate
sppalkia opened this issue · comments
e.g., the following code will loop infinitely due to an incorrect variable deletion in the SIR:
|e: vec[i8]|
let lenString = len(e);
iterate(lenString - 1L, |p| {p - 1L, p > 7L})