First steps to fix issue #57

libbindgen/src/codegen/mod.rs

@@ -655,9 +655,43 @@ impl CodeGenerator for CompInfo {
         // also don't output template specializations, neither total or partial.
         //
         // TODO: Generate layout tests for template specializations, yay!
+
+        // TODO (imp): I will keep it like that right now and move it to function later
         if self.has_non_type_template_params() ||
-           self.is_template_specialization() {
-            return;
+            self.is_template_specialization() {
+                let layout = item.kind().expect_type().layout(ctx);
+                let canonical_name = item.canonical_name(ctx);
+
+                if let Some(layout) = layout {
+
+                    let mut types = String::new();
+
+                    for arg in self.template_args() {
+                        if let Some(name) = ctx.resolve_type(*arg).name() {
+                            // hope this isn't bad
+                            types.push_str(format!("_{}", name).as_str());
+                        }
+                    }
+
+                    let fn_name = format!("bindgen_test_layout_template_{}{}", canonical_name, types);
+                    let fn_name = ctx.rust_ident_raw(&fn_name);
+                    let ident = item.to_rust_ty(ctx);
+                    let prefix = ctx.trait_prefix();
+                    let size_of_expr = quote_expr!(ctx.ext_cx(),
+                                                   ::$prefix::mem::size_of::<$ident>());
+                    let align_of_expr = quote_expr!(ctx.ext_cx(),
+                                                    ::$prefix::mem::align_of::<$ident>());
+                    let size = layout.size;
+                    let align = layout.align;
+                    let item = quote_item!(ctx.ext_cx(),
+                                           #[test]
+                                           fn $fn_name() {
+                                               assert_eq!($size_of_expr, $size);
+                                               assert_eq!($align_of_expr, $align);
+                                           }).unwrap();
+                    result.push(item);
+                }
+                return;
         }
 
         let applicable_template_args = item.applicable_template_args(ctx);

libbindgen/tests/expectations/tests/anon_union.rs

@@ -75,3 +75,10 @@ fn bindgen_test_layout_ErrorResult() {
 impl Clone for ErrorResult {
     fn clone(&self) -> Self { *self }
 }
+#[test]
+fn bindgen_test_layout_template_TErrorResult_int() {
+    assert_eq!(::std::mem::size_of::<TErrorResult<::std::os::raw::c_int>>() ,
+               24usize);
+    assert_eq!(::std::mem::align_of::<TErrorResult<::std::os::raw::c_int>>() ,
+               8usize);
+}

libbindgen/tests/expectations/tests/class_with_dtor.rs

@@ -20,3 +20,10 @@ fn bindgen_test_layout_WithoutDtor() {
     assert_eq!(::std::mem::size_of::<WithoutDtor>() , 8usize);
     assert_eq!(::std::mem::align_of::<WithoutDtor>() , 8usize);
 }
+#[test]
+fn bindgen_test_layout_template_HandleWithDtor_int() {
+    assert_eq!(::std::mem::size_of::<HandleWithDtor<::std::os::raw::c_int>>()
+               , 8usize);
+    assert_eq!(::std::mem::align_of::<HandleWithDtor<::std::os::raw::c_int>>()
+               , 8usize);
+}

libbindgen/tests/expectations/tests/crtp.rs

@@ -23,6 +23,11 @@ fn bindgen_test_layout_Derived() {
 impl Clone for Derived {
     fn clone(&self) -> Self { *self }
 }
+#[test]
+fn bindgen_test_layout_template_Base() {
+    assert_eq!(::std::mem::size_of::<Base<Derived>>() , 1usize);
+    assert_eq!(::std::mem::align_of::<Base<Derived>>() , 1usize);
+}
 #[repr(C)]
 #[derive(Debug)]
 pub struct BaseWithDestructor<T> {
@@ -41,3 +46,10 @@ fn bindgen_test_layout_DerivedFromBaseWithDestructor() {
     assert_eq!(::std::mem::align_of::<DerivedFromBaseWithDestructor>() ,
                1usize);
 }
+#[test]
+fn bindgen_test_layout_template_BaseWithDestructor() {
+    assert_eq!(::std::mem::size_of::<BaseWithDestructor<DerivedFromBaseWithDestructor>>()
+               , 1usize);
+    assert_eq!(::std::mem::align_of::<BaseWithDestructor<DerivedFromBaseWithDestructor>>()
+               , 1usize);
+}

libbindgen/tests/expectations/tests/template.rs

@@ -12,6 +12,13 @@ pub struct Foo<T, U> {
     pub m_member_arr: [T; 1usize],
     pub _phantom_1: ::std::marker::PhantomData<U>,
 }
+#[test]
+fn bindgen_test_layout_template_Foo_int_int() {
+    assert_eq!(::std::mem::size_of::<Foo<::std::os::raw::c_int, ::std::os::raw::c_int>>()
+               , 24usize);
+    assert_eq!(::std::mem::align_of::<Foo<::std::os::raw::c_int, ::std::os::raw::c_int>>()
+               , 8usize);
+}
 extern "C" {
     #[link_name = "_Z3bar3FooIiiE"]
     pub fn bar(foo: Foo<::std::os::raw::c_int, ::std::os::raw::c_int>);
@@ -168,3 +175,10 @@ pub struct TemplateWithVar<T> {
     pub _address: u8,
     pub _phantom_0: ::std::marker::PhantomData<T>,
 }
+#[test]
+fn bindgen_test_layout_template_WithDtor_int() {
+    assert_eq!(::std::mem::size_of::<WithDtor<::std::os::raw::c_int>>() ,
+               4usize);
+    assert_eq!(::std::mem::align_of::<WithDtor<::std::os::raw::c_int>>() ,
+               4usize);
+}