for alignment errors, note that there might be false positives

[RalfJung]

Cc @shepmaster

error: Undefined Behavior: accessing memory with alignment 1, but alignment 8 is required
 --> tests/compile-fail/unaligned_pointers/alignment.rs:8:9
  |
8 |         *y_ptr = 42;
  |         ^^^^^^^^^^^ accessing memory with alignment 1, but alignment 8 is required
  |
  = help: this usually indicates that your program performed an invalid operation and caused Undefined Behavior
  = help: but alignment errors can also be false positives, see https://github.com/rust-lang/miri/issues/1074

[RalfJung]

@bors r+

[bors]

📌 Commit 75297d3 has been approved by RalfJung

[bors]

⌛ Testing commit 75297d3 with merge fbbd442...

[bors]

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing fbbd442 to master...