The improper_ctypes lint is very weak

[amluto]

This code compiles without warnings. I think that the improper_ctypes lint should catch both of the extern declarations.

#[allow(dead_code)]

#[repr(C)]
enum NotSoGood {
    A,
    B(i32),
}

extern "C" {
    fn foo(a: [u8; 16]);
    fn bar(a: NotSoGood);
}

#[no_mangle]
pub extern fn test() {
    unsafe {
        foo([1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]);
        bar(NotSoGood::B(0));
    }
}

The array case (foo) is particularly nasty. On brief, insufficiently careful inspection, it looks like it matches:

void foo(uint8_t a[16]);

But it actually doesn't match that and instead seems to try to pass the array in packed form in xmm0 on x86_64. This is extra nasty because I think I've caught rust-bindgen generating bindings like this.

[nagisa]

I think that the improper_ctypes lint should catch both of the extern declarations.

The enum should be caught, but the extern declarations should not, because code like following is entirely valid:

// in rust
#[link_name="bar"]
pub extern fn stuff(a: NotSoGood) { ... }

// somewhere else, still in rust
extern { fn bar(a: NotSoGood); }

To explain, making functions be called using non-Rust calling convention does not invalidate passing rust data types back into Rust for functions implemented with non-Rust calling convention.

[retep998]

void foo(uint8_t a[16]); in C/C++ does not actually mean what it looks like. It actually means void foo(uint8_t* a);. So the fault lies with C/C++ being confusing in this case.

[amluto]

@nagisa: I agree that your code is valid, but you typed extern and not extern "C". There's a C ABI, and that ABI, as a practical matter, does not include passing arrays by value, since you can't pass arrays by value in C.

Oddly, the actual x86_64 psABI does seem to think that arrays can be passed:

The classification of aggregate (structures and arrays) and union types works as follows:  ...

and I haven't found an example of Rust deviating from the psABI document, but I still suspect that almost (or maybe even exactly) 100% of cases where someone has actually attempted to pass an array into an extern "C" function are incorrect.

[nagisa]

extern ≡ extern "C"

[amluto]

Wow, somehow I assumed the default was the Rust calling convention.

[RalfJung]

@nagisa (I know I'm a bit late, what can you do) In your example, rustc actually will warn on the extern { fn } side of things. How is the trade-off different on the extern fn side?

[nagisa]

The #[repr(C)] enum now has a formal definition, so this issue looks like it can be closed.

In your example, rustc actually will warn on the extern { fn } side of things.

Will it? All types in the example are repr(C), so there is nothing to warn about on either of the function definition or declaration.

[nagisa]

Ah I guess there is still the case with sized arrays.