Cast to mutable void pointer to keep miri happy

urschrei · Mar 30, 2023 · c66eca1 · c66eca1
1 parent 2d26066
commit c66eca1
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "lonlat_bng"
 description = "Convert longitude and latitude coordinates to BNG coordinates, and vice versa"
-version = "0.6.31"
+version = "0.6.32"
 authors = ["Stephan Hügel <urschrei@gmail.com>"]
 license = "MIT"
 keywords = ["OSGB36", "BNG", "Geo", "ETRS89", "OSTN02", "OSTN15"]

diff --git a/src/ffi.rs b/src/ffi.rs
@@ -65,7 +65,7 @@ pub extern "C" fn drop_float_array(lons: Array, lats: Array) {
 impl<'a, T> From<&'a mut [T]> for Array {
     fn from(sl: &mut [T]) -> Self {
         Array {
-            data: sl.as_ptr().cast::<libc::c_void>(),
+            data: sl.as_mut_ptr().cast::<libc::c_void>(),
             len: sl.len() as libc::size_t,
         }
     }

diff --git a/src/lib.rs b/src/lib.rs
@@ -476,6 +476,7 @@ mod tests {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore)]
     fn test_drop_float_array() {
         let lon_vec: &mut [f64] = &mut [-2.0183041005533306];
         let lat_vec: &mut [f64] = &mut [54.589_097_162_646_14];
@@ -508,6 +509,7 @@ mod tests {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore)]
     fn test_bad_threaded_conversion() {
         // above maximum longitude
         let lon_vec: &mut [f64] = &mut [1.85];