Rollup merge of #136890 - saethlin:swap_nonoverlapping, r=RalfJung

Browse Source

Change swap_nonoverlapping from lang to library UB

The implementation of ptr::swap_nonoverlapping does not always escalate its safety contract to language UB, so it should be `check_library_ub`.

Fixes https://github.com/rust-lang/miri/issues/4188

...

This commit is contained in:

Guillaume Gomez 2025-02-12 20:30:54 +01:00 committed by GitHub

parent b54679e461 d2f697ff10

commit 6ab35ded21

No known key found for this signature in database

GPG Key ID: B5690EEEBB952194

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available