stacked borrows: track refs and derefs

add env var emulation test, and fix it complaining about leaks

add Borrow tag to pointers; remove old locking code

Merge pull request #484 from RalfJung/mir-opt

Test with opt levels 0 and 1

explain our flags in the README

test with opt levels 0 and 1

Merge pull request #482 from apoelstra/2018-10-lib-tests

cargo-miri: support running unit tests for libraries as well as test binaries

cargo-miri: support running unit tests for libraries as well as test binaries

Merge pull request #478 from RalfJung/rustc-tests

make rustc-tests a binary in the main project

make rustc-tests a binary in the main project

Merge pull request #473 from solson/rustup

rustup: Update for rustc validation fixes

whitelist Windows Mutex

fix rustc_test compilation

bump toolchain

Merge remote-tracking branch 'origin/master' into rustup

Merge pull request #477 from RalfJung/miri-validate

Validate more things

enable validation for compile-fail tests, and add some new ones

whitelist std::ptr::read

Merge pull request #476 from RalfJung/atomics

atomics wrap around on overflow

atomics wrap around on overflow

do not validate start-fn code

fix return place for __rust_maybe_catch_panic

Merge pull request #474 from RalfJung/miri-validate

Enable enforcing the validity invariant per default

enable validation per default, but add a flag to disable it and use that for some run-pass tests

compile-fail does not do validation yet

Merge pull request #468 from RalfJung/pointer-provenance

update for ptr provenance

enforce_validity became a function

explain a test

update for size_and_align considering extern types

update for new return place handling

bump toolchain

update for ptr provenance

Merge pull request #470 from RalfJung/ptr-offset

only allow 0-offset on integer pointers

Merge branch 'master' into ptr-offset

Merge pull request #467 from solson/rustup

rustup; test for return type mismatch

Merge branch 'master' into rustup

Merge pull request #471 from RalfJung/vergen

update to vergen 3

bump toolchain

Merge remote-tracking branch 'origin/master' into rustup

update to vergen 3

0-offset is also not always okay

only allow offset-by-0 on integer pointers

fix for fn allocations now having an alignment (1) and a size (0)

Merge pull request #469 from RalfJung/ptr-offset

ensure that we cannot use (wrapping_)offset to go from an int ptr to a real ptr

use Box::into_raw

ensure that we cannot use (wrapping_)offset to go from an int ptr to a real ptr

rustup; test for return type mismatch

Merge pull request #466 from solson/rustup

rustup

rustup

Merge pull request #464 from RalfJung/travis

update CI

update CI: Avoid downloading Rust twice

Merge pull request #462 from RalfJung/needs-drop

remove needs_drop impl

move 'cargo miri' test down so it is not the first thing testing start-fn

remove needs_drop impl

Merge pull request #461 from solson/rustup

fix test for latest rustc

fix test for latest rustc

Merge pull request #459 from solson/rustup

Rustup

bump toolchain

Merge remote-tracking branch 'origin/master' into rustup

Merge pull request #460 from RalfJung/static-mut

Test mutating a non-mut static with interior mutability

test mutating a non-mut static with interior mutability

Merge pull request #457 from RalfJung/field-align

test for interestingly aligned field access

bump toolchain

test for interestingly aligned field access

rustup

Merge pull request #458 from RalfJung/tls

Move TLS data to machine data

Move TLS data to machine data

There is no good reason to let the machine store stuff in the machine *and* in memory. I plan to get rid of the latter.

Merge pull request #453 from RalfJung/zst

ZST pointers and pointer equality

update toolchain

more compile-fail ptr equality tests, to rule out any non-determinism; and fix ptr equality to fail all of them.

At least these are the cases I can think of right now.

test more operations on dangling ZST pointers

Merge pull request #456 from solson/rustup

fix test for rustup

fix test for rustup

Merge pull request #446 from RalfJung/zero-sized-accesses

Strictly enforce pointer validity even for zero-sized accesses

bump toolchain

Merge remote-tracking branch 'origin/master' into zero-sized-accesses

add some compile-fail tests

Merge pull request #455 from RalfJung/cargo-miri-version

cargo miri: show version number

cargo miri: show version number

Merge pull request #451 from TimDiekmann/master

Remove unchecked_shr/shl from intrinsics

bump Rust

move MemoryData to memory.rs; remove all the Hashing stuff

Remove (overflowing_)add/mul/sub(_with_overflow)

Remove unchecked_shr/shl from intrinsics

Merge pull request #448 from TheDarkula/master

Removed transmute from intrinsic.rs

Merge branch 'master' into master

Removed transmute from intrinsic.rs

Merge pull request #445 from solson/rustup

Rustup

more permissive pointer comparison logic

Merge branch 'master' into rustup

bump toolchain

Merge pull request #444 from RalfJung/windows

Unignore a bunch of tests that actually work

unignore a bunch of tests that actually work

also allow comparing pointers with integers so big that they cannot be equal

strictly enforce pointer validity even for zero-sized accesses

ptr equality: only defined for ptrs in the same allocation and live ptrs

new tests for new fn arg passing code

move some more helpers to rustc

Merge pull request #434 from solson/rustup

rustup for big refactor; kill most of validation

no TLS dtor and no leak checks on macOS

pretend mprotect works