René's URL Explorer Experiment

Title: Add translation rules for variadic libc calls by lucic71 · Pull Request #159 · Cpp2Rust/cpp2rust · GitHub

Open Graph Title: Add translation rules for variadic libc calls by lucic71 · Pull Request #159 · Cpp2Rust/cpp2rust

X Title: Add translation rules for variadic libc calls by lucic71 · Pull Request #159 · Cpp2Rust/cpp2rust

Description: Variadic rules are defined with the following syntax: template int f1(int a0, unsigned long a1, Args... args) { return ioctl(a0, a1, args...); } and unsafe extern "C" { fn f1(a0: i32, a1: u64, ...) -> i32; } For the C++ side, use a template argument pack. This makes it clear that the function call is variadic. For the Rust side, use a variadic function inside an extern block, that's the only place Rust allows variadic functions. I added a new attribute in the IR, called is_extern. It's used by the new Mapper::IsLibcPassthrough. A libc passthrough is a rule that it's declared in Rust extern block. In the above example ioctl is defined as a passthrough for libc::ioctl. In the future, we can use this for non-variadic rules as well.

Open Graph Description: Variadic rules are defined with the following syntax: template <typename... Args> int f1(int a0, unsigned long a1, Args... args) { return ioctl(a0, a1, args...); } and unsafe extern "C...

X Description: Variadic rules are defined with the following syntax: template &lt;typename... Args&gt; int f1(int a0, unsigned long a1, Args... args) { return ioctl(a0, a1, args...); } and unsafe extern...

Opengraph URL: https://github.com/Cpp2Rust/cpp2rust/pull/159

X: @github

direct link

Domain: github.com

Links:

Viewport: width=device-width