diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-08-03 05:11:07 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-08-03 05:11:07 +0000 |
| commit | 62e2800ee477919dd72e0a25239fed35671dcf7e (patch) | |
| tree | 164330542b8a706f8fc8d3d05703eb2fd67a97d3 /src/tools/miri/tests | |
| parent | 6aab319def5d2861a2ba87c002d453d4ae8df38e (diff) | |
| parent | 9d0eaa2ad78ca2995d4f2c4edb61f762ba79846b (diff) | |
| download | rust-62e2800ee477919dd72e0a25239fed35671dcf7e.tar.gz rust-62e2800ee477919dd72e0a25239fed35671dcf7e.zip | |
Merge from rustc
Diffstat (limited to 'src/tools/miri/tests')
| -rw-r--r-- | src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.rs | 10 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.stderr | 15 |
2 files changed, 0 insertions, 25 deletions
diff --git a/src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.rs b/src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.rs deleted file mode 100644 index c14f86147db..00000000000 --- a/src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.rs +++ /dev/null @@ -1,10 +0,0 @@ -#![feature(intrinsics)] - -extern "rust-intrinsic" { - fn raw_eq<T>(a: &T, b: &T) -> bool; -} - -fn main() { - let x = &0; - unsafe { raw_eq(&x, &x) }; //~ERROR: `raw_eq` on bytes with provenance -} diff --git a/src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.stderr b/src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.stderr deleted file mode 100644 index 83f81fa726e..00000000000 --- a/src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.stderr +++ /dev/null @@ -1,15 +0,0 @@ -error: Undefined Behavior: `raw_eq` on bytes with provenance - --> $DIR/raw_eq_on_ptr.rs:LL:CC - | -LL | unsafe { raw_eq(&x, &x) }; - | ^^^^^^^^^^^^^^ `raw_eq` on bytes with provenance - | - = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior - = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information - = note: BACKTRACE: - = note: inside `main` at $DIR/raw_eq_on_ptr.rs:LL:CC - -note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace - -error: aborting due to 1 previous error - |
