diff options
| author | bors <bors@rust-lang.org> | 2022-10-08 17:59:45 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-08 17:59:45 +0000 |
| commit | 8796e7a9cfd4c5c4f1de15ec1c53994ddf288665 (patch) | |
| tree | 82d32297c678847bba693c43a3be1b806a7a9637 /src/test | |
| parent | c27948d255167d827421401950c6d723ba28de8f (diff) | |
| parent | d71a85135ba9209cd93f14149ee4b14765ae8f57 (diff) | |
| download | rust-8796e7a9cfd4c5c4f1de15ec1c53994ddf288665.tar.gz rust-8796e7a9cfd4c5c4f1de15ec1c53994ddf288665.zip | |
Auto merge of #102315 - RalfJung:assert_unsafe_precondition, r=thomcc
add a few more assert_unsafe_precondition Add debug-assertion checking for `ptr.read()`, `ptr.write(_)`, and `unreachable_unchecked.` This is quite useful for [cargo-careful](https://github.com/RalfJung/cargo-careful).
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/codegen/mem-replace-direct-memcpy.rs | 1 | ||||
| -rw-r--r-- | src/test/ui/consts/const_unsafe_unreachable_ub.stderr | 10 |
2 files changed, 6 insertions, 5 deletions
diff --git a/src/test/codegen/mem-replace-direct-memcpy.rs b/src/test/codegen/mem-replace-direct-memcpy.rs index b41ef538d71..4318e926e47 100644 --- a/src/test/codegen/mem-replace-direct-memcpy.rs +++ b/src/test/codegen/mem-replace-direct-memcpy.rs @@ -4,6 +4,7 @@ // known to be `1` after inlining). // compile-flags: -C no-prepopulate-passes -Zinline-mir=no +// ignore-debug: the debug assertions get in the way #![crate_type = "lib"] diff --git a/src/test/ui/consts/const_unsafe_unreachable_ub.stderr b/src/test/ui/consts/const_unsafe_unreachable_ub.stderr index ec6ce1f5d7c..f6de3699f77 100644 --- a/src/test/ui/consts/const_unsafe_unreachable_ub.stderr +++ b/src/test/ui/consts/const_unsafe_unreachable_ub.stderr @@ -1,11 +1,11 @@ error[E0080]: evaluation of constant value failed --> $SRC_DIR/core/src/hint.rs:LL:COL | -LL | unsafe { intrinsics::unreachable() } - | ^^^^^^^^^^^^^^^^^^^^^^^^^ - | | - | entering unreachable code - | inside `unreachable_unchecked` at $SRC_DIR/core/src/hint.rs:LL:COL +LL | intrinsics::unreachable() + | ^^^^^^^^^^^^^^^^^^^^^^^^^ + | | + | entering unreachable code + | inside `unreachable_unchecked` at $SRC_DIR/core/src/hint.rs:LL:COL | ::: $DIR/const_unsafe_unreachable_ub.rs:6:18 | |