mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
c011126f1a
rust/tests/fail/stacked_borrows/aliasing_mut3.stderr

34 lines
1.6 KiB
Plaintext
Raw Normal View History

Improve information sharing across SB diagnostics Previous Stacked Borrows diagnostics were missing a lot of information about the state of the interpreter, and it was difficult to add additional state because it was threaded through all the intervening function signatures. This change factors a lot of the arguments which used to be passed individually to many stacked borrows functions into a single `DiagnosticCx`, which is built in `Stacks::for_each`, and since it wraps a handle to `AllocHistory`, we can now handle more nuanced things like heterogeneous borrow of `!Freeze` types.
2022-05-22 18:39:09 -05:00
error: Undefined Behavior: trying to retag from <TAG> for SharedReadOnly permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
Add a custom ui test runner and move all tests to it
2022-03-17 08:49:10 -05:00
--> $DIR/aliasing_mut3.rs:LL:CC
|
LL | pub fn safe(_x: &mut i32, _y: &i32) {}
Use the better FnEntry spans in protector errors
2022-08-29 16:14:45 -05:00
| ^^
| |
| trying to retag from <TAG> for SharedReadOnly permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
| this error occurs as part of FnEntry retag at ALLOC[0x0..0x4]
Add a custom ui test runner and move all tests to it
2022-03-17 08:49:10 -05:00
|
bless
2022-06-12 00:34:01 -05:00
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
Add a custom ui test runner and move all tests to it
2022-03-17 08:49:10 -05:00
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
Improve information sharing across SB diagnostics Previous Stacked Borrows diagnostics were missing a lot of information about the state of the interpreter, and it was difficult to add additional state because it was threaded through all the intervening function signatures. This change factors a lot of the arguments which used to be passed individually to many stacked borrows functions into a single `DiagnosticCx`, which is built in `Stacks::for_each`, and since it wraps a handle to `AllocHistory`, we can now handle more nuanced things like heterogeneous borrow of `!Freeze` types.
2022-05-22 18:39:09 -05:00
help: <TAG> was created by a SharedReadOnly retag at offsets [0x0..0x4]
Add a custom ui test runner and move all tests to it
2022-03-17 08:49:10 -05:00
--> $DIR/aliasing_mut3.rs:LL:CC
|
LL | safe_raw(xraw, xshr);
| ^^^^
Improve information sharing across SB diagnostics Previous Stacked Borrows diagnostics were missing a lot of information about the state of the interpreter, and it was difficult to add additional state because it was threaded through all the intervening function signatures. This change factors a lot of the arguments which used to be passed individually to many stacked borrows functions into a single `DiagnosticCx`, which is built in `Stacks::for_each`, and since it wraps a handle to `AllocHistory`, we can now handle more nuanced things like heterogeneous borrow of `!Freeze` types.
2022-05-22 18:39:09 -05:00
help: <TAG> was later invalidated at offsets [0x0..0x4] by a Unique FnEntry retag
Add a custom ui test runner and move all tests to it
2022-03-17 08:49:10 -05:00
--> $DIR/aliasing_mut3.rs:LL:CC
|
Improve information sharing across SB diagnostics Previous Stacked Borrows diagnostics were missing a lot of information about the state of the interpreter, and it was difficult to add additional state because it was threaded through all the intervening function signatures. This change factors a lot of the arguments which used to be passed individually to many stacked borrows functions into a single `DiagnosticCx`, which is built in `Stacks::for_each`, and since it wraps a handle to `AllocHistory`, we can now handle more nuanced things like heterogeneous borrow of `!Freeze` types.
2022-05-22 18:39:09 -05:00
LL | safe_raw(xraw, xshr);
| ^^^^^^^^^^^^^^^^^^^^
make backtrace header a bit more visible
2022-08-31 07:51:05 -05:00
= note: BACKTRACE:
Add a custom ui test runner and move all tests to it
2022-03-17 08:49:10 -05:00
= note: inside `safe` at $DIR/aliasing_mut3.rs:LL:CC
note: inside `main` at $DIR/aliasing_mut3.rs:LL:CC
--> $DIR/aliasing_mut3.rs:LL:CC
|
LL | safe_raw(xraw, xshr);
| ^^^^^^^^^^^^^^^^^^^^
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
error: aborting due to previous error
Reference in New Issue Copy Permalink