-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
C-bugCategory: This is a bug.Category: This is a bug.T-libsRelevant to the library team, which will review and decide on the PR/issue.Relevant to the library team, which will review and decide on the PR/issue.
Description
We somewhat recently declared copy_nonoverlapping
to be legal on a NULL pointer. However, the debug assertions still reject this:
rust/library/core/src/intrinsics.rs
Lines 3315 to 3317 in 7caad69
ub_checks::is_aligned_and_not_null(src, align) | |
&& ub_checks::is_aligned_and_not_null(dst, align) | |
&& ub_checks::is_nonoverlapping(src, dst, size, count) |
Other, related functions have similar problems.
Cc @saethlin
Metadata
Metadata
Assignees
Labels
C-bugCategory: This is a bug.Category: This is a bug.T-libsRelevant to the library team, which will review and decide on the PR/issue.Relevant to the library team, which will review and decide on the PR/issue.