Skip to content

Commit

Permalink
Follow proper derive rules for function pointers.
Browse files Browse the repository at this point in the history
  • Loading branch information
emilio committed Mar 1, 2017
1 parent 56021b2 commit 0ce79c3
Show file tree
Hide file tree
Showing 6 changed files with 97 additions and 3 deletions.
24 changes: 24 additions & 0 deletions src/ir/function.rs
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ use super::dot::DotAttributes;
use super::item::Item;
use super::traversal::{EdgeKind, Trace, Tracer};
use super::ty::TypeKind;
use ir::derive::CanDeriveDebug;
use clang;
use clang_sys::CXCallingConv;
use parse::{ClangItemParser, ClangSubItemParser, ParseError, ParseResult};
Expand Down Expand Up @@ -349,3 +350,26 @@ impl Trace for FunctionSig {
}
}
}

// Function pointers follow special rules, see:
//
// https://github.com/servo/rust-bindgen/issues/547,
// https://github.com/rust-lang/rust/issues/38848,
// and https://github.com/rust-lang/rust/issues/40158
//
// Note that copy is always derived, so we don't need to implement it.
impl CanDeriveDebug for FunctionSig {
type Extra = ();

fn can_derive_debug(&self, _ctx: &BindgenContext, _: ()) -> bool {
const RUST_DERIVE_FUNPTR_LIMIT: usize = 12;
if self.argument_types.len() > RUST_DERIVE_FUNPTR_LIMIT {
return false;
}

match self.abi {
Some(abi::Abi::C) | None => true,
_ => false,
}
}
}
8 changes: 8 additions & 0 deletions src/ir/ty.rs
Original file line number Diff line number Diff line change
Expand Up @@ -605,6 +605,13 @@ impl CanDeriveDebug for Type {
TypeKind::Comp(ref info) => {
info.can_derive_debug(ctx, self.layout(ctx))
}
TypeKind::Pointer(inner) => {
let inner = ctx.resolve_type(inner);
if let TypeKind::Function(ref sig) = *inner.canonical_type(ctx).kind() {
return sig.can_derive_debug(ctx, ());
}
return true;
}
_ => true,
}
}
Expand Down Expand Up @@ -636,6 +643,7 @@ impl CanDeriveDefault for Type {
TypeKind::ObjCSel |
TypeKind::ObjCInterface(..) |
TypeKind::Enum(..) => false,

TypeKind::Function(..) |
TypeKind::Int(..) |
TypeKind::Float(..) |
Expand Down
12 changes: 9 additions & 3 deletions tests/expectations/tests/call-conv-field.rs
Original file line number Diff line number Diff line change
Expand Up @@ -5,24 +5,30 @@


#[repr(C)]
#[derive(Debug, Copy)]
#[derive(Copy)]
pub struct JNINativeInterface_ {
pub GetVersion: ::std::option::Option<unsafe extern "stdcall" fn(env:
*mut ::std::os::raw::c_void)
-> ::std::os::raw::c_int>,
pub __hack: ::std::os::raw::c_ulonglong,
}
#[test]
fn bindgen_test_layout_JNINativeInterface_() {
assert_eq!(::std::mem::size_of::<JNINativeInterface_>() , 4usize , concat
assert_eq!(::std::mem::size_of::<JNINativeInterface_>() , 16usize , concat
! ( "Size of: " , stringify ! ( JNINativeInterface_ ) ));
assert_eq! (::std::mem::align_of::<JNINativeInterface_>() , 4usize ,
assert_eq! (::std::mem::align_of::<JNINativeInterface_>() , 8usize ,
concat ! (
"Alignment of " , stringify ! ( JNINativeInterface_ ) ));
assert_eq! (unsafe {
& ( * ( 0 as * const JNINativeInterface_ ) ) . GetVersion as *
const _ as usize } , 0usize , concat ! (
"Alignment of field: " , stringify ! ( JNINativeInterface_ ) ,
"::" , stringify ! ( GetVersion ) ));
assert_eq! (unsafe {
& ( * ( 0 as * const JNINativeInterface_ ) ) . __hack as *
const _ as usize } , 8usize , concat ! (
"Alignment of field: " , stringify ! ( JNINativeInterface_ ) ,
"::" , stringify ! ( __hack ) ));
}
impl Clone for JNINativeInterface_ {
fn clone(&self) -> Self { *self }
Expand Down
46 changes: 46 additions & 0 deletions tests/expectations/tests/derive-fn-ptr.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
/* automatically generated by rust-bindgen */


#![allow(non_snake_case)]


pub type my_fun_t =
::std::option::Option<unsafe extern "C" fn(arg1: ::std::os::raw::c_int,
arg2: ::std::os::raw::c_int,
arg3: ::std::os::raw::c_int,
arg4: ::std::os::raw::c_int,
arg5: ::std::os::raw::c_int,
arg6: ::std::os::raw::c_int,
arg7: ::std::os::raw::c_int,
arg8: ::std::os::raw::c_int,
arg9: ::std::os::raw::c_int,
arg10: ::std::os::raw::c_int,
arg11: ::std::os::raw::c_int,
arg12: ::std::os::raw::c_int,
arg13: ::std::os::raw::c_int,
arg14: ::std::os::raw::c_int,
arg15: ::std::os::raw::c_int,
arg16: ::std::os::raw::c_int)>;
#[repr(C)]
#[derive(Copy)]
pub struct Foo {
pub callback: my_fun_t,
}
#[test]
fn bindgen_test_layout_Foo() {
assert_eq!(::std::mem::size_of::<Foo>() , 8usize , concat ! (
"Size of: " , stringify ! ( Foo ) ));
assert_eq! (::std::mem::align_of::<Foo>() , 8usize , concat ! (
"Alignment of " , stringify ! ( Foo ) ));
assert_eq! (unsafe {
& ( * ( 0 as * const Foo ) ) . callback as * const _ as usize
} , 0usize , concat ! (
"Alignment of field: " , stringify ! ( Foo ) , "::" ,
stringify ! ( callback ) ));
}
impl Clone for Foo {
fn clone(&self) -> Self { *self }
}
impl Default for Foo {
fn default() -> Self { unsafe { ::std::mem::zeroed() } }
}
2 changes: 2 additions & 0 deletions tests/headers/call-conv-field.h
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@

struct JNINativeInterface_ {
int (__stdcall *GetVersion)(void *env);
unsigned long long __hack; // A hack so the field alignment is the same than
// for 64-bit, where we run CI.
};

__stdcall void bar();
8 changes: 8 additions & 0 deletions tests/headers/derive-fn-ptr.h
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
typedef void (*my_fun_t)(int, int, int, int,
int, int, int, int,
int, int, int, int,
int, int, int, int);

struct Foo {
my_fun_t callback;
};

0 comments on commit 0ce79c3

Please sign in to comment.