search

immunant / c2rust

Migrate C code to Rust
https://c2rust.com/
Other
3.81k stars 220 forks source link

analyze: mark the inputs and output of foreign, non-body-owners as fixed #965

Closed aneksteind closed 1 year ago

aneksteind commented 1 year ago

Comment here

With this change, rewrite::expr on callers comes up with the right TypeDescs for the callee's args and generates the right casts.