It should be the same as the C code compiled with clang. Apart from edge cases, it's a straightforward 1:1 translation. It all ends up in the LLVM optimizer eit

It should be the same as the C code compiled with clang. Apart from edge cases, it's a straightforward 1:1 translation. It all ends up in the LLVM optimizer either way. c2rust doesn't change semantics of the C code, so there's no added safety, no extra abstraction, no checks. The converted code can be the first step in refactoring towards safe Rust, but that's a manual job.