Skip to content

Commit 1c197eb

Browse files
authored
transpile: update records.c snapshot test to include #1381 after #1361 merged (#1383)
GitHub annoyingly does not re-run CI based on the result of merging a PR into `master`, just that PR itself.
2 parents dba9eae + 4b24531 commit 1c197eb

File tree

1 file changed

+13
-13
lines changed

1 file changed

+13
-13
lines changed

c2rust-transpile/tests/snapshots/[email protected]

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ input_file: c2rust-transpile/tests/snapshots/records.c
1414
#[derive(Copy, Clone)]
1515
#[repr(C)]
1616
pub struct AnonEnumInStruct {}
17-
pub type C2RustUnnamed = std::ffi::c_uint;
17+
pub type C2RustUnnamed = core::ffi::c_uint;
1818
pub const VALUE2: C2RustUnnamed = 1;
1919
pub const VALUE1: C2RustUnnamed = 0;
2020
#[derive(Copy, Clone)]
@@ -25,64 +25,64 @@ pub struct AnonStructInStruct {
2525
#[derive(Copy, Clone)]
2626
#[repr(C)]
2727
pub struct C2RustUnnamed_0 {
28-
pub some_number: std::ffi::c_int,
28+
pub some_number: core::ffi::c_int,
2929
}
3030
#[derive(Copy, Clone)]
3131
#[repr(C)]
3232
pub struct NestedStructInStruct {}
3333
#[derive(Copy, Clone)]
3434
#[repr(C)]
3535
pub struct InsideStruct {
36-
pub yup: std::ffi::c_int,
36+
pub yup: core::ffi::c_int,
3737
}
3838
#[derive(Copy, Clone)]
3939
#[repr(C)]
4040
pub union AnonEnumInUnion {
41-
pub a: std::ffi::c_int,
41+
pub a: core::ffi::c_int,
4242
}
43-
pub type C2RustUnnamed_1 = std::ffi::c_uint;
43+
pub type C2RustUnnamed_1 = core::ffi::c_uint;
4444
pub const VALUE4: C2RustUnnamed_1 = 1;
4545
pub const VALUE3: C2RustUnnamed_1 = 0;
4646
#[derive(Copy, Clone)]
4747
#[repr(C)]
4848
pub union AnonStructInUnion {
4949
pub c2rust_unnamed: C2RustUnnamed_2,
50-
pub a: std::ffi::c_int,
50+
pub a: core::ffi::c_int,
5151
}
5252
#[derive(Copy, Clone)]
5353
#[repr(C)]
5454
pub struct C2RustUnnamed_2 {
55-
pub some_number: std::ffi::c_int,
55+
pub some_number: core::ffi::c_int,
5656
}
5757
#[derive(Copy, Clone)]
5858
#[repr(C)]
5959
pub union NestedStructInUnion {
60-
pub a: std::ffi::c_int,
60+
pub a: core::ffi::c_int,
6161
}
6262
#[derive(Copy, Clone)]
6363
#[repr(C)]
6464
pub struct InsideUnion {
65-
pub yup: std::ffi::c_int,
65+
pub yup: core::ffi::c_int,
6666
}
6767
#[no_mangle]
6868
pub unsafe extern "C" fn struct_declaration() {
69-
let mut value: std::ffi::c_int = VALUE2 as std::ffi::c_int;
69+
let mut value: core::ffi::c_int = VALUE2 as core::ffi::c_int;
7070
let mut a: AnonEnumInStruct = AnonEnumInStruct {};
7171
let mut b: AnonStructInStruct = AnonStructInStruct {
7272
c2rust_unnamed: C2RustUnnamed_0 { some_number: 0 },
7373
};
74-
b.c2rust_unnamed.some_number = 7 as std::ffi::c_int;
74+
b.c2rust_unnamed.some_number = 7 as core::ffi::c_int;
7575
let mut c: NestedStructInStruct = NestedStructInStruct {};
7676
let mut d: InsideStruct = InsideStruct { yup: 0 };
7777
}
7878
#[no_mangle]
7979
pub unsafe extern "C" fn union_declaration() {
80-
let mut value: std::ffi::c_int = VALUE4 as std::ffi::c_int;
80+
let mut value: core::ffi::c_int = VALUE4 as core::ffi::c_int;
8181
let mut a: AnonEnumInUnion = AnonEnumInUnion { a: 0 };
8282
let mut b: AnonStructInUnion = AnonStructInUnion {
8383
c2rust_unnamed: C2RustUnnamed_2 { some_number: 0 },
8484
};
85-
b.c2rust_unnamed.some_number = 99 as std::ffi::c_int;
85+
b.c2rust_unnamed.some_number = 99 as core::ffi::c_int;
8686
let mut c: NestedStructInUnion = NestedStructInUnion { a: 0 };
8787
let mut d: InsideUnion = InsideUnion { yup: 0 };
8888
}

0 commit comments

Comments
 (0)