diff options
| author | Ralf Jung <post@ralfj.de> | 2023-11-30 13:11:17 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-11-30 13:11:17 +0100 |
| commit | a0c8b09cf887ade10bcc5b2a06b32304af3cebbe (patch) | |
| tree | 92ba41ecb387628d4bee059eb2717fc4fcd1da3c | |
| parent | 64fb96f17e51317f58edc2da565853686e2d097b (diff) | |
| download | rust-a0c8b09cf887ade10bcc5b2a06b32304af3cebbe.tar.gz rust-a0c8b09cf887ade10bcc5b2a06b32304af3cebbe.zip | |
move some validity-related tests into subdir
| -rw-r--r-- | src/tools/miri/tests/fail/validity/invalid_bool_op.rs (renamed from src/tools/miri/tests/fail/invalid_bool.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/validity/invalid_bool_op.stderr (renamed from src/tools/miri/tests/fail/invalid_bool.stderr) | 4 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/validity/invalid_char_op.rs (renamed from src/tools/miri/tests/fail/invalid_char.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/validity/invalid_char_op.stderr (renamed from src/tools/miri/tests/fail/invalid_char.stderr) | 4 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/validity/invalid_enum_op.rs (renamed from src/tools/miri/tests/fail/invalid_enum_tag.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/validity/invalid_enum_op.stderr (renamed from src/tools/miri/tests/fail/invalid_enum_tag.stderr) | 4 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/validity/invalid_int_op.rs (renamed from src/tools/miri/tests/fail/invalid_int.rs) | 0 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/validity/invalid_int_op.stderr (renamed from src/tools/miri/tests/fail/invalid_int.stderr) | 4 |
8 files changed, 8 insertions, 8 deletions
diff --git a/src/tools/miri/tests/fail/invalid_bool.rs b/src/tools/miri/tests/fail/validity/invalid_bool_op.rs index fe9bb3bed7f..fe9bb3bed7f 100644 --- a/src/tools/miri/tests/fail/invalid_bool.rs +++ b/src/tools/miri/tests/fail/validity/invalid_bool_op.rs diff --git a/src/tools/miri/tests/fail/invalid_bool.stderr b/src/tools/miri/tests/fail/validity/invalid_bool_op.stderr index fd1ea5087b2..b938d29e760 100644 --- a/src/tools/miri/tests/fail/invalid_bool.stderr +++ b/src/tools/miri/tests/fail/validity/invalid_bool_op.stderr @@ -1,5 +1,5 @@ error: Undefined Behavior: interpreting an invalid 8-bit value as a bool: 0x02 - --> $DIR/invalid_bool.rs:LL:CC + --> $DIR/invalid_bool_op.rs:LL:CC | LL | let _x = b == std::hint::black_box(true); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ interpreting an invalid 8-bit value as a bool: 0x02 @@ -7,7 +7,7 @@ LL | let _x = b == std::hint::black_box(true); = 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/invalid_bool.rs:LL:CC + = note: inside `main` at $DIR/invalid_bool_op.rs:LL:CC note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace diff --git a/src/tools/miri/tests/fail/invalid_char.rs b/src/tools/miri/tests/fail/validity/invalid_char_op.rs index 69924822944..69924822944 100644 --- a/src/tools/miri/tests/fail/invalid_char.rs +++ b/src/tools/miri/tests/fail/validity/invalid_char_op.rs diff --git a/src/tools/miri/tests/fail/invalid_char.stderr b/src/tools/miri/tests/fail/validity/invalid_char_op.stderr index 81d6cdad157..113eecd9cf7 100644 --- a/src/tools/miri/tests/fail/invalid_char.stderr +++ b/src/tools/miri/tests/fail/validity/invalid_char_op.stderr @@ -1,5 +1,5 @@ error: Undefined Behavior: interpreting an invalid 32-bit value as a char: $HEX - --> $DIR/invalid_char.rs:LL:CC + --> $DIR/invalid_char_op.rs:LL:CC | LL | let _x = c == 'x'; | ^^^^^^^^ interpreting an invalid 32-bit value as a char: $HEX @@ -7,7 +7,7 @@ LL | let _x = c == 'x'; = 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/invalid_char.rs:LL:CC + = note: inside `main` at $DIR/invalid_char_op.rs:LL:CC note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace diff --git a/src/tools/miri/tests/fail/invalid_enum_tag.rs b/src/tools/miri/tests/fail/validity/invalid_enum_op.rs index 84fa2c29739..84fa2c29739 100644 --- a/src/tools/miri/tests/fail/invalid_enum_tag.rs +++ b/src/tools/miri/tests/fail/validity/invalid_enum_op.rs diff --git a/src/tools/miri/tests/fail/invalid_enum_tag.stderr b/src/tools/miri/tests/fail/validity/invalid_enum_op.stderr index 5a446bb2a56..e7997689c51 100644 --- a/src/tools/miri/tests/fail/invalid_enum_tag.stderr +++ b/src/tools/miri/tests/fail/validity/invalid_enum_op.stderr @@ -1,5 +1,5 @@ error: Undefined Behavior: enum value has invalid tag: $HEX - --> $DIR/invalid_enum_tag.rs:LL:CC + --> $DIR/invalid_enum_op.rs:LL:CC | LL | let _val = mem::discriminant(&f); | ^^^^^^^^^^^^^^^^^^^^^ enum value has invalid tag: $HEX @@ -7,7 +7,7 @@ LL | let _val = mem::discriminant(&f); = 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/invalid_enum_tag.rs:LL:CC + = note: inside `main` at $DIR/invalid_enum_op.rs:LL:CC note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace diff --git a/src/tools/miri/tests/fail/invalid_int.rs b/src/tools/miri/tests/fail/validity/invalid_int_op.rs index 2435a87a6f2..2435a87a6f2 100644 --- a/src/tools/miri/tests/fail/invalid_int.rs +++ b/src/tools/miri/tests/fail/validity/invalid_int_op.rs diff --git a/src/tools/miri/tests/fail/invalid_int.stderr b/src/tools/miri/tests/fail/validity/invalid_int_op.stderr index a450b939384..df344311b75 100644 --- a/src/tools/miri/tests/fail/invalid_int.stderr +++ b/src/tools/miri/tests/fail/validity/invalid_int_op.stderr @@ -1,5 +1,5 @@ error: Undefined Behavior: using uninitialized data, but this operation requires initialized memory - --> $DIR/invalid_int.rs:LL:CC + --> $DIR/invalid_int_op.rs:LL:CC | LL | let i = unsafe { std::mem::MaybeUninit::<i32>::uninit().assume_init() }; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ using uninitialized data, but this operation requires initialized memory @@ -7,7 +7,7 @@ LL | let i = unsafe { std::mem::MaybeUninit::<i32>::uninit().assume_init() } = 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/invalid_int.rs:LL:CC + = note: inside `main` at $DIR/invalid_int_op.rs:LL:CC note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace |
