Loop transformations can bring variable references out of scope

[UncombedCoconut]

In this example, "return j" is brought outside the scope where "j" is declared.

Input:
int f() { int i = 1; for (;;) { int j = i; if (i == 5) return j; else i++; } }
Output:
[no_mangle] pub unsafe extern fn f() -> i32 { let mut i : i32 = 1i32; 'loop1: loop { let mut j : i32 = i; if i == 5i32 { break; } i = i + 1; } j }