c2rust-refactor-0.10.1
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

c2rust-refactor 0.10.1

C2Rust refactoring tool implementation

Crate
Source
Builds
Feature flags

..
analysis_ownership.rs
analysis_ownership_split.rs
analysis_type_eq.rs
analysis_type_eq_alias.rs
debug_callees.rs
mark_uses.rs
multi_stmt.rs
pat_let_x.txt
pat_while_loop.txt
pat_wrapping_add.txt
repl_add.txt
repl_for_loop.txt
repl_let_x_uninit.txt
select_path_prefix.rs
src_let_x.txt
src_while_loop.txt
src_wrapping_add.txt
src_wrapping_add_inside_macro.txt
src_wrapping_add_multi.txt
src_wrapping_add_println.txt

let mut __i = __low;
while __i < __high {
    __body;
    __i += 1;
}