allow(unsafe_op_in_unsafe_fn) on some functions · model-checking/verify-rust-std@57937d7 (original) (raw)

1

``

`-

#![allow(unsafe_op_in_unsafe_fn)]

`

2

1

`use crate::os::windows::prelude::*;

`

3

2

``

4

3

`use crate::ffi::OsStr;

`

`@@ -325,6 +324,7 @@ impl AnonPipe {

`

325

324

`` /// [ReadFileEx]: https://docs.microsoft.com/en-us/windows/win32/api/fileapi/nf-fileapi-readfileex

``

326

325

`` /// [WriteFileEx]: https://docs.microsoft.com/en-us/windows/win32/api/fileapi/nf-fileapi-writefileex

``

327

326

`/// [Asynchronous Procedure Call]: https://docs.microsoft.com/en-us/windows/win32/sync/asynchronous-procedure-calls

`

``

327

`+

#[allow(unsafe_op_in_unsafe_fn)]

`

328

328

`unsafe fn alertable_io_internal(

`

329

329

`&self,

`

330

330

`io: AlertableIoFn,

`

`@@ -561,12 +561,14 @@ impl<'a> Drop for AsyncPipe<'a> {

`

561

561

`}

`

562

562

`}

`

563

563

``

``

564

`+

#[allow(unsafe_op_in_unsafe_fn)]

`

564

565

`unsafe fn slice_to_end(v: &mut Vec) -> &mut [u8] {

`

565

566

`if v.capacity() == 0 {

`

566

567

` v.reserve(16);

`

567

568

`}

`

568

569

`if v.capacity() == v.len() {

`

569

570

` v.reserve(1);

`

570

571

`}

`

``

572

`+

// FIXME: Isn't this just spare_capacity_mut but worse?

`

571

573

` slice::from_raw_parts_mut(v.as_mut_ptr().add(v.len()), v.capacity() - v.len())

`

572

574

`}

`