c2rust-refactor 0.15.0

C2Rust refactoring tool implementation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

use std::mem::{self, uninitialized};
fn main() {
    unsafe {
        let x: i32 = 0i32;
        let y: char = '\u{0}';
        let z: bool = false;
        let x: i32 = 7;
        let x: i32;
        let x: i32 = f();
    }
}

fn f() -> i32 {
    17
}