News for hackers. Stuff that matters.
Re:Compiling C to Safe Rust, Formalized by CodesInChaos on Saturday December 21, 2024 @07:56AM (#42479395)
Why does C2Rust produce so much incorrect code? Getting 5% wrong sounds terrible, for a 1:1 translation to unsafe Rust. What does it mis-translate?

https://dl.acm.org/doi/pdf/10.1145/3597503.3639226

> As for C2Rust, the 5% unsuccessful translations were due to compilation errors, the majority of them caused by unused imports.

I'm rather confused what that means, since unused imports cause warnings, not errors in Rust.

There are no comments on this comment yet.