diff options
| author | Josh Triplett <josh@joshtriplett.org> | 2024-12-02 21:15:38 -0800 |
|---|---|---|
| committer | Josh Triplett <josh@joshtriplett.org> | 2024-12-03 00:01:51 -0800 |
| commit | cea0582dbdd231c46884ca917de3e32b75b6287a (patch) | |
| tree | 6646659500ec88a85f2ea1848a0fd413d3c29872 | |
| parent | a030ffbe354be8072fe2749d89c66365c192b0fe (diff) | |
| download | rust-cea0582dbdd231c46884ca917de3e32b75b6287a.tar.gz rust-cea0582dbdd231c46884ca917de3e32b75b6287a.zip | |
miri: Adapt for `breakpoint` becoming safe
| -rw-r--r-- | src/tools/miri/tests/fail/breakpoint.rs | 4 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/breakpoint.stderr | 4 |
2 files changed, 3 insertions, 5 deletions
diff --git a/src/tools/miri/tests/fail/breakpoint.rs b/src/tools/miri/tests/fail/breakpoint.rs index 2dd87ea6083..42943d58191 100644 --- a/src/tools/miri/tests/fail/breakpoint.rs +++ b/src/tools/miri/tests/fail/breakpoint.rs @@ -1,7 +1,5 @@ #![feature(core_intrinsics)] fn main() { - unsafe { - core::intrinsics::breakpoint() //~ ERROR: trace/breakpoint trap - }; + core::intrinsics::breakpoint(); //~ ERROR: trace/breakpoint trap } diff --git a/src/tools/miri/tests/fail/breakpoint.stderr b/src/tools/miri/tests/fail/breakpoint.stderr index ca98e81f1f4..f203cb0c15f 100644 --- a/src/tools/miri/tests/fail/breakpoint.stderr +++ b/src/tools/miri/tests/fail/breakpoint.stderr @@ -1,8 +1,8 @@ error: abnormal termination: trace/breakpoint trap --> tests/fail/breakpoint.rs:LL:CC | -LL | core::intrinsics::breakpoint() - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trace/breakpoint trap +LL | core::intrinsics::breakpoint(); + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trace/breakpoint trap | = note: BACKTRACE: = note: inside `main` at tests/fail/breakpoint.rs:LL:CC |