disable diagnostic deduplication

This commit is contained in:
Ralf Jung 2024-03-03 14:55:01 +01:00
parent f47732b55e
commit fbafd36333
3 changed files with 19 additions and 0 deletions

View file

@ -143,4 +143,7 @@ pub const MIRI_DEFAULT_ARGS: &[&str] = &[
"-Zmir-keep-place-mention",
"-Zmir-opt-level=0",
"-Zmir-enable-passes=-CheckAlignment",
// Deduplicating diagnostics means we miss events when tracking what happens during an
// execution. Let's not do that.
"-Zdeduplicate-diagnostics=no",
];

View file

@ -10,6 +10,14 @@ note: erroneous constant encountered
LL | let _x = UNALIGNED_READ;
| ^^^^^^^^^^^^^^
note: erroneous constant encountered
--> $DIR/const-ub-checks.rs:LL:CC
|
LL | let _x = UNALIGNED_READ;
| ^^^^^^^^^^^^^^
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0080`.

View file

@ -10,6 +10,14 @@ note: erroneous constant encountered
LL | println!("{}", FOO);
| ^^^
note: erroneous constant encountered
--> $DIR/erroneous_const2.rs:LL:CC
|
LL | println!("{}", FOO);
| ^^^
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
note: erroneous constant encountered
--> $DIR/erroneous_const2.rs:LL:CC
|