be explicit about our line endings

Auto merge of #809 - RalfJung:intptrcast, r=RalfJung

use intptrcast for heap_allocator test; then it should work on Windows

test even more size-alignment combinations. found a bug in libstd!

fix minimal alignment for system allocation functions

add some tracing to intptrcast

move appveyor env var settings to more appropriate section

fix setting rustc flags

Auto merge of #806 - varkor:patch-1, r=RalfJung

Fix `unused_must_use` inside `Box`

After https://github.com/rust-lang/rust/pull/62228, this will be linted against (and causes the test to fail). (This blocks https://github.com/rust-lang/rust/pull/62228.)

Miri is not deterministic any more

use intptrcast for heap_allocator test; then it should work on Windows

Auto merge of #807 - RalfJung:test-name, r=RalfJung

better name for a test: threads -> sync

improve comment

better name for a test: threads -> sync

Fix `unused_must_use` inside `Box`

After https://github.com/rust-lang/rust/pull/62228, this will be linted against (and causes the test to fail).

Auto merge of #805 - RalfJung:shims, r=RalfJung

move shims (foreign items and intrinsics) into submodule

This is in preparation for dlsym support, where there will b a third "kind" of shim.

And maybe some day we find a good way to split those long files...

move shims (foreign items and intrinsics) into submodule

Auto merge of #804 - RalfJung:intptrcast, r=RalfJung

fix comparing function pointers with intptrcast

Cc @christianpoveda

fix comparing function pointers with intptrcast

Auto merge of #801 - RalfJung:num_cpus, r=RalfJung

support num_cpus crate and test that

Also make some magic numbers into proper global constants.

Auto merge of #795 - RalfJung:intptrcast, r=RalfJung

tweak inttoptr allocation behavior

- Make `align_addr` not offset by `align` for no reason.
- Add some random slack between allocations to give them the chance to not be aligned.

Cc @christianpoveda

Fixes https://github.com/rust-lang/miri/issues/791

move constants to machine.rs

comment on STACK_ADDR

support num_cpus and test that

make sure we catch alignment problems even with intrptrcast

don't compute residue twice

more sensible slack

tweak inttoptr allocation behavior

- Make `align_addr` not offset by `align` for no reason.
- Add some random slack between allocations to give them the chance to not be aligned.

Auto merge of #802 - RalfJung:machine, r=RalfJung

some lib.rs refactoring

Taken out of https://github.com/rust-lang/miri/pull/799 so that we can land it now and resolve merge conflicts instead of dragging them along.

Splits lib.rs into machine.rs for the machine state and trait impl, and eval.rs for the main evaluator loop and setting up the initial stack frame.

move most of the stuff from lib.rs into machine.rs, and initialization + main loop into eval.rs

Auto merge of #798 - RalfJung:format-ptr, r=RalfJung

test pointer string formatting

test pointer string formatting

Auto merge of #796 - RalfJung:rand, r=RalfJung

bump rand to released 0.7

bump rand to released 0.7

Auto merge of #794 - RalfJung:alignment-sanity, r=oli-obk

ptr-to-int alignment sanity check

ptr-to-int alignment sanity check

Auto merge of #793 - jyn514:master, r=RalfJung

Show usage if run without arguments

Before, running `./miri` without arguments gave
'./miri: 92: shift: can't shift that many' if run with /bin/sh,
or no output at all when run with bash (because of the `set -e` at the top).

Although that gives some indication of the error, it's not as helpful as
showing the usage.

Show usage if run without arguments

Before, running `./miri` without arguments gave
'./miri: 92: shift: can't shift that many' if run with /bin/sh,
or no output at all when run with bash.

Although that gives some indication of the error, it's not as helpful as
showing the usage.

Auto merge of #779 - christianpoveda:intptrcast-model, r=RalfJung,oli-obk

Implement intptrcast methods

cc https://github.com/rust-lang/miri/issues/224

Fix alignment of base addresses

Auto merge of #790 - RalfJung:readme, r=oli-obk

README: add snippet for running Miri on CI

add snippet for running Miri on CI

Fix merge conflicts

Reorganize MemoryExtra and AllocExtra structures

Auto merge of #787 - RalfJung:pointer-checks, r=RalfJung

adjust for refactored memory pointer checks

The Miri side of https://github.com/rust-lang/rust/pull/62081.

bump Rust commit

Rename new fields and move rng to MemoryExtra

Apply suggestions from code review

Co-Authored-By: Oliver Scherer <github35764891676564198441@oli-obk.de>

expand and better explain alignment check tests

de-obfuscate ptr comparison a bit

adjust for refactored memory pointer checks

Force intptrcast for binary operations

Auto merge of #783 - RalfJung:rustup, r=RalfJung

fix compilation with latest rustc

Auto merge of #784 - RalfJung:ci, r=RalfJung

also run tests for cron jobs

also run tests for cron jobs

fix compilation with latest rustc

Duplicate compile-fail tests for intptrcast

Implement intptrcast methods

Auto merge of #782 - RalfJung:generator, r=RalfJung

add a failing test where an immovable generator gets moved

Test courtesy of @shepmaster

add a failing test where an immovable generator gets moved

Auto merge of #780 - RalfJung:ci, r=RalfJung

adapt CI for bors

With this, we should run the Travis tests (Linux+macOS) in PRs, and run that plus AppVeyor in bors.

fix Travis bors branch names

AppVeyor: only run on bors branches

Travis: also run on bors branches, and not on master

Merge pull request #778 from christianpoveda/master

Update tag methods to match Machine changes

Merge branch 'master' into master

Update rust-version

Merge pull request #777 from RalfJung/rustup

bump Rust

Merge branch 'master' into master

Update tag methods to match Machine changes

Merge branch 'master' into rustup

Merge pull request #774 from soc/patch-1

Fix project dirs path

Merge branch 'master' into patch-1

use org.rust-lang.miri folder on macOS

allow some inequality comparisons between pointers and integers

bump Rust, no changes needed

Merge pull request #776 from RalfJung/intrinsics

 implement unchecked_{add,sub,mul} intrinsics

implement and test unchecked_{add,sub,mul} intrinsics

test unchecked_rem

test exact_div UB detection

Merge pull request #771 from kennethbgoodin/foreign_math_functions

Add more missing math functions

Merge branch 'master' into foreign_math_functions

Merge pull request #775 from rust-lang/rustup

Rustup

bump rustc yet again

Fix project dirs path

    ProjectDirs::from("miri", "miri", "miri")

would get you `miri\miri` on Windows and `miri.miri.miri` on macOS.

I'm assuming here that your intention was to have only a `miri` directory on every OS.

Fix wrong lifetime of TyCtxt

Rustup rust-lang/rust#61817

Merge pull request #772 from RalfJung/sysroot

Fix sysroot handling

fix running a Miri that was built in bootstrap

change sysroot check to print the output in case of an error

Fix indentation

Add more missing math functions

Add missing functions for atan2, cosh, sinh, and tan.
Also add f32 calls and tests for cbrt and hypot.

Merge pull request #769 from RalfJung/rustup

Rustup

rustup for lifetime refactorings

README: mention to cargo update, mention rustup-toolchain-install-master

Merge pull request #763 from kennethbgoodin/fix_cmath_functions

[WIP] Implement cbrt and hypot function calls

Implement cbrt and hypot function calls

Test cases are added to `tests/run-pass/intrinsics-math.rs`

Merge pull request #701 from RalfJung/rand

test rand a bit more

bump rand so that the test passes

test rand a bit more

Merge pull request #764 from RalfJung/minmax

implement min and max floating point intrinsics

bump Rust version