Remove USHORT · model-checking/verify-rust-std@00a5b3b

Original file line numberDiff line numberDiff line change

@@ -19,7 +19,6 @@ pub use windows_sys::*;

1919
2020

pub type DWORD = c_ulong;

2121

pub type WCHAR = u16;

22-

pub type USHORT = c_ushort;

2322

pub type SIZE_T = usize;

2423

pub type CHAR = c_char;

2524

pub type ULONG = c_ulong;

@@ -33,7 +32,7 @@ pub type LPVOID = *mut c_void;

3332

pub type PSRWLOCK = *mut SRWLOCK;

3433
3534

pub type socklen_t = c_int;

36-

pub type ADDRESS_FAMILY = USHORT;

35+

pub type ADDRESS_FAMILY = c_ushort;

3736

pub use FD_SET as fd_set;

3837

pub use LINGER as linger;

3938

pub use TIMEVAL as timeval;

@@ -152,7 +151,7 @@ pub struct SOCKADDR_STORAGE_LH {

152151

#[derive(Copy, Clone)]

153152

pub struct sockaddr_in {

154153

pub sin_family: ADDRESS_FAMILY,

155-

pub sin_port: USHORT,

154+

pub sin_port: c_ushort,

156155

pub sin_addr: in_addr,

157156

pub sin_zero: [CHAR; 8],

158157

}

@@ -161,7 +160,7 @@ pub struct sockaddr_in {

161160

#[derive(Copy, Clone)]

162161

pub struct sockaddr_in6 {

163162

pub sin6_family: ADDRESS_FAMILY,

164-

pub sin6_port: USHORT,

163+

pub sin6_port: c_ushort,

165164

pub sin6_flowinfo: c_ulong,

166165

pub sin6_addr: in6_addr,

167166

pub sin6_scope_id: c_ulong,