| Adrian Taylor | 121cca4 | 2020-10-10 15:32:00 -0700 | [diff] [blame] | 1 | use cxx_test_suite::extra::ffi2; |
| David Tolnay | 362c9f9 | 2020-10-10 16:29:58 -0700 | [diff] [blame^] | 2 | use cxx_test_suite::ffi; |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 3 | use std::cell::Cell; |
| David Tolnay | f306da4 | 2020-02-22 19:55:43 -0800 | [diff] [blame] | 4 | use std::ffi::CStr; |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 5 | |
| 6 | thread_local! { |
| 7 | static CORRECT: Cell<bool> = Cell::new(false); |
| 8 | } |
| 9 | |
| 10 | #[no_mangle] |
| 11 | extern "C" fn cxx_test_suite_set_correct() { |
| 12 | CORRECT.with(|correct| correct.set(true)); |
| 13 | } |
| 14 | |
| David Tolnay | f306da4 | 2020-02-22 19:55:43 -0800 | [diff] [blame] | 15 | macro_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 Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 23 | #[test] |
| 24 | fn test_c_return() { |
| 25 | let shared = ffi::Shared { z: 2020 }; |
| 26 | |
| 27 | assert_eq!(2020, ffi::c_return_primitive()); |
| 28 | assert_eq!(2020, ffi::c_return_shared().z); |
| David Tolnay | be13d8a | 2020-03-06 15:45:39 -0800 | [diff] [blame] | 29 | assert_eq!(2020, *ffi::c_return_box()); |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 30 | ffi::c_return_unique_ptr(); |
| 31 | assert_eq!(2020, *ffi::c_return_ref(&shared)); |
| 32 | assert_eq!("2020", ffi::c_return_str(&shared)); |
| Adrian Taylor | ec9430e | 2020-04-14 16:09:58 -0700 | [diff] [blame] | 33 | assert_eq!(b"2020\0", ffi::c_return_sliceu8(&shared)); |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 34 | assert_eq!("2020", ffi::c_return_rust_string()); |
| David Tolnay | 5e29b21 | 2020-04-17 15:02:16 -0700 | [diff] [blame] | 35 | assert_eq!("2020", ffi::c_return_unique_ptr_string().to_str().unwrap()); |
| David Tolnay | c01d0a0 | 2020-04-24 13:30:44 -0700 | [diff] [blame] | 36 | assert_eq!(4, ffi::c_return_unique_ptr_vector_u8().len()); |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 37 | assert_eq!( |
| 38 | 200_u8, |
| David Tolnay | 4f6dd4e | 2020-04-25 13:08:38 -0700 | [diff] [blame] | 39 | ffi::c_return_unique_ptr_vector_u8().into_iter().sum(), |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 40 | ); |
| 41 | assert_eq!( |
| 42 | 200.5_f64, |
| David Tolnay | 4f6dd4e | 2020-04-25 13:08:38 -0700 | [diff] [blame] | 43 | ffi::c_return_unique_ptr_vector_f64().into_iter().sum(), |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 44 | ); |
| David Tolnay | c01d0a0 | 2020-04-24 13:30:44 -0700 | [diff] [blame] | 45 | assert_eq!(2, ffi::c_return_unique_ptr_vector_shared().len()); |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 46 | assert_eq!( |
| 47 | 2021_usize, |
| 48 | ffi::c_return_unique_ptr_vector_shared() |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 49 | .into_iter() |
| 50 | .map(|o| o.z) |
| David Tolnay | 4f6dd4e | 2020-04-25 13:08:38 -0700 | [diff] [blame] | 51 | .sum(), |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 52 | ); |
| Joel Galenson | ba67607 | 2020-04-27 15:55:45 -0700 | [diff] [blame] | 53 | assert_eq!(2020, ffi::c_return_identity(2020)); |
| 54 | assert_eq!(2021, ffi::c_return_sum(2020, 1)); |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 55 | match ffi::c_return_enum(0) { |
| Joel Galenson | db1ec31 | 2020-05-01 13:57:32 -0700 | [diff] [blame] | 56 | enm @ ffi::Enum::AVal => assert_eq!(0, enm.repr), |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 57 | _ => assert!(false), |
| 58 | } |
| 59 | match ffi::c_return_enum(1) { |
| Joel Galenson | db1ec31 | 2020-05-01 13:57:32 -0700 | [diff] [blame] | 60 | enm @ ffi::Enum::BVal => assert_eq!(2020, enm.repr), |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 61 | _ => assert!(false), |
| 62 | } |
| 63 | match ffi::c_return_enum(2021) { |
| Joel Galenson | db1ec31 | 2020-05-01 13:57:32 -0700 | [diff] [blame] | 64 | enm @ ffi::Enum::CVal => assert_eq!(2021, enm.repr), |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 65 | _ => assert!(false), |
| 66 | } |
| David Tolnay | 9964262 | 2020-03-25 13:07:35 -0700 | [diff] [blame] | 67 | } |
| David Tolnay | ebef4a2 | 2020-03-17 15:33:47 -0700 | [diff] [blame] | 68 | |
| David Tolnay | 9964262 | 2020-03-25 13:07:35 -0700 | [diff] [blame] | 69 | #[test] |
| 70 | fn test_c_try_return() { |
| David Tolnay | ebef4a2 | 2020-03-17 15:33:47 -0700 | [diff] [blame] | 71 | assert_eq!((), ffi::c_try_return_void().unwrap()); |
| 72 | assert_eq!(2020, ffi::c_try_return_primitive().unwrap()); |
| 73 | assert_eq!( |
| 74 | "logic error", |
| 75 | ffi::c_fail_return_primitive().unwrap_err().what(), |
| 76 | ); |
| David Tolnay | 9964262 | 2020-03-25 13:07:35 -0700 | [diff] [blame] | 77 | assert_eq!(2020, *ffi::c_try_return_box().unwrap()); |
| 78 | assert_eq!("2020", *ffi::c_try_return_ref(&"2020".to_owned()).unwrap()); |
| 79 | assert_eq!("2020", ffi::c_try_return_str("2020").unwrap()); |
| Adrian Taylor | ec9430e | 2020-04-14 16:09:58 -0700 | [diff] [blame] | 80 | assert_eq!(b"2020", ffi::c_try_return_sliceu8(b"2020").unwrap()); |
| David Tolnay | 9964262 | 2020-03-25 13:07:35 -0700 | [diff] [blame] | 81 | assert_eq!("2020", ffi::c_try_return_rust_string().unwrap()); |
| David Tolnay | 5e29b21 | 2020-04-17 15:02:16 -0700 | [diff] [blame] | 82 | assert_eq!("2020", &*ffi::c_try_return_unique_ptr_string().unwrap()); |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 83 | } |
| 84 | |
| 85 | #[test] |
| 86 | fn test_c_take() { |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 87 | let unique_ptr = ffi::c_return_unique_ptr(); |
| 88 | |
| 89 | check!(ffi::c_take_primitive(2020)); |
| 90 | check!(ffi::c_take_shared(ffi::Shared { z: 2020 })); |
| David Tolnay | be13d8a | 2020-03-06 15:45:39 -0800 | [diff] [blame] | 91 | check!(ffi::c_take_box(Box::new(2020))); |
| David Tolnay | 5e29b21 | 2020-04-17 15:02:16 -0700 | [diff] [blame] | 92 | check!(ffi::c_take_ref_c(&unique_ptr)); |
| David Tolnay | a62cca2 | 2020-05-07 21:52:16 -0700 | [diff] [blame] | 93 | check!(cxx_test_suite::module::ffi::c_take_unique_ptr(unique_ptr)); |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 94 | check!(ffi::c_take_str("2020")); |
| Adrian Taylor | f5dd552 | 2020-04-13 16:50:14 -0700 | [diff] [blame] | 95 | check!(ffi::c_take_sliceu8(b"2020")); |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 96 | check!(ffi::c_take_rust_string("2020".to_owned())); |
| 97 | check!(ffi::c_take_unique_ptr_string( |
| 98 | ffi::c_return_unique_ptr_string() |
| 99 | )); |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 100 | check!(ffi::c_take_unique_ptr_vector_u8( |
| 101 | ffi::c_return_unique_ptr_vector_u8() |
| 102 | )); |
| 103 | check!(ffi::c_take_unique_ptr_vector_f64( |
| 104 | ffi::c_return_unique_ptr_vector_f64() |
| 105 | )); |
| 106 | check!(ffi::c_take_unique_ptr_vector_shared( |
| 107 | ffi::c_return_unique_ptr_vector_shared() |
| 108 | )); |
| David Tolnay | 2244d1f | 2020-04-25 13:58:18 -0700 | [diff] [blame] | 109 | check!(ffi::c_take_ref_vector(&ffi::c_return_unique_ptr_vector_u8())); |
| myronahn | da9be50 | 2020-04-29 05:47:23 +0700 | [diff] [blame] | 110 | let test_vec = [86_u8, 75_u8, 30_u8, 9_u8].to_vec(); |
| 111 | check!(ffi::c_take_rust_vec(test_vec.clone())); |
| Stephen Crane | 9e48d5b | 2020-08-21 12:17:02 -0700 | [diff] [blame] | 112 | check!(ffi::c_take_rust_vec_index(test_vec.clone())); |
| David Tolnay | a7ba6a6 | 2020-08-26 22:33:17 -0700 | [diff] [blame] | 113 | let shared_test_vec = vec![ffi::Shared { z: 1010 }, ffi::Shared { z: 1011 }]; |
| Stephen Crane | 9e48d5b | 2020-08-21 12:17:02 -0700 | [diff] [blame] | 114 | check!(ffi::c_take_rust_vec_shared(shared_test_vec.clone())); |
| 115 | check!(ffi::c_take_rust_vec_shared_index(shared_test_vec.clone())); |
| David Tolnay | a7ba6a6 | 2020-08-26 22:33:17 -0700 | [diff] [blame] | 116 | check!(ffi::c_take_rust_vec_shared_forward_iterator( |
| 117 | shared_test_vec, |
| 118 | )); |
| myronahn | da9be50 | 2020-04-29 05:47:23 +0700 | [diff] [blame] | 119 | check!(ffi::c_take_ref_rust_vec(&test_vec)); |
| Stephen Crane | 9e48d5b | 2020-08-21 12:17:02 -0700 | [diff] [blame] | 120 | check!(ffi::c_take_ref_rust_vec_index(&test_vec)); |
| myronahn | da9be50 | 2020-04-29 05:47:23 +0700 | [diff] [blame] | 121 | check!(ffi::c_take_ref_rust_vec_copy(&test_vec)); |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 122 | check!(ffi::c_take_enum(ffi::Enum::AVal)); |
| David Tolnay | 3fd7f56 | 2020-01-26 17:47:11 -0800 | [diff] [blame] | 123 | } |
| David Tolnay | f306da4 | 2020-02-22 19:55:43 -0800 | [diff] [blame] | 124 | |
| David Tolnay | 0c8c0f2 | 2020-07-21 17:57:46 -0700 | [diff] [blame] | 125 | /* |
| 126 | // https://github.com/dtolnay/cxx/issues/232 |
| David Tolnay | f306da4 | 2020-02-22 19:55:43 -0800 | [diff] [blame] | 127 | #[test] |
| David Tolnay | 75dca2e | 2020-03-25 20:17:52 -0700 | [diff] [blame] | 128 | fn test_c_callback() { |
| 129 | fn callback(s: String) -> usize { |
| 130 | if s == "2020" { |
| 131 | cxx_test_suite_set_correct(); |
| 132 | } |
| 133 | 0 |
| 134 | } |
| 135 | |
| 136 | check!(ffi::c_take_callback(callback)); |
| 137 | } |
| David Tolnay | 0c8c0f2 | 2020-07-21 17:57:46 -0700 | [diff] [blame] | 138 | */ |
| David Tolnay | 75dca2e | 2020-03-25 20:17:52 -0700 | [diff] [blame] | 139 | |
| 140 | #[test] |
| David Tolnay | f306da4 | 2020-02-22 19:55:43 -0800 | [diff] [blame] | 141 | fn test_c_call_r() { |
| 142 | fn cxx_run_test() { |
| 143 | extern "C" { |
| 144 | fn cxx_run_test() -> *const i8; |
| 145 | } |
| 146 | let failure = unsafe { cxx_run_test() }; |
| 147 | if !failure.is_null() { |
| Myron Ahn | d963bf9 | 2020-05-17 12:32:42 +0700 | [diff] [blame] | 148 | let msg = unsafe { CStr::from_ptr(failure as *mut std::os::raw::c_char) }; |
| David Tolnay | f306da4 | 2020-02-22 19:55:43 -0800 | [diff] [blame] | 149 | eprintln!("{}", msg.to_string_lossy()); |
| 150 | } |
| 151 | } |
| 152 | check!(cxx_run_test()); |
| 153 | } |
| David Tolnay | be13d8a | 2020-03-06 15:45:39 -0800 | [diff] [blame] | 154 | |
| Joel Galenson | 3d4f612 | 2020-04-07 15:54:05 -0700 | [diff] [blame] | 155 | #[test] |
| 156 | fn test_c_method_calls() { |
| 157 | let mut unique_ptr = ffi::c_return_unique_ptr(); |
| 158 | |
| David Tolnay | 5e29b21 | 2020-04-17 15:02:16 -0700 | [diff] [blame] | 159 | let old_value = unique_ptr.get(); |
| Joel Galenson | 3d4f612 | 2020-04-07 15:54:05 -0700 | [diff] [blame] | 160 | assert_eq!(2020, old_value); |
| David Tolnay | 5e29b21 | 2020-04-17 15:02:16 -0700 | [diff] [blame] | 161 | assert_eq!(2021, unique_ptr.set(2021)); |
| 162 | assert_eq!(2021, unique_ptr.get()); |
| Joel Galenson | e1e969d | 2020-04-21 12:50:20 -0700 | [diff] [blame] | 163 | assert_eq!(old_value, unique_ptr.set2(old_value)); |
| myronahn | e3b78ea | 2020-05-23 01:08:13 +0700 | [diff] [blame] | 164 | assert_eq!(old_value, unique_ptr.get2()); |
| David Tolnay | ae71436 | 2020-05-22 11:12:26 -0700 | [diff] [blame] | 165 | assert_eq!(2022, unique_ptr.set_succeed(2022).unwrap()); |
| myronahn | e3b78ea | 2020-05-23 01:08:13 +0700 | [diff] [blame] | 166 | assert!(unique_ptr.get_fail().is_err()); |
| Joel Galenson | 3d4f612 | 2020-04-07 15:54:05 -0700 | [diff] [blame] | 167 | } |
| 168 | |
| Joel Galenson | db1ec31 | 2020-05-01 13:57:32 -0700 | [diff] [blame] | 169 | #[test] |
| 170 | fn test_enum_representations() { |
| 171 | assert_eq!(0, ffi::Enum::AVal.repr); |
| 172 | assert_eq!(2020, ffi::Enum::BVal.repr); |
| 173 | assert_eq!(2021, ffi::Enum::CVal.repr); |
| 174 | } |
| 175 | |
| David Tolnay | be13d8a | 2020-03-06 15:45:39 -0800 | [diff] [blame] | 176 | #[no_mangle] |
| 177 | extern "C" fn cxx_test_suite_get_box() -> *mut cxx_test_suite::R { |
| 178 | Box::into_raw(Box::new(2020usize)) |
| 179 | } |
| David Tolnay | a7d00e8 | 2020-03-06 15:50:14 -0800 | [diff] [blame] | 180 | |
| 181 | #[no_mangle] |
| 182 | unsafe extern "C" fn cxx_test_suite_r_is_correct(r: *const cxx_test_suite::R) -> bool { |
| 183 | *r == 2020 |
| 184 | } |
| David Tolnay | 3bbcdbb | 2020-10-09 19:29:44 -0700 | [diff] [blame] | 185 | |
| 186 | #[test] |
| 187 | fn test_rust_name_attribute() { |
| 188 | assert_eq!("2020", ffi::i32_overloaded_function(2020)); |
| 189 | assert_eq!("2020", ffi::str_overloaded_function("2020")); |
| 190 | let unique_ptr = ffi::c_return_unique_ptr(); |
| 191 | assert_eq!("2020", unique_ptr.i32_overloaded_method(2020)); |
| 192 | assert_eq!("2020", unique_ptr.str_overloaded_method("2020")); |
| 193 | } |
| Adrian Taylor | 121cca4 | 2020-10-10 15:32:00 -0700 | [diff] [blame] | 194 | |
| 195 | #[test] |
| 196 | fn test_extern_trivial() { |
| 197 | let d = ffi2::c_return_trivial(); |
| 198 | check!(ffi2::c_take_trivial_ref(&d)); |
| 199 | check!(ffi2::c_take_trivial(d)); |
| 200 | let d = ffi2::c_return_trivial_ptr(); |
| 201 | check!(ffi2::c_take_trivial_ptr(d)); |
| 202 | } |
| 203 | |
| 204 | #[test] |
| 205 | fn test_extern_opaque() { |
| 206 | let e = ffi2::c_return_opaque_ptr(); |
| 207 | check!(ffi2::c_take_opaque_ref(e.as_ref().unwrap())); |
| 208 | check!(ffi2::c_take_opaque_ptr(e)); |
| 209 | } |