Skip to content

Commit

Permalink
Rollup merge of #130669 - workingjubilee:slicing-fnptr-tests-finely, …
Browse files Browse the repository at this point in the history
…r=compiler-errors

tests: Test that `extern "C" fn` ptrs lint on slices

This seems to have slipped past the `improper_ctypes_definitions` lint at some point. I found similar tests but not one with this exact combination, so test the semi-unique combination.
  • Loading branch information
workingjubilee authored Sep 22, 2024
2 parents b020864 + e62b5e6 commit f314db6
Show file tree
Hide file tree
Showing 2 changed files with 25 additions and 0 deletions.
9 changes: 9 additions & 0 deletions tests/ui/lint/extern-C-fnptr-lints-slices.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
#[deny(improper_ctypes_definitions)]

// It's an improper ctype (a slice) arg in an extern "C" fnptr.

pub type F = extern "C" fn(&[u8]);
//~^ ERROR: `extern` fn uses type `[u8]`, which is not FFI-safe


fn main() {}
16 changes: 16 additions & 0 deletions tests/ui/lint/extern-C-fnptr-lints-slices.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
error: `extern` fn uses type `[u8]`, which is not FFI-safe
--> $DIR/extern-C-fnptr-lints-slices.rs:5:14
|
LL | pub type F = extern "C" fn(&[u8]);
| ^^^^^^^^^^^^^^^^^^^^ not FFI-safe
|
= help: consider using a raw pointer instead
= note: slices have no C equivalent
note: the lint level is defined here
--> $DIR/extern-C-fnptr-lints-slices.rs:1:8
|
LL | #[deny(improper_ctypes_definitions)]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: aborting due to 1 previous error

0 comments on commit f314db6

Please sign in to comment.