diff options
| author | Ralf Jung <post@ralfj.de> | 2023-08-06 18:40:37 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-08-30 13:46:54 +0200 |
| commit | a09df43d9fbbd21dfa2d872ff0671f80161c15f1 (patch) | |
| tree | b3ca505ef2f70da66910acad445d15c1bb8c4bc6 /src/tools/miri/tests/fail | |
| parent | bdd5855b8e127f4a258b0bd90cd5d2dbade1b3cc (diff) | |
| download | rust-a09df43d9fbbd21dfa2d872ff0671f80161c15f1.tar.gz rust-a09df43d9fbbd21dfa2d872ff0671f80161c15f1.zip | |
move marking-locals-live out of push_stack_frame, so it happens with argument passing
this entirely avoids even creating unsized locals in Immediate::Uninitialized state
Diffstat (limited to 'src/tools/miri/tests/fail')
| -rw-r--r-- | src/tools/miri/tests/fail/type-too-large.rs | 4 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/type-too-large.stderr | 4 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/unsized-local.stderr | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/src/tools/miri/tests/fail/type-too-large.rs b/src/tools/miri/tests/fail/type-too-large.rs index 21b272f8ec3..2e23b79d5f8 100644 --- a/src/tools/miri/tests/fail/type-too-large.rs +++ b/src/tools/miri/tests/fail/type-too-large.rs @@ -1,6 +1,6 @@ //@ignore-32bit fn main() { - let _fat: [u8; (1 << 61) + (1 << 31)]; - _fat = [0; (1u64 << 61) as usize + (1u64 << 31) as usize]; //~ ERROR: post-monomorphization error + let _fat: [u8; (1 << 61) + (1 << 31)]; //~ ERROR: post-monomorphization error + _fat = [0; (1u64 << 61) as usize + (1u64 << 31) as usize]; } diff --git a/src/tools/miri/tests/fail/type-too-large.stderr b/src/tools/miri/tests/fail/type-too-large.stderr index cb1d725ec87..70891fcc22b 100644 --- a/src/tools/miri/tests/fail/type-too-large.stderr +++ b/src/tools/miri/tests/fail/type-too-large.stderr @@ -1,8 +1,8 @@ error: post-monomorphization error: values of the type `[u8; 2305843011361177600]` are too big for the current architecture --> $DIR/type-too-large.rs:LL:CC | -LL | _fat = [0; (1u64 << 61) as usize + (1u64 << 31) as usize]; - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ values of the type `[u8; 2305843011361177600]` are too big for the current architecture +LL | let _fat: [u8; (1 << 61) + (1 << 31)]; + | ^^^^ values of the type `[u8; 2305843011361177600]` are too big for the current architecture | = note: inside `main` at $DIR/type-too-large.rs:LL:CC diff --git a/src/tools/miri/tests/fail/unsized-local.stderr b/src/tools/miri/tests/fail/unsized-local.stderr index 66d93c6f503..07f94f3b91b 100644 --- a/src/tools/miri/tests/fail/unsized-local.stderr +++ b/src/tools/miri/tests/fail/unsized-local.stderr @@ -2,7 +2,7 @@ error: unsupported operation: unsized locals are not supported --> $DIR/unsized-local.rs:LL:CC | LL | let x = *(Box::new(A) as Box<dyn Foo>); - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsized locals are not supported + | ^ unsized locals are not supported | = help: this is likely not a bug in the program; it indicates that the program performed an operation that the interpreter does not support = note: BACKTRACE: |