Remove CHAR · model-checking/verify-rust-std@cd51de1 (original) (raw)

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

`

20

20

`pub type DWORD = c_ulong;

`

21

21

`pub type WCHAR = u16;

`

22

22

`pub type SIZE_T = usize;

`

23

``

`-

pub type CHAR = c_char;

`

24

23

`pub type ULONG = c_ulong;

`

25

24

``

26

25

`pub type LPCVOID = *const c_void;

`

`@@ -142,9 +141,9 @@ pub struct MOUNT_POINT_REPARSE_BUFFER {

`

142

141

`#[repr(C)]

`

143

142

`pub struct SOCKADDR_STORAGE_LH {

`

144

143

`pub ss_family: ADDRESS_FAMILY,

`

145

``

`-

pub __ss_pad1: [CHAR; 6],

`

``

144

`+

pub __ss_pad1: [c_char; 6],

`

146

145

`pub __ss_align: i64,

`

147

``

`-

pub __ss_pad2: [CHAR; 112],

`

``

146

`+

pub __ss_pad2: [c_char; 112],

`

148

147

`}

`

149

148

``

150

149

`#[repr(C)]

`

`@@ -153,7 +152,7 @@ pub struct sockaddr_in {

`

153

152

`pub sin_family: ADDRESS_FAMILY,

`

154

153

`pub sin_port: c_ushort,

`

155

154

`pub sin_addr: in_addr,

`

156

``

`-

pub sin_zero: [CHAR; 8],

`

``

155

`+

pub sin_zero: [c_char; 8],

`

157

156

`}

`

158

157

``

159

158

`#[repr(C)]

`