blob: 20b23acefe8ce7584b7bb9eaf8ed3e709b0407ff [file] [log] [blame]
Adrian Taylor0fac3212020-10-25 21:52:55 -07001use cxx_test_suite::class_in_ns::ffi3;
Adrian Taylor121cca42020-10-10 15:32:00 -07002use cxx_test_suite::extra::ffi2;
David Tolnay362c9f92020-10-10 16:29:58 -07003use cxx_test_suite::ffi;
David Tolnay3fd7f562020-01-26 17:47:11 -08004use std::cell::Cell;
David Tolnayf306da42020-02-22 19:55:43 -08005use std::ffi::CStr;
David Tolnay3fd7f562020-01-26 17:47:11 -08006
7thread_local! {
8 static CORRECT: Cell<bool> = Cell::new(false);
9}
10
11#[no_mangle]
12extern "C" fn cxx_test_suite_set_correct() {
13 CORRECT.with(|correct| correct.set(true));
14}
15
David Tolnayf306da42020-02-22 19:55:43 -080016macro_rules! check {
17 ($run:expr) => {{
18 CORRECT.with(|correct| correct.set(false));
19 $run;
20 assert!(CORRECT.with(|correct| correct.get()), stringify!($run));
21 }};
22}
23
David Tolnay3fd7f562020-01-26 17:47:11 -080024#[test]
25fn test_c_return() {
26 let shared = ffi::Shared { z: 2020 };
Adrian Taylor9a158e42020-10-24 20:51:25 -070027 let ns_shared = ffi::AShared { z: 2020 };
28 let nested_ns_shared = ffi::ABShared { z: 2020 };
David Tolnay3fd7f562020-01-26 17:47:11 -080029
30 assert_eq!(2020, ffi::c_return_primitive());
31 assert_eq!(2020, ffi::c_return_shared().z);
David Tolnaybe13d8a2020-03-06 15:45:39 -080032 assert_eq!(2020, *ffi::c_return_box());
David Tolnay3fd7f562020-01-26 17:47:11 -080033 ffi::c_return_unique_ptr();
Adrian Taylord47af7a2020-10-26 13:18:48 -070034 ffi2::c_return_ns_unique_ptr();
David Tolnay3fd7f562020-01-26 17:47:11 -080035 assert_eq!(2020, *ffi::c_return_ref(&shared));
Adrian Taylor9a158e42020-10-24 20:51:25 -070036 assert_eq!(2020, *ffi::c_return_ns_ref(&ns_shared));
37 assert_eq!(2020, *ffi::c_return_nested_ns_ref(&nested_ns_shared));
David Tolnay3fd7f562020-01-26 17:47:11 -080038 assert_eq!("2020", ffi::c_return_str(&shared));
Adrian Taylorec9430e2020-04-14 16:09:58 -070039 assert_eq!(b"2020\0", ffi::c_return_sliceu8(&shared));
David Tolnay3fd7f562020-01-26 17:47:11 -080040 assert_eq!("2020", ffi::c_return_rust_string());
David Tolnay5e29b212020-04-17 15:02:16 -070041 assert_eq!("2020", ffi::c_return_unique_ptr_string().to_str().unwrap());
David Tolnayc01d0a02020-04-24 13:30:44 -070042 assert_eq!(4, ffi::c_return_unique_ptr_vector_u8().len());
Myron Ahneba35cf2020-02-05 19:41:51 +070043 assert_eq!(
44 200_u8,
David Tolnay4f6dd4e2020-04-25 13:08:38 -070045 ffi::c_return_unique_ptr_vector_u8().into_iter().sum(),
Myron Ahneba35cf2020-02-05 19:41:51 +070046 );
47 assert_eq!(
48 200.5_f64,
David Tolnay4f6dd4e2020-04-25 13:08:38 -070049 ffi::c_return_unique_ptr_vector_f64().into_iter().sum(),
Myron Ahneba35cf2020-02-05 19:41:51 +070050 );
David Tolnayc01d0a02020-04-24 13:30:44 -070051 assert_eq!(2, ffi::c_return_unique_ptr_vector_shared().len());
Myron Ahneba35cf2020-02-05 19:41:51 +070052 assert_eq!(
53 2021_usize,
54 ffi::c_return_unique_ptr_vector_shared()
Myron Ahneba35cf2020-02-05 19:41:51 +070055 .into_iter()
56 .map(|o| o.z)
David Tolnay4f6dd4e2020-04-25 13:08:38 -070057 .sum(),
Myron Ahneba35cf2020-02-05 19:41:51 +070058 );
Joel Galensonba676072020-04-27 15:55:45 -070059 assert_eq!(2020, ffi::c_return_identity(2020));
60 assert_eq!(2021, ffi::c_return_sum(2020, 1));
Joel Galensonc03402a2020-04-23 17:31:09 -070061 match ffi::c_return_enum(0) {
Joel Galensondb1ec312020-05-01 13:57:32 -070062 enm @ ffi::Enum::AVal => assert_eq!(0, enm.repr),
Joel Galensonc03402a2020-04-23 17:31:09 -070063 _ => assert!(false),
64 }
65 match ffi::c_return_enum(1) {
Joel Galensondb1ec312020-05-01 13:57:32 -070066 enm @ ffi::Enum::BVal => assert_eq!(2020, enm.repr),
Joel Galensonc03402a2020-04-23 17:31:09 -070067 _ => assert!(false),
68 }
69 match ffi::c_return_enum(2021) {
Joel Galensondb1ec312020-05-01 13:57:32 -070070 enm @ ffi::Enum::CVal => assert_eq!(2021, enm.repr),
Joel Galensonc03402a2020-04-23 17:31:09 -070071 _ => assert!(false),
72 }
Adrian Taylor9a158e42020-10-24 20:51:25 -070073 match ffi::c_return_ns_enum(0) {
74 enm @ ffi::AEnum::AAVal => assert_eq!(0, enm.repr),
75 _ => assert!(false),
76 }
77 match ffi::c_return_nested_ns_enum(0) {
78 enm @ ffi::ABEnum::ABAVal => assert_eq!(0, enm.repr),
79 _ => assert!(false),
80 }
David Tolnay99642622020-03-25 13:07:35 -070081}
David Tolnayebef4a22020-03-17 15:33:47 -070082
David Tolnay99642622020-03-25 13:07:35 -070083#[test]
84fn test_c_try_return() {
David Tolnayebef4a22020-03-17 15:33:47 -070085 assert_eq!((), ffi::c_try_return_void().unwrap());
86 assert_eq!(2020, ffi::c_try_return_primitive().unwrap());
87 assert_eq!(
88 "logic error",
89 ffi::c_fail_return_primitive().unwrap_err().what(),
90 );
David Tolnay99642622020-03-25 13:07:35 -070091 assert_eq!(2020, *ffi::c_try_return_box().unwrap());
92 assert_eq!("2020", *ffi::c_try_return_ref(&"2020".to_owned()).unwrap());
93 assert_eq!("2020", ffi::c_try_return_str("2020").unwrap());
Adrian Taylorec9430e2020-04-14 16:09:58 -070094 assert_eq!(b"2020", ffi::c_try_return_sliceu8(b"2020").unwrap());
David Tolnay99642622020-03-25 13:07:35 -070095 assert_eq!("2020", ffi::c_try_return_rust_string().unwrap());
David Tolnay5e29b212020-04-17 15:02:16 -070096 assert_eq!("2020", &*ffi::c_try_return_unique_ptr_string().unwrap());
David Tolnay3fd7f562020-01-26 17:47:11 -080097}
98
99#[test]
100fn test_c_take() {
David Tolnay3fd7f562020-01-26 17:47:11 -0800101 let unique_ptr = ffi::c_return_unique_ptr();
Adrian Taylord47af7a2020-10-26 13:18:48 -0700102 let unique_ptr_ns = ffi2::c_return_ns_unique_ptr();
David Tolnay3fd7f562020-01-26 17:47:11 -0800103
104 check!(ffi::c_take_primitive(2020));
105 check!(ffi::c_take_shared(ffi::Shared { z: 2020 }));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700106 check!(ffi::c_take_ns_shared(ffi::AShared { z: 2020 }));
Adrian Taylorddc146e2020-10-25 21:40:17 -0700107 check!(ffi::ns_c_take_ns_shared(ffi::AShared { z: 2020 }));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700108 check!(ffi::c_take_nested_ns_shared(ffi::ABShared { z: 2020 }));
David Tolnaybe13d8a2020-03-06 15:45:39 -0800109 check!(ffi::c_take_box(Box::new(2020)));
David Tolnay5e29b212020-04-17 15:02:16 -0700110 check!(ffi::c_take_ref_c(&unique_ptr));
Adrian Taylord47af7a2020-10-26 13:18:48 -0700111 check!(ffi2::c_take_ref_ns_c(&unique_ptr_ns));
David Tolnaya62cca22020-05-07 21:52:16 -0700112 check!(cxx_test_suite::module::ffi::c_take_unique_ptr(unique_ptr));
David Tolnay3fd7f562020-01-26 17:47:11 -0800113 check!(ffi::c_take_str("2020"));
Adrian Taylorf5dd5522020-04-13 16:50:14 -0700114 check!(ffi::c_take_sliceu8(b"2020"));
David Tolnay3fd7f562020-01-26 17:47:11 -0800115 check!(ffi::c_take_rust_string("2020".to_owned()));
116 check!(ffi::c_take_unique_ptr_string(
117 ffi::c_return_unique_ptr_string()
118 ));
Myron Ahneba35cf2020-02-05 19:41:51 +0700119 check!(ffi::c_take_unique_ptr_vector_u8(
120 ffi::c_return_unique_ptr_vector_u8()
121 ));
122 check!(ffi::c_take_unique_ptr_vector_f64(
123 ffi::c_return_unique_ptr_vector_f64()
124 ));
125 check!(ffi::c_take_unique_ptr_vector_shared(
126 ffi::c_return_unique_ptr_vector_shared()
127 ));
David Tolnay2244d1f2020-04-25 13:58:18 -0700128 check!(ffi::c_take_ref_vector(&ffi::c_return_unique_ptr_vector_u8()));
myronahnda9be502020-04-29 05:47:23 +0700129 let test_vec = [86_u8, 75_u8, 30_u8, 9_u8].to_vec();
130 check!(ffi::c_take_rust_vec(test_vec.clone()));
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700131 check!(ffi::c_take_rust_vec_index(test_vec.clone()));
David Tolnaya7ba6a62020-08-26 22:33:17 -0700132 let shared_test_vec = vec![ffi::Shared { z: 1010 }, ffi::Shared { z: 1011 }];
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700133 check!(ffi::c_take_rust_vec_shared(shared_test_vec.clone()));
134 check!(ffi::c_take_rust_vec_shared_index(shared_test_vec.clone()));
David Tolnaya7ba6a62020-08-26 22:33:17 -0700135 check!(ffi::c_take_rust_vec_shared_forward_iterator(
136 shared_test_vec,
137 ));
myronahnda9be502020-04-29 05:47:23 +0700138 check!(ffi::c_take_ref_rust_vec(&test_vec));
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700139 check!(ffi::c_take_ref_rust_vec_index(&test_vec));
myronahnda9be502020-04-29 05:47:23 +0700140 check!(ffi::c_take_ref_rust_vec_copy(&test_vec));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700141 let ns_shared_test_vec = vec![ffi::AShared { z: 1010 }, ffi::AShared { z: 1011 }];
142 check!(ffi::c_take_rust_vec_ns_shared(ns_shared_test_vec));
143 let nested_ns_shared_test_vec = vec![ffi::ABShared { z: 1010 }, ffi::ABShared { z: 1011 }];
144 check!(ffi::c_take_rust_vec_nested_ns_shared(
145 nested_ns_shared_test_vec
146 ));
147
Joel Galensonc03402a2020-04-23 17:31:09 -0700148 check!(ffi::c_take_enum(ffi::Enum::AVal));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700149 check!(ffi::c_take_ns_enum(ffi::AEnum::AAVal));
150 check!(ffi::c_take_nested_ns_enum(ffi::ABEnum::ABAVal));
David Tolnay3fd7f562020-01-26 17:47:11 -0800151}
David Tolnayf306da42020-02-22 19:55:43 -0800152
David Tolnay0c8c0f22020-07-21 17:57:46 -0700153/*
154// https://github.com/dtolnay/cxx/issues/232
David Tolnayf306da42020-02-22 19:55:43 -0800155#[test]
David Tolnay75dca2e2020-03-25 20:17:52 -0700156fn test_c_callback() {
157 fn callback(s: String) -> usize {
158 if s == "2020" {
159 cxx_test_suite_set_correct();
160 }
161 0
162 }
163
164 check!(ffi::c_take_callback(callback));
165}
David Tolnay0c8c0f22020-07-21 17:57:46 -0700166*/
David Tolnay75dca2e2020-03-25 20:17:52 -0700167
168#[test]
David Tolnayf306da42020-02-22 19:55:43 -0800169fn test_c_call_r() {
170 fn cxx_run_test() {
171 extern "C" {
172 fn cxx_run_test() -> *const i8;
173 }
174 let failure = unsafe { cxx_run_test() };
175 if !failure.is_null() {
Myron Ahnd963bf92020-05-17 12:32:42 +0700176 let msg = unsafe { CStr::from_ptr(failure as *mut std::os::raw::c_char) };
David Tolnayf306da42020-02-22 19:55:43 -0800177 eprintln!("{}", msg.to_string_lossy());
178 }
179 }
180 check!(cxx_run_test());
181}
David Tolnaybe13d8a2020-03-06 15:45:39 -0800182
Joel Galenson3d4f6122020-04-07 15:54:05 -0700183#[test]
184fn test_c_method_calls() {
185 let mut unique_ptr = ffi::c_return_unique_ptr();
186
David Tolnay5e29b212020-04-17 15:02:16 -0700187 let old_value = unique_ptr.get();
Joel Galenson3d4f6122020-04-07 15:54:05 -0700188 assert_eq!(2020, old_value);
David Tolnay5e29b212020-04-17 15:02:16 -0700189 assert_eq!(2021, unique_ptr.set(2021));
190 assert_eq!(2021, unique_ptr.get());
Joel Galensone1e969d2020-04-21 12:50:20 -0700191 assert_eq!(old_value, unique_ptr.set2(old_value));
myronahne3b78ea2020-05-23 01:08:13 +0700192 assert_eq!(old_value, unique_ptr.get2());
David Tolnayae714362020-05-22 11:12:26 -0700193 assert_eq!(2022, unique_ptr.set_succeed(2022).unwrap());
myronahne3b78ea2020-05-23 01:08:13 +0700194 assert!(unique_ptr.get_fail().is_err());
Joel Galenson3d4f6122020-04-07 15:54:05 -0700195}
196
Joel Galensondb1ec312020-05-01 13:57:32 -0700197#[test]
Adrian Taylor0fac3212020-10-25 21:52:55 -0700198fn test_c_ns_method_calls() {
199 let unique_ptr = ffi3::ns_c_return_unique_ptr_ns();
200
201 let old_value = unique_ptr.get();
202 assert_eq!(1000, old_value);
203}
204
205#[test]
Joel Galensondb1ec312020-05-01 13:57:32 -0700206fn test_enum_representations() {
207 assert_eq!(0, ffi::Enum::AVal.repr);
208 assert_eq!(2020, ffi::Enum::BVal.repr);
209 assert_eq!(2021, ffi::Enum::CVal.repr);
210}
211
David Tolnaybe13d8a2020-03-06 15:45:39 -0800212#[no_mangle]
213extern "C" fn cxx_test_suite_get_box() -> *mut cxx_test_suite::R {
214 Box::into_raw(Box::new(2020usize))
215}
David Tolnaya7d00e82020-03-06 15:50:14 -0800216
217#[no_mangle]
218unsafe extern "C" fn cxx_test_suite_r_is_correct(r: *const cxx_test_suite::R) -> bool {
219 *r == 2020
220}
David Tolnay3bbcdbb2020-10-09 19:29:44 -0700221
222#[test]
223fn test_rust_name_attribute() {
224 assert_eq!("2020", ffi::i32_overloaded_function(2020));
225 assert_eq!("2020", ffi::str_overloaded_function("2020"));
226 let unique_ptr = ffi::c_return_unique_ptr();
227 assert_eq!("2020", unique_ptr.i32_overloaded_method(2020));
228 assert_eq!("2020", unique_ptr.str_overloaded_method("2020"));
229}
Adrian Taylor121cca42020-10-10 15:32:00 -0700230
231#[test]
232fn test_extern_trivial() {
233 let d = ffi2::c_return_trivial();
234 check!(ffi2::c_take_trivial_ref(&d));
235 check!(ffi2::c_take_trivial(d));
236 let d = ffi2::c_return_trivial_ptr();
237 check!(ffi2::c_take_trivial_ptr(d));
Adrian Taylord75f7e22020-10-12 15:54:54 -0700238 cxx::UniquePtr::new(ffi2::D { d: 42 });
Adrian Taylorddc146e2020-10-25 21:40:17 -0700239 let d = ffi2::ns_c_return_trivial();
240 check!(ffi2::ns_c_take_trivial(d));
Adrian Taylor585bb0b2020-10-26 13:17:17 -0700241
242 let g = ffi2::c_return_trivial_ns();
243 check!(ffi2::c_take_trivial_ns_ref(&g));
244 check!(ffi2::c_take_trivial_ns(g));
245 let g = ffi2::c_return_trivial_ns_ptr();
246 check!(ffi2::c_take_trivial_ns_ptr(g));
247 cxx::UniquePtr::new(ffi2::G { g: 42 });
Adrian Taylor121cca42020-10-10 15:32:00 -0700248}
249
250#[test]
251fn test_extern_opaque() {
252 let e = ffi2::c_return_opaque_ptr();
253 check!(ffi2::c_take_opaque_ref(e.as_ref().unwrap()));
254 check!(ffi2::c_take_opaque_ptr(e));
Adrian Taylor5e79c642020-10-24 21:09:42 -0700255
256 let f = ffi2::c_return_ns_opaque_ptr();
257 check!(ffi2::c_take_opaque_ns_ref(f.as_ref().unwrap()));
258 check!(ffi2::c_take_opaque_ns_ptr(f));
Adrian Taylor121cca42020-10-10 15:32:00 -0700259}