bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

miri: Adapt for breakpoint becoming safe

Browse source
This commit is contained in:
Josh Triplett 2024-12-02 21:15:38 -08:00
parent a030ffbe35
commit cea0582dbd
2 changed files with 3 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tools/miri/tests/fail/breakpoint.rs
View file

@ -1,7 +1,5 @@
#![feature(core_intrinsics)] #![feature(core_intrinsics)]
fn main() { fn main() {
unsafe { core::intrinsics::breakpoint(); //~ ERROR: trace/breakpoint trap
core::intrinsics::breakpoint() //~ ERROR: trace/breakpoint trap
};
} }

4
src/tools/miri/tests/fail/breakpoint.stderr
View file

@ -1,8 +1,8 @@
error: abnormal termination: trace/breakpoint trap error: abnormal termination: trace/breakpoint trap
--> tests/fail/breakpoint.rs:LL:CC --> tests/fail/breakpoint.rs:LL:CC
| |
LL | core::intrinsics::breakpoint() LL | core::intrinsics::breakpoint();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trace/breakpoint trap | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trace/breakpoint trap
| |
= note: BACKTRACE: = note: BACKTRACE:
= note: inside `main` at tests/fail/breakpoint.rs:LL:CC = note: inside `main` at tests/fail/breakpoint.rs:LL:CC