diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2023-10-17 05:05:07 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2023-10-17 05:05:07 +0000 |
| commit | 2ca415c1c2fc7991027a1cfa332e305b4f27a0f8 (patch) | |
| tree | a072b8ca50207f8ed55e085580de73b0e37802f3 /src/tools/miri/tests/fail/unaligned_pointers/alignment.stderr | |
| parent | 8fa1b6aad2bd14fa2477daf8eeab69464e8878a5 (diff) | |
| parent | eccc9e66287d5fd141e458ae3ab25ac96a567972 (diff) | |
| download | rust-2ca415c1c2fc7991027a1cfa332e305b4f27a0f8.tar.gz rust-2ca415c1c2fc7991027a1cfa332e305b4f27a0f8.zip | |
Merge from rustc
Diffstat (limited to 'src/tools/miri/tests/fail/unaligned_pointers/alignment.stderr')
| -rw-r--r-- | src/tools/miri/tests/fail/unaligned_pointers/alignment.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/tests/fail/unaligned_pointers/alignment.stderr b/src/tools/miri/tests/fail/unaligned_pointers/alignment.stderr index bbebe3b89fd..5fdec1dc74c 100644 --- a/src/tools/miri/tests/fail/unaligned_pointers/alignment.stderr +++ b/src/tools/miri/tests/fail/unaligned_pointers/alignment.stderr @@ -1,8 +1,8 @@ -error: Undefined Behavior: accessing memory with alignment ALIGN, but alignment ALIGN is required +error: Undefined Behavior: accessing memory based on pointer with alignment ALIGN, but alignment ALIGN is required --> $DIR/alignment.rs:LL:CC | LL | *(x_ptr as *mut u32) = 42; *(x_ptr.add(1) as *mut u32) = 42; - | ^ accessing memory with alignment ALIGN, but alignment ALIGN is required + | ^ accessing memory based on pointer with alignment ALIGN, but alignment ALIGN is required | = 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 |