File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -47,7 +47,7 @@ pub unsafe fn read_byte_assume_init(p: &MaybeUninit<u8>) -> u8 {
47
47
p. assume_init_read ( )
48
48
}
49
49
50
- // CHECK-LABEL: define {{(dso_local )?}}noundef i32 @copy_char(
50
+ // CHECK-LABEL: define {{(dso_local )?}}noundef {{(range\(.*\) )?}} i32 @copy_char(
51
51
#[ no_mangle]
52
52
pub unsafe fn copy_char ( p : * const char ) -> char {
53
53
// CHECK-NOT: load
@@ -58,7 +58,7 @@ pub unsafe fn copy_char(p: *const char) -> char {
58
58
* p
59
59
}
60
60
61
- // CHECK-LABEL: define {{(dso_local )?}}noundef i32 @read_char(
61
+ // CHECK-LABEL: define {{(dso_local )?}}noundef {{(range\(.*\) )?}} i32 @read_char(
62
62
#[ no_mangle]
63
63
pub unsafe fn read_char ( p : * const char ) -> char {
64
64
// CHECK-NOT: load
@@ -80,7 +80,7 @@ pub unsafe fn read_char_maybe_uninit(p: *const MaybeUninit<char>) -> MaybeUninit
80
80
p. read ( )
81
81
}
82
82
83
- // CHECK-LABEL: define {{(dso_local )?}}noundef i32 @read_char_assume_init(
83
+ // CHECK-LABEL: define {{(dso_local )?}}noundef {{(range\(.*\) )?}} i32 @read_char_assume_init(
84
84
#[ no_mangle]
85
85
pub unsafe fn read_char_assume_init ( p : & MaybeUninit < char > ) -> char {
86
86
// CHECK-NOT: load
You can’t perform that action at this time.
0 commit comments