File tree Expand file tree Collapse file tree 1 file changed +5
-4
lines changed
c2rust-transpile/tests/snapshots Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -5,17 +5,18 @@ input_file: c2rust-transpile/tests/snapshots/out_of_range_int.c
55-- -
66#! [allow (
77 dead_code ,
8+ mutable_transmutes ,
89 non_camel_case_types ,
910 non_snake_case ,
1011 non_upper_case_globals ,
1112 unused_assignments ,
1213 unused_mut
1314)]
14- pub type __int32_t = i32 ;
15+ pub type __int32_t = std :: ffi :: c_int ;
1516pub type int32_t = __int32_t ;
1617#[no_mangle ]
1718pub unsafe extern " C" fn f () {
18- let mut a: int32_t = 0x80000000 as int32_t ;
19- let mut b: int32_t = 0x80000000 as int32_t ;
20- let mut c: int32_t = 0x8000000000000000 as int32_t ;
19+ let mut a: int32_t = 0x80000000 as std :: ffi :: c_uint as int32_t ;
20+ let mut b: int32_t = 0x80000000 as std :: ffi :: c_uint as int32_t ;
21+ let mut c: int32_t = 0x8000000000000000 as std :: ffi :: c_ulong as int32_t ;
2122}
You can’t perform that action at this time.
0 commit comments