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

no RwLock on Windows

stack address functions for macOS

ignore memory leaks on Windows

pthreads test needs full MIR on Windows

VecDeque now requries full MIR; update to new nightly

some unary operator tests

small test for extern_type

update for MUT_STATIC_KIND

rustup

update for enum discriminant changes

test VecDeque

rustup

update for bool/char being checked at binops

rustup

fix leaks with -Zmiri-start-fn

update for miri engine: new function handling, new static handling, fixed leaks

fix type renaming

Merge remote-tracking branch 'origin/master'

rustup

update for rustc memory changes; fix (un)init intrinsic for ZST

fix compilation after rustc change

update for memory signedness removal; test some float casts

rustup for big refactor; kill most of validation

Merge pull request #431 from RalfJung/packed

Allow remainder on pointers, reenable packed-structs test

tweak test config in Cargo.toml

fix int ptr ops on 32bit

test some more things around packed structs

add a scary test case

fix modulo logic

support computing the remainder of a ptr, if covered by alignment