Ralf Jung
|
30185d09f6
|
make sure we show error messages even when we cannot show span
|
2018-07-15 11:40:57 +02:00 |
|
bjorn3
|
8ae66db798
|
Convert some of the tests to the new format
|
2018-06-05 18:08:18 +02:00 |
|
Oliver Schneider
|
bf26b96dc7
|
Update to latest rustc changes
|
2017-12-05 17:06:03 +01:00 |
|
Ralf Jung
|
2ea6663440
|
validation: check that int, float etc. are not undef
|
2017-09-16 11:45:56 +02:00 |
|
Ralf Jung
|
72664e42aa
|
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.
|
2017-07-19 11:28:35 -07:00 |
|
Ralf Jung
|
b1acc130bb
|
check alignment of pointers on Ref
|
2017-06-24 11:05:13 -07:00 |
|
Oliver Schneider
|
148c6de507
|
fix some unaligned reads
|
2017-01-31 10:36:46 +01:00 |
|