blob: 21f8a8c19cfa3da03ae46d62146861d1dafc53a4 [file] [log] [blame]
Adrian Taylor121cca42020-10-10 15:32:00 -07001use cxx_test_suite::extra::ffi2;
David Tolnay362c9f92020-10-10 16:29:58 -07002use cxx_test_suite::ffi;
David Tolnay3fd7f562020-01-26 17:47:11 -08003use std::cell::Cell;
David Tolnayf306da42020-02-22 19:55:43 -08004use std::ffi::CStr;
David Tolnay3fd7f562020-01-26 17:47:11 -08005
6thread_local! {
7 static CORRECT: Cell<bool> = Cell::new(false);
8}
9
10#[no_mangle]
11extern "C" fn cxx_test_suite_set_correct() {
12 CORRECT.with(|correct| correct.set(true));
13}
14
David Tolnayf306da42020-02-22 19:55:43 -080015macro_rules! check {
16 ($run:expr) => {{
17 CORRECT.with(|correct| correct.set(false));
18 $run;
19 assert!(CORRECT.with(|correct| correct.get()), stringify!($run));
20 }};
21}
22
David Tolnay3fd7f562020-01-26 17:47:11 -080023#[test]
24fn test_c_return() {
25 let shared = ffi::Shared { z: 2020 };
Adrian Taylor9a158e42020-10-24 20:51:25 -070026 let ns_shared = ffi::AShared { z: 2020 };
27 let nested_ns_shared = ffi::ABShared { z: 2020 };
David Tolnay3fd7f562020-01-26 17:47:11 -080028
29 assert_eq!(2020, ffi::c_return_primitive());
30 assert_eq!(2020, ffi::c_return_shared().z);
David Tolnaybe13d8a2020-03-06 15:45:39 -080031 assert_eq!(2020, *ffi::c_return_box());
David Tolnay3fd7f562020-01-26 17:47:11 -080032 ffi::c_return_unique_ptr();
Adrian Taylord47af7a2020-10-26 13:18:48 -070033 ffi2::c_return_ns_unique_ptr();
David Tolnay3fd7f562020-01-26 17:47:11 -080034 assert_eq!(2020, *ffi::c_return_ref(&shared));
Adrian Taylor9a158e42020-10-24 20:51:25 -070035 assert_eq!(2020, *ffi::c_return_ns_ref(&ns_shared));
36 assert_eq!(2020, *ffi::c_return_nested_ns_ref(&nested_ns_shared));
David Tolnay3fd7f562020-01-26 17:47:11 -080037 assert_eq!("2020", ffi::c_return_str(&shared));
Adrian Taylorec9430e2020-04-14 16:09:58 -070038 assert_eq!(b"2020\0", ffi::c_return_sliceu8(&shared));
David Tolnay3fd7f562020-01-26 17:47:11 -080039 assert_eq!("2020", ffi::c_return_rust_string());
David Tolnay5e29b212020-04-17 15:02:16 -070040 assert_eq!("2020", ffi::c_return_unique_ptr_string().to_str().unwrap());
David Tolnayc01d0a02020-04-24 13:30:44 -070041 assert_eq!(4, ffi::c_return_unique_ptr_vector_u8().len());
Myron Ahneba35cf2020-02-05 19:41:51 +070042 assert_eq!(
43 200_u8,
David Tolnay4f6dd4e2020-04-25 13:08:38 -070044 ffi::c_return_unique_ptr_vector_u8().into_iter().sum(),
Myron Ahneba35cf2020-02-05 19:41:51 +070045 );
46 assert_eq!(
47 200.5_f64,
David Tolnay4f6dd4e2020-04-25 13:08:38 -070048 ffi::c_return_unique_ptr_vector_f64().into_iter().sum(),
Myron Ahneba35cf2020-02-05 19:41:51 +070049 );
David Tolnayc01d0a02020-04-24 13:30:44 -070050 assert_eq!(2, ffi::c_return_unique_ptr_vector_shared().len());
Myron Ahneba35cf2020-02-05 19:41:51 +070051 assert_eq!(
52 2021_usize,
53 ffi::c_return_unique_ptr_vector_shared()
Myron Ahneba35cf2020-02-05 19:41:51 +070054 .into_iter()
55 .map(|o| o.z)
David Tolnay4f6dd4e2020-04-25 13:08:38 -070056 .sum(),
Myron Ahneba35cf2020-02-05 19:41:51 +070057 );
Joel Galensonba676072020-04-27 15:55:45 -070058 assert_eq!(2020, ffi::c_return_identity(2020));
59 assert_eq!(2021, ffi::c_return_sum(2020, 1));
Joel Galensonc03402a2020-04-23 17:31:09 -070060 match ffi::c_return_enum(0) {
Joel Galensondb1ec312020-05-01 13:57:32 -070061 enm @ ffi::Enum::AVal => assert_eq!(0, enm.repr),
Joel Galensonc03402a2020-04-23 17:31:09 -070062 _ => assert!(false),
63 }
64 match ffi::c_return_enum(1) {
Joel Galensondb1ec312020-05-01 13:57:32 -070065 enm @ ffi::Enum::BVal => assert_eq!(2020, enm.repr),
Joel Galensonc03402a2020-04-23 17:31:09 -070066 _ => assert!(false),
67 }
68 match ffi::c_return_enum(2021) {
Joel Galensondb1ec312020-05-01 13:57:32 -070069 enm @ ffi::Enum::CVal => assert_eq!(2021, enm.repr),
Joel Galensonc03402a2020-04-23 17:31:09 -070070 _ => assert!(false),
71 }
Adrian Taylor9a158e42020-10-24 20:51:25 -070072 match ffi::c_return_ns_enum(0) {
73 enm @ ffi::AEnum::AAVal => assert_eq!(0, enm.repr),
74 _ => assert!(false),
75 }
76 match ffi::c_return_nested_ns_enum(0) {
77 enm @ ffi::ABEnum::ABAVal => assert_eq!(0, enm.repr),
78 _ => assert!(false),
79 }
David Tolnay99642622020-03-25 13:07:35 -070080}
David Tolnayebef4a22020-03-17 15:33:47 -070081
David Tolnay99642622020-03-25 13:07:35 -070082#[test]
83fn test_c_try_return() {
David Tolnayebef4a22020-03-17 15:33:47 -070084 assert_eq!((), ffi::c_try_return_void().unwrap());
85 assert_eq!(2020, ffi::c_try_return_primitive().unwrap());
86 assert_eq!(
87 "logic error",
88 ffi::c_fail_return_primitive().unwrap_err().what(),
89 );
David Tolnay99642622020-03-25 13:07:35 -070090 assert_eq!(2020, *ffi::c_try_return_box().unwrap());
91 assert_eq!("2020", *ffi::c_try_return_ref(&"2020".to_owned()).unwrap());
92 assert_eq!("2020", ffi::c_try_return_str("2020").unwrap());
Adrian Taylorec9430e2020-04-14 16:09:58 -070093 assert_eq!(b"2020", ffi::c_try_return_sliceu8(b"2020").unwrap());
David Tolnay99642622020-03-25 13:07:35 -070094 assert_eq!("2020", ffi::c_try_return_rust_string().unwrap());
David Tolnay5e29b212020-04-17 15:02:16 -070095 assert_eq!("2020", &*ffi::c_try_return_unique_ptr_string().unwrap());
David Tolnay3fd7f562020-01-26 17:47:11 -080096}
97
98#[test]
99fn test_c_take() {
David Tolnay3fd7f562020-01-26 17:47:11 -0800100 let unique_ptr = ffi::c_return_unique_ptr();
Adrian Taylord47af7a2020-10-26 13:18:48 -0700101 let unique_ptr_ns = ffi2::c_return_ns_unique_ptr();
David Tolnay3fd7f562020-01-26 17:47:11 -0800102
103 check!(ffi::c_take_primitive(2020));
104 check!(ffi::c_take_shared(ffi::Shared { z: 2020 }));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700105 check!(ffi::c_take_ns_shared(ffi::AShared { z: 2020 }));
Adrian Taylorddc146e2020-10-25 21:40:17 -0700106 check!(ffi::ns_c_take_ns_shared(ffi::AShared { z: 2020 }));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700107 check!(ffi::c_take_nested_ns_shared(ffi::ABShared { z: 2020 }));
David Tolnaybe13d8a2020-03-06 15:45:39 -0800108 check!(ffi::c_take_box(Box::new(2020)));
David Tolnay5e29b212020-04-17 15:02:16 -0700109 check!(ffi::c_take_ref_c(&unique_ptr));
Adrian Taylord47af7a2020-10-26 13:18:48 -0700110 check!(ffi2::c_take_ref_ns_c(&unique_ptr_ns));
David Tolnaya62cca22020-05-07 21:52:16 -0700111 check!(cxx_test_suite::module::ffi::c_take_unique_ptr(unique_ptr));
David Tolnay3fd7f562020-01-26 17:47:11 -0800112 check!(ffi::c_take_str("2020"));
Adrian Taylorf5dd5522020-04-13 16:50:14 -0700113 check!(ffi::c_take_sliceu8(b"2020"));
David Tolnay3fd7f562020-01-26 17:47:11 -0800114 check!(ffi::c_take_rust_string("2020".to_owned()));
115 check!(ffi::c_take_unique_ptr_string(
116 ffi::c_return_unique_ptr_string()
117 ));
Myron Ahneba35cf2020-02-05 19:41:51 +0700118 check!(ffi::c_take_unique_ptr_vector_u8(
119 ffi::c_return_unique_ptr_vector_u8()
120 ));
121 check!(ffi::c_take_unique_ptr_vector_f64(
122 ffi::c_return_unique_ptr_vector_f64()
123 ));
124 check!(ffi::c_take_unique_ptr_vector_shared(
125 ffi::c_return_unique_ptr_vector_shared()
126 ));
David Tolnay2244d1f2020-04-25 13:58:18 -0700127 check!(ffi::c_take_ref_vector(&ffi::c_return_unique_ptr_vector_u8()));
myronahnda9be502020-04-29 05:47:23 +0700128 let test_vec = [86_u8, 75_u8, 30_u8, 9_u8].to_vec();
129 check!(ffi::c_take_rust_vec(test_vec.clone()));
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700130 check!(ffi::c_take_rust_vec_index(test_vec.clone()));
David Tolnaya7ba6a62020-08-26 22:33:17 -0700131 let shared_test_vec = vec![ffi::Shared { z: 1010 }, ffi::Shared { z: 1011 }];
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700132 check!(ffi::c_take_rust_vec_shared(shared_test_vec.clone()));
133 check!(ffi::c_take_rust_vec_shared_index(shared_test_vec.clone()));
David Tolnaya7ba6a62020-08-26 22:33:17 -0700134 check!(ffi::c_take_rust_vec_shared_forward_iterator(
135 shared_test_vec,
136 ));
myronahnda9be502020-04-29 05:47:23 +0700137 check!(ffi::c_take_ref_rust_vec(&test_vec));
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700138 check!(ffi::c_take_ref_rust_vec_index(&test_vec));
myronahnda9be502020-04-29 05:47:23 +0700139 check!(ffi::c_take_ref_rust_vec_copy(&test_vec));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700140 let ns_shared_test_vec = vec![ffi::AShared { z: 1010 }, ffi::AShared { z: 1011 }];
141 check!(ffi::c_take_rust_vec_ns_shared(ns_shared_test_vec));
142 let nested_ns_shared_test_vec = vec![ffi::ABShared { z: 1010 }, ffi::ABShared { z: 1011 }];
143 check!(ffi::c_take_rust_vec_nested_ns_shared(
144 nested_ns_shared_test_vec
145 ));
146
Joel Galensonc03402a2020-04-23 17:31:09 -0700147 check!(ffi::c_take_enum(ffi::Enum::AVal));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700148 check!(ffi::c_take_ns_enum(ffi::AEnum::AAVal));
149 check!(ffi::c_take_nested_ns_enum(ffi::ABEnum::ABAVal));
David Tolnay3fd7f562020-01-26 17:47:11 -0800150}
David Tolnayf306da42020-02-22 19:55:43 -0800151
David Tolnay0c8c0f22020-07-21 17:57:46 -0700152/*
153// https://github.com/dtolnay/cxx/issues/232
David Tolnayf306da42020-02-22 19:55:43 -0800154#[test]
David Tolnay75dca2e2020-03-25 20:17:52 -0700155fn test_c_callback() {
156 fn callback(s: String) -> usize {
157 if s == "2020" {
158 cxx_test_suite_set_correct();
159 }
160 0
161 }
162
163 check!(ffi::c_take_callback(callback));
164}
David Tolnay0c8c0f22020-07-21 17:57:46 -0700165*/
David Tolnay75dca2e2020-03-25 20:17:52 -0700166
167#[test]
David Tolnayf306da42020-02-22 19:55:43 -0800168fn test_c_call_r() {
169 fn cxx_run_test() {
170 extern "C" {
171 fn cxx_run_test() -> *const i8;
172 }
173 let failure = unsafe { cxx_run_test() };
174 if !failure.is_null() {
Myron Ahnd963bf92020-05-17 12:32:42 +0700175 let msg = unsafe { CStr::from_ptr(failure as *mut std::os::raw::c_char) };
David Tolnayf306da42020-02-22 19:55:43 -0800176 eprintln!("{}", msg.to_string_lossy());
177 }
178 }
179 check!(cxx_run_test());
180}
David Tolnaybe13d8a2020-03-06 15:45:39 -0800181
Joel Galenson3d4f6122020-04-07 15:54:05 -0700182#[test]
183fn test_c_method_calls() {
184 let mut unique_ptr = ffi::c_return_unique_ptr();
185
David Tolnay5e29b212020-04-17 15:02:16 -0700186 let old_value = unique_ptr.get();
Joel Galenson3d4f6122020-04-07 15:54:05 -0700187 assert_eq!(2020, old_value);
David Tolnay5e29b212020-04-17 15:02:16 -0700188 assert_eq!(2021, unique_ptr.set(2021));
189 assert_eq!(2021, unique_ptr.get());
Joel Galensone1e969d2020-04-21 12:50:20 -0700190 assert_eq!(old_value, unique_ptr.set2(old_value));
myronahne3b78ea2020-05-23 01:08:13 +0700191 assert_eq!(old_value, unique_ptr.get2());
David Tolnayae714362020-05-22 11:12:26 -0700192 assert_eq!(2022, unique_ptr.set_succeed(2022).unwrap());
myronahne3b78ea2020-05-23 01:08:13 +0700193 assert!(unique_ptr.get_fail().is_err());
Joel Galenson3d4f6122020-04-07 15:54:05 -0700194}
195
Joel Galensondb1ec312020-05-01 13:57:32 -0700196#[test]
197fn test_enum_representations() {
198 assert_eq!(0, ffi::Enum::AVal.repr);
199 assert_eq!(2020, ffi::Enum::BVal.repr);
200 assert_eq!(2021, ffi::Enum::CVal.repr);
201}
202
David Tolnaybe13d8a2020-03-06 15:45:39 -0800203#[no_mangle]
204extern "C" fn cxx_test_suite_get_box() -> *mut cxx_test_suite::R {
205 Box::into_raw(Box::new(2020usize))
206}
David Tolnaya7d00e82020-03-06 15:50:14 -0800207
208#[no_mangle]
209unsafe extern "C" fn cxx_test_suite_r_is_correct(r: *const cxx_test_suite::R) -> bool {
210 *r == 2020
211}
David Tolnay3bbcdbb2020-10-09 19:29:44 -0700212
213#[test]
214fn test_rust_name_attribute() {
215 assert_eq!("2020", ffi::i32_overloaded_function(2020));
216 assert_eq!("2020", ffi::str_overloaded_function("2020"));
217 let unique_ptr = ffi::c_return_unique_ptr();
218 assert_eq!("2020", unique_ptr.i32_overloaded_method(2020));
219 assert_eq!("2020", unique_ptr.str_overloaded_method("2020"));
220}
Adrian Taylor121cca42020-10-10 15:32:00 -0700221
222#[test]
223fn test_extern_trivial() {
224 let d = ffi2::c_return_trivial();
225 check!(ffi2::c_take_trivial_ref(&d));
226 check!(ffi2::c_take_trivial(d));
227 let d = ffi2::c_return_trivial_ptr();
228 check!(ffi2::c_take_trivial_ptr(d));
Adrian Taylord75f7e22020-10-12 15:54:54 -0700229 cxx::UniquePtr::new(ffi2::D { d: 42 });
Adrian Taylorddc146e2020-10-25 21:40:17 -0700230 let d = ffi2::ns_c_return_trivial();
231 check!(ffi2::ns_c_take_trivial(d));
Adrian Taylor585bb0b2020-10-26 13:17:17 -0700232
233 let g = ffi2::c_return_trivial_ns();
234 check!(ffi2::c_take_trivial_ns_ref(&g));
235 check!(ffi2::c_take_trivial_ns(g));
236 let g = ffi2::c_return_trivial_ns_ptr();
237 check!(ffi2::c_take_trivial_ns_ptr(g));
238 cxx::UniquePtr::new(ffi2::G { g: 42 });
Adrian Taylor121cca42020-10-10 15:32:00 -0700239}
240
241#[test]
242fn test_extern_opaque() {
243 let e = ffi2::c_return_opaque_ptr();
244 check!(ffi2::c_take_opaque_ref(e.as_ref().unwrap()));
245 check!(ffi2::c_take_opaque_ptr(e));
Adrian Taylor5e79c642020-10-24 21:09:42 -0700246
247 let f = ffi2::c_return_ns_opaque_ptr();
248 check!(ffi2::c_take_opaque_ns_ref(f.as_ref().unwrap()));
249 check!(ffi2::c_take_opaque_ns_ptr(f));
Adrian Taylor121cca42020-10-10 15:32:00 -0700250}