Open
Description
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 }
Metadata
Metadata
Assignees
Labels
No labels