diff options
| author | Ralf Jung <post@ralfj.de> | 2023-09-11 23:09:11 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-09-14 22:34:05 +0200 |
| commit | 9ac8b363e3227fdc08634ce445b7787aa0fa6bba (patch) | |
| tree | fa4ccae3cb361f63c1aa533ddd6921a1b7c71045 /src/tools/miri/tests/fail | |
| parent | 89ac57db4dbc0a69a3d15b6818ca1de5bc5bd09c (diff) | |
| download | rust-9ac8b363e3227fdc08634ce445b7787aa0fa6bba.tar.gz rust-9ac8b363e3227fdc08634ce445b7787aa0fa6bba.zip | |
don't point at const usage site for resolution-time errors
also share the code that emits the actual error
Diffstat (limited to 'src/tools/miri/tests/fail')
| -rw-r--r-- | src/tools/miri/tests/fail/const-ub-checks.stderr | 2 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/erroneous_const.stderr | 2 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/erroneous_const2.stderr | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/tools/miri/tests/fail/const-ub-checks.stderr b/src/tools/miri/tests/fail/const-ub-checks.stderr index 596a6bb4ca8..d2b9018cd4b 100644 --- a/src/tools/miri/tests/fail/const-ub-checks.stderr +++ b/src/tools/miri/tests/fail/const-ub-checks.stderr @@ -4,7 +4,7 @@ error[E0080]: evaluation of constant value failed LL | ptr.read(); | ^^^^^^^^^^ accessing memory with alignment ALIGN, but alignment ALIGN is required -note: erroneous constant used +note: erroneous constant encountered --> $DIR/const-ub-checks.rs:LL:CC | LL | let _x = UNALIGNED_READ; diff --git a/src/tools/miri/tests/fail/erroneous_const.stderr b/src/tools/miri/tests/fail/erroneous_const.stderr index 209c4a932dc..cacf866393d 100644 --- a/src/tools/miri/tests/fail/erroneous_const.stderr +++ b/src/tools/miri/tests/fail/erroneous_const.stderr @@ -6,7 +6,7 @@ LL | const VOID: ! = panic!(); | = note: this error originates in the macro `$crate::panic::panic_2021` which comes from the expansion of the macro `panic` (in Nightly builds, run with -Z macro-backtrace for more info) -note: erroneous constant used +note: erroneous constant encountered --> $DIR/erroneous_const.rs:LL:CC | LL | let _ = PrintName::<T>::VOID; diff --git a/src/tools/miri/tests/fail/erroneous_const2.stderr b/src/tools/miri/tests/fail/erroneous_const2.stderr index 9aad1fc9b02..36e83b8f3bc 100644 --- a/src/tools/miri/tests/fail/erroneous_const2.stderr +++ b/src/tools/miri/tests/fail/erroneous_const2.stderr @@ -4,13 +4,13 @@ error[E0080]: evaluation of constant value failed LL | const FOO: u32 = [X - Y, Y - X][(X < Y) as usize]; | ^^^^^ attempt to compute `5_u32 - 6_u32`, which would overflow -note: erroneous constant used +note: erroneous constant encountered --> $DIR/erroneous_const2.rs:LL:CC | LL | println!("{}", FOO); | ^^^ -note: erroneous constant used +note: erroneous constant encountered --> $DIR/erroneous_const2.rs:LL:CC | LL | println!("{}", FOO); |