Skip to content

Commit db5a9a7

Browse files
committed
Add more precondition check tests
1 parent 528dda2 commit db5a9a7

File tree

2 files changed

+5
-3
lines changed

2 files changed

+5
-3
lines changed

core/src/ascii/ascii_char.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -506,7 +506,7 @@ impl AsciiChar {
506506
pub const unsafe fn digit_unchecked(d: u8) -> Self {
507507
assert_unsafe_precondition!(
508508
check_language_ub,
509-
"`AsciiChar::digit_unchecked` input cannot exceed 9.",
509+
"`ascii::Char::digit_unchecked` input cannot exceed 9.",
510510
(d: u8 = d) => d < 10
511511
);
512512

core/src/ptr/mod.rs

+4-2
Original file line numberDiff line numberDiff line change
@@ -1432,7 +1432,8 @@ pub const unsafe fn read<T>(src: *const T) -> T {
14321432
(
14331433
addr: *const () = src as *const (),
14341434
align: usize = align_of::<T>(),
1435-
) => ub_checks::is_aligned_and_not_null(addr, align)
1435+
is_zst: bool = T::IS_ZST,
1436+
) => ub_checks::is_aligned_and_not_null(addr, align, is_zst)
14361437
);
14371438
crate::intrinsics::read_via_copy(src)
14381439
}
@@ -1637,7 +1638,8 @@ pub const unsafe fn write<T>(dst: *mut T, src: T) {
16371638
(
16381639
addr: *mut () = dst as *mut (),
16391640
align: usize = align_of::<T>(),
1640-
) => ub_checks::is_aligned_and_not_null(addr, align)
1641+
is_zst: bool = T::IS_ZST,
1642+
) => ub_checks::is_aligned_and_not_null(addr, align, is_zst)
16411643
);
16421644
intrinsics::write_via_move(dst, src)
16431645
}

0 commit comments

Comments
 (0)