Remove ULONG · model-checking/verify-rust-std@7d18991 (original) (raw)

Original file line number Diff line number Diff line change
@@ -15,9 +15,9 @@ pub struct IoSlice<'a> {
15 15 impl<'a> IoSlice<'a> {
16 16 #[inline]
17 17 pub fn new(buf: &'a [u8]) -> IoSlice<'a> {
18 -assert!(buf.len() <= c::ULONG::MAX as usize);
18 +assert!(buf.len() <= u32::MAX as usize);
19 19 IoSlice {
20 -vec: c::WSABUF { len: buf.len() as c::ULONG, buf: buf.as_ptr() as *mut u8 },
20 +vec: c::WSABUF { len: buf.len() as u32, buf: buf.as_ptr() as *mut u8 },
21 21 _p: PhantomData,
22 22 }
23 23 }
@@ -29,7 +29,7 @@ impl<'a> IoSlice<'a> {
29 29 }
30 30
31 31 unsafe {
32 -self.vec.len -= n as c::ULONG;
32 +self.vec.len -= n as u32;
33 33 self.vec.buf = self.vec.buf.add(n);
34 34 }
35 35 }
@@ -49,9 +49,9 @@ pub struct IoSliceMut<'a> {
49 49 impl<'a> IoSliceMut<'a> {
50 50 #[inline]
51 51 pub fn new(buf: &'a mut [u8]) -> IoSliceMut<'a> {
52 -assert!(buf.len() <= c::ULONG::MAX as usize);
52 +assert!(buf.len() <= u32::MAX as usize);
53 53 IoSliceMut {
54 -vec: c::WSABUF { len: buf.len() as c::ULONG, buf: buf.as_mut_ptr() },
54 +vec: c::WSABUF { len: buf.len() as u32, buf: buf.as_mut_ptr() },
55 55 _p: PhantomData,
56 56 }
57 57 }
@@ -63,7 +63,7 @@ impl<'a> IoSliceMut<'a> {
63 63 }
64 64
65 65 unsafe {
66 -self.vec.len -= n as c::ULONG;
66 +self.vec.len -= n as u32;
67 67 self.vec.buf = self.vec.buf.add(n);
68 68 }
69 69 }