diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-06-13 05:13:16 +0000 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-06-13 08:30:25 +0200 |
| commit | a49c65976cf3d8c705b328ef61d205a4501d3685 (patch) | |
| tree | e3c4fd2f9adcba2cc2f2923d27359869fd8f045e /src/tools | |
| parent | 6771dc44b580da03944052aa713fbed3acf7c937 (diff) | |
| download | rust-a49c65976cf3d8c705b328ef61d205a4501d3685.tar.gz rust-a49c65976cf3d8c705b328ef61d205a4501d3685.zip | |
fmt
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/tests/fail/validity/invalid_enum_cast.rs | 14 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/validity/invalid_enum_cast.stderr | 4 |
2 files changed, 12 insertions, 6 deletions
diff --git a/src/tools/miri/tests/fail/validity/invalid_enum_cast.rs b/src/tools/miri/tests/fail/validity/invalid_enum_cast.rs index faf5fb699a6..ed451a435b9 100644 --- a/src/tools/miri/tests/fail/validity/invalid_enum_cast.rs +++ b/src/tools/miri/tests/fail/validity/invalid_enum_cast.rs @@ -3,11 +3,17 @@ #[derive(Copy, Clone)] #[allow(unused)] -enum E {A, B, C } +enum E { + A, + B, + C, +} -fn cast(ptr: *const E) { unsafe { - let _val = *ptr as u32; //~ERROR: enum value has invalid tag -}} +fn cast(ptr: *const E) { + unsafe { + let _val = *ptr as u32; //~ERROR: enum value has invalid tag + } +} pub fn main() { let v = u32::MAX; diff --git a/src/tools/miri/tests/fail/validity/invalid_enum_cast.stderr b/src/tools/miri/tests/fail/validity/invalid_enum_cast.stderr index d8988876045..30afb5e8087 100644 --- a/src/tools/miri/tests/fail/validity/invalid_enum_cast.stderr +++ b/src/tools/miri/tests/fail/validity/invalid_enum_cast.stderr @@ -1,8 +1,8 @@ error: Undefined Behavior: enum value has invalid tag: 0xff --> $DIR/invalid_enum_cast.rs:LL:CC | -LL | let _val = *ptr as u32; - | ^^^^^^^^^^^ enum value has invalid tag: 0xff +LL | let _val = *ptr as u32; + | ^^^^^^^^^^^ enum value has invalid tag: 0xff | = 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 |