Also release locks on ReleaseValidation and EndRegion

fix release_lock_until to no longer remove inactive locks

avoid downcasting for enum variants without further fields

validate boxes

implement checking for ADTs

implement stub validity check for basic types (bool, int, float); acquire locks for references

implement acquiring and releasing locks

add locking data structures and lock checks

This brings back some of the memory range ideas that were deleted with the packed refactoring.

update for rustc changes: treat new MIR commands as NOP

Merge pull request #267 from RalfJung/cast

Fix ptr-int-casts

Pass `HasDataLayout` instead of the data layout itself

Use rustc traits instead of our own

move pointer truncation to a common method in memory.rs

Merge pull request #269 from oli-obk/cleanups

Remove unused `IntoValTyPair` hack

fix nits

refactor casting code to more clearly handle pointers

fix casting integers to pointers

Remove unused `IntoValTyPair` hack

Merge pull request #258 from oli-obk/upstream

Prep miri repository for rustc merger

Prep miri repository for rustc merger

Merge pull request #266 from RalfJung/align

Always test alignment in memory.rs

always test alignment in memory.rs

Merge pull request #265 from oli-obk/optimize_prime

Also test optimized MIR

Also test optimized MIR

Merge pull request #264 from oli-obk/paths

Reduce the usage of global paths

Reduce the usage of global paths

Merge pull request #260 from RalfJung/tests

Split up test suite

Merge pull request #262 from RalfJung/never

remove ad-hoc 'never' type check in read_lvalue

Move rustc tests from tests to a binary, since they are only run manually anyway

Merge pull request #259 from RalfJung/ref-validate

No longer check aligment and non-NULLness on `&`

remove ad-hoc 'never' type check in read_lvalue

add test for misaligned pointer loads

fix checking alignment of pointer loads

fix a warning

split up the test suite

enable test code that passes just fine

Don't pretend that casts to bool are a thing

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.

Merge pull request #257 from oli-obk/cleanups

Export types and functions needed by priroda

Export types and functions needed by priroda

Merge pull request #254 from RalfJung/dangling

Remove reundant dangling checks in {r,d}eallocate

Merge pull request #255 from RalfJung/float

use libstd methods for floating-point <-> bytes conversion

use libstd methods for floating-point <-> bytes conversion

remove reundant dangling checks in {r,d}eallocate

Merge pull request #245 from oli-obk/funky_allocs

Ensure that it is not possible to explicitly free stack memory

Merge pull request #249 from RalfJung/lvalue

lvalue: refactoring to permit applying a mir projection to a miri lvalue

lvalue: refactoring to permit applying a mir projection to a miri lvalue

Add a comment explaining the static "local" during `deallocate_local`

Fix static mutation tests

Remove duplicate test

Use enum instead of boolean

Clarify documentation

Ensure that it is not possible to explicitly free stack memory

Merge pull request #247 from RalfJung/packed

Re-do packed memory accesses

packed structs: test unsize coercions

Merge pull request #243 from solson/magic_numbers

Get rid of magic numbers

use closures to ensure proper bracketing of unaligned accesses

simplify

show alignedness of ByRefs; allow converting unaligned ByRef to ptr

make all Value::into_* methods handle alignment the same way

expand comment

Reuse the `const_eval` method for syscall name resolution

Don't use magic numbers for synconf names

instead read them from the `libc` crate if available.

fixes #216

Copy `path_to_def` from clippy

Merge pull request #248 from RalfJung/pointer-games

Memory::read_ptr has to check for relocations on the edges

fix "unaligned" transmute

track alignment also for ByRef values

Memory::read_ptr has to check for relocations on the edges

Rename value accessors to "into_*" so the three of them are better aligned

Re-do packed memory accesses

We now track in the lvalue whether what we computed is expected to be aligend or not, and then set some state in the memory system accordingly to make it (not) do alignment checks

Merge pull request #241 from solson/rustc_integration

Produce `ConstInt` from a `def_id` for rustc

Merge pull request #242 from solson/various

Add tests for #113

Produce `ConstInt` from a `def_id` for rustc

Add tests for #113

resolves #113

Merge pull request #238 from RalfJung/tests

Add little script to build libstd

Merge pull request #239 from RalfJung/mmap

hooking mmap is no longer needed

hooking mmap is no longer needed

add little script to build libstd

That's easier to use than having to `cd xargo`

Add a test for using a too big alignment on reallocate

Merge pull request #236 from oli-obk/pointers

Use a wrapper type to differentiate between `PrimVal` and pointers

Document the reason for `Pointer`'s existence

Simplify `with_extra`

Remove `*offset*` methods from `PrimVal` onto `Pointer`

Use a wrapper type to differentiate between PrimVal and pointers

Add a dedicated `write_null` method

Rename Pointer to MemoryPointer

Merge pull request #237 from RalfJung/reallocate

Update for allcator API, simplify reallocate

leave notes regarding possible alignment checks

update tests for new allocator API

update for allocator API

update for latest nightly

simplify reallocate

Merge pull request #234 from RalfJung/reallocate

Make Reallocate & Deallocate less permissive

refine comment explaining the order of checks on deallocate

Merge pull request #232 from oli-obk/master

Only check pointers when dereferencing

Merge pull request #235 from RalfJung/intrinsics

Implement some missing intrinsics

Merge pull request #233 from RalfJung/transmute

Fix transmute on ByValPair

add test for div-by-zero with the operator (rather than the intrinsic)

catch overflows that are hidden by first casting the RHS to u32

check the assumptions made by the unchecked_ and copy_nonoverlapping intrinsics