diff options
| author | Ralf Jung <post@ralfj.de> | 2017-07-19 11:28:35 -0700 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2017-07-19 11:28:35 -0700 |
| commit | 72664e42aa1f66ac57891cc45f80cc925e261c19 (patch) | |
| tree | b8aba122fc516d1affae3b27b1f8e2f04e7531c5 /src/test/incremental/thinlto | |
| parent | 2d5c4196f17fc8d09ac2c434f2a49cdb07e7f4bc (diff) | |
| download | rust-72664e42aa1f66ac57891cc45f80cc925e261c19.tar.gz rust-72664e42aa1f66ac57891cc45f80cc925e261c19.zip | |
No longer check aligment and non-NULLness on `&`
This breaks creating unaligned raw pointers via `&packed.field as *const _`, which needs to be legal. Also it doesn't seem like LLVM still relies on this, see * https://github.com/solson/miri/issues/244#issuecomment-315563640 * https://internals.rust-lang.org/t/rules-for-alignment-and-non-nullness-of-references/5430/16 We probably want to handle this invariant like the others that validation is concerned with, and only check it on function boundaries for now.
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions