]>
git.lizzy.rs Git - rust.git/log
bors [Wed, 26 Jun 2019 14:52:03 +0000 (14:52 +0000)]
Auto merge of #779 - christianpoveda:intptrcast-model, r=RalfJung,oli-obk
Implement intptrcast methods
cc https://github.com/rust-lang/miri/issues/224
Christian Poveda [Tue, 25 Jun 2019 19:07:23 +0000 (14:07 -0500)]
Fix alignment of base addresses
bors [Tue, 25 Jun 2019 08:14:59 +0000 (08:14 +0000)]
Auto merge of #790 - RalfJung:readme, r=oli-obk
README: add snippet for running Miri on CI
Ralf Jung [Tue, 25 Jun 2019 08:05:34 +0000 (10:05 +0200)]
add snippet for running Miri on CI
Christian Poveda [Tue, 25 Jun 2019 02:47:37 +0000 (21:47 -0500)]
Fix merge conflicts
Christian Poveda [Mon, 24 Jun 2019 21:34:38 +0000 (16:34 -0500)]
Reorganize MemoryExtra and AllocExtra structures
bors [Mon, 24 Jun 2019 21:59:22 +0000 (21:59 +0000)]
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.
Ralf Jung [Mon, 24 Jun 2019 21:58:12 +0000 (23:58 +0200)]
bump Rust commit
Christian Poveda [Mon, 24 Jun 2019 15:03:16 +0000 (10:03 -0500)]
Rename new fields and move rng to MemoryExtra
Ralf Jung [Mon, 24 Jun 2019 12:50:27 +0000 (14:50 +0200)]
Apply suggestions from code review
Co-Authored-By: Oliver Scherer <github35764891676564198441@oli-obk.de>
Ralf Jung [Mon, 24 Jun 2019 06:40:45 +0000 (08:40 +0200)]
expand and better explain alignment check tests
Ralf Jung [Sun, 23 Jun 2019 18:30:33 +0000 (20:30 +0200)]
de-obfuscate ptr comparison a bit
Ralf Jung [Sun, 23 Jun 2019 15:26:12 +0000 (17:26 +0200)]
adjust for refactored memory pointer checks
Christian Poveda [Sat, 22 Jun 2019 14:25:16 +0000 (09:25 -0500)]
Force intptrcast for binary operations
bors [Sat, 22 Jun 2019 09:49:32 +0000 (09:49 +0000)]
Auto merge of #783 - RalfJung:rustup, r=RalfJung
fix compilation with latest rustc
bors [Sat, 22 Jun 2019 09:14:48 +0000 (09:14 +0000)]
Auto merge of #784 - RalfJung:ci, r=RalfJung
also run tests for cron jobs
Ralf Jung [Sat, 22 Jun 2019 09:13:35 +0000 (11:13 +0200)]
also run tests for cron jobs
Ralf Jung [Sat, 22 Jun 2019 09:05:12 +0000 (11:05 +0200)]
fix compilation with latest rustc
Christian Poveda [Fri, 21 Jun 2019 21:32:54 +0000 (16:32 -0500)]
Duplicate compile-fail tests for intptrcast
Christian Poveda [Thu, 20 Jun 2019 19:21:47 +0000 (14:21 -0500)]
Implement intptrcast methods
bors [Fri, 21 Jun 2019 19:49:43 +0000 (19:49 +0000)]
Auto merge of #782 - RalfJung:generator, r=RalfJung
add a failing test where an immovable generator gets moved
Test courtesy of @shepmaster
Ralf Jung [Fri, 21 Jun 2019 19:48:27 +0000 (21:48 +0200)]
add a failing test where an immovable generator gets moved
bors [Fri, 21 Jun 2019 19:03:00 +0000 (19:03 +0000)]
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.
Ralf Jung [Fri, 21 Jun 2019 19:02:30 +0000 (21:02 +0200)]
fix Travis bors branch names
Ralf Jung [Fri, 21 Jun 2019 18:55:24 +0000 (20:55 +0200)]
AppVeyor: only run on bors branches
Ralf Jung [Fri, 21 Jun 2019 18:51:05 +0000 (20:51 +0200)]
Travis: also run on bors branches, and not on master
Ralf Jung [Fri, 21 Jun 2019 11:20:22 +0000 (13:20 +0200)]
Merge pull request #778 from christianpoveda/master
Update tag methods to match Machine changes
Oliver Scherer [Fri, 21 Jun 2019 10:37:13 +0000 (12:37 +0200)]
Merge branch 'master' into master
Oliver Scherer [Fri, 21 Jun 2019 10:36:19 +0000 (12:36 +0200)]
Update rust-version
Ralf Jung [Fri, 21 Jun 2019 07:00:21 +0000 (09:00 +0200)]
Merge pull request #777 from RalfJung/rustup
bump Rust
Christian Poveda [Fri, 21 Jun 2019 02:38:10 +0000 (21:38 -0500)]
Merge branch 'master' into master
Christian Poveda [Thu, 20 Jun 2019 21:58:57 +0000 (16:58 -0500)]
Update tag methods to match Machine changes
Ralf Jung [Thu, 20 Jun 2019 19:37:12 +0000 (21:37 +0200)]
Merge branch 'master' into rustup
Ralf Jung [Thu, 20 Jun 2019 19:36:59 +0000 (21:36 +0200)]
Merge pull request #774 from soc/patch-1
Fix project dirs path
Ralf Jung [Thu, 20 Jun 2019 18:47:27 +0000 (20:47 +0200)]
Merge branch 'master' into patch-1
Ralf Jung [Thu, 20 Jun 2019 17:45:39 +0000 (19:45 +0200)]
use org.rust-lang.miri folder on macOS
Ralf Jung [Thu, 20 Jun 2019 14:38:55 +0000 (16:38 +0200)]
allow some inequality comparisons between pointers and integers
Ralf Jung [Thu, 20 Jun 2019 13:35:06 +0000 (15:35 +0200)]
bump Rust, no changes needed
Oliver Scherer [Mon, 17 Jun 2019 09:12:12 +0000 (11:12 +0200)]
Merge pull request #776 from RalfJung/intrinsics
implement unchecked_{add,sub,mul} intrinsics
Ralf Jung [Sun, 16 Jun 2019 09:10:14 +0000 (11:10 +0200)]
implement and test unchecked_{add,sub,mul} intrinsics
Ralf Jung [Sun, 16 Jun 2019 08:53:49 +0000 (10:53 +0200)]
test unchecked_rem
Ralf Jung [Sun, 16 Jun 2019 08:51:08 +0000 (10:51 +0200)]
test exact_div UB detection
Ralf Jung [Sun, 16 Jun 2019 09:10:26 +0000 (11:10 +0200)]
Merge pull request #771 from kennethbgoodin/foreign_math_functions
Add more missing math functions
Ralf Jung [Sun, 16 Jun 2019 08:11:32 +0000 (10:11 +0200)]
Merge branch 'master' into foreign_math_functions
Ralf Jung [Sun, 16 Jun 2019 08:10:53 +0000 (10:10 +0200)]
Merge pull request #775 from rust-lang/rustup
Rustup
Ralf Jung [Sun, 16 Jun 2019 07:49:27 +0000 (09:49 +0200)]
bump rustc yet again
soc [Fri, 14 Jun 2019 21:17:27 +0000 (23:17 +0200)]
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.
Lzu Tao [Fri, 14 Jun 2019 19:34:11 +0000 (02:34 +0700)]
Fix wrong lifetime of TyCtxt
Rustup rust-lang/rust#61817
Ralf Jung [Fri, 14 Jun 2019 12:28:37 +0000 (14:28 +0200)]
Merge pull request #772 from RalfJung/sysroot
Fix sysroot handling
Ralf Jung [Fri, 14 Jun 2019 10:09:43 +0000 (12:09 +0200)]
fix running a Miri that was built in bootstrap
Ralf Jung [Fri, 14 Jun 2019 09:15:09 +0000 (11:15 +0200)]
change sysroot check to print the output in case of an error
Oliver Scherer [Fri, 14 Jun 2019 08:44:08 +0000 (10:44 +0200)]
Fix indentation
Kenny Goodin [Thu, 13 Jun 2019 18:11:35 +0000 (14:11 -0400)]
Add more missing math functions
Add missing functions for atan2, cosh, sinh, and tan.
Also add f32 calls and tests for cbrt and hypot.
Ralf Jung [Thu, 13 Jun 2019 07:50:54 +0000 (09:50 +0200)]
Merge pull request #769 from RalfJung/rustup
Rustup
Ralf Jung [Thu, 13 Jun 2019 06:52:04 +0000 (08:52 +0200)]
rustup for lifetime refactorings
Ralf Jung [Thu, 13 Jun 2019 06:43:35 +0000 (08:43 +0200)]
README: mention to cargo update, mention rustup-toolchain-install-master
Ralf Jung [Wed, 12 Jun 2019 20:56:53 +0000 (22:56 +0200)]
Merge pull request #763 from kennethbgoodin/fix_cmath_functions
[WIP] Implement cbrt and hypot function calls
Kenny Goodin [Wed, 5 Jun 2019 05:26:46 +0000 (01:26 -0400)]
Implement cbrt and hypot function calls
Test cases are added to `tests/run-pass/intrinsics-math.rs`
Ralf Jung [Wed, 12 Jun 2019 17:16:08 +0000 (19:16 +0200)]
Merge pull request #701 from RalfJung/rand
test rand a bit more
Ralf Jung [Wed, 12 Jun 2019 16:30:05 +0000 (18:30 +0200)]
bump rand so that the test passes
Ralf Jung [Wed, 12 Jun 2019 16:19:50 +0000 (18:19 +0200)]
test rand a bit more
Ralf Jung [Tue, 11 Jun 2019 18:06:00 +0000 (20:06 +0200)]
Merge pull request #764 from RalfJung/minmax
implement min and max floating point intrinsics
Ralf Jung [Tue, 11 Jun 2019 17:42:01 +0000 (19:42 +0200)]
bump Rust version
Ralf Jung [Mon, 10 Jun 2019 07:57:01 +0000 (09:57 +0200)]
test FMA a bit more
Ralf Jung [Mon, 10 Jun 2019 07:50:47 +0000 (09:50 +0200)]
test more enum-int-cast code paths
Ralf Jung [Mon, 10 Jun 2019 07:49:06 +0000 (09:49 +0200)]
use apfloat's FMA primitive
Ralf Jung [Sat, 8 Jun 2019 22:19:05 +0000 (00:19 +0200)]
implement min and max floating point intrinsics
Ralf Jung [Sat, 8 Jun 2019 22:12:57 +0000 (00:12 +0200)]
fix from to/from f32/f64 changes
Ralf Jung [Tue, 11 Jun 2019 08:23:39 +0000 (10:23 +0200)]
Merge pull request #766 from RalfJung/sysroot
Sysroot consistency check
Ralf Jung [Tue, 11 Jun 2019 07:48:05 +0000 (09:48 +0200)]
Merge branch 'master' into sysroot
Ralf Jung [Mon, 10 Jun 2019 15:52:55 +0000 (17:52 +0200)]
Merge pull request #767 from RalfJung/rustup
fix for rustc rename mir -> body
Ralf Jung [Mon, 10 Jun 2019 11:01:55 +0000 (13:01 +0200)]
fix for rustc rename mir -> body
Ralf Jung [Sun, 9 Jun 2019 17:47:09 +0000 (19:47 +0200)]
factor out common code to determine miri binary
Ralf Jung [Sun, 9 Jun 2019 17:41:58 +0000 (19:41 +0200)]
make sure that find_sysroot always sets MIRI_SYSROOT
Ralf Jung [Sun, 9 Jun 2019 15:12:41 +0000 (17:12 +0200)]
fix comments
Ralf Jung [Sun, 9 Jun 2019 15:10:04 +0000 (17:10 +0200)]
do not handle MIRI_SYSROOT in the driver at all, rely fully on the --sysroot flag
Ralf Jung [Sun, 9 Jun 2019 13:43:22 +0000 (15:43 +0200)]
don't have both MIRI_SYSROOT and --sysroot
Ralf Jung [Sun, 9 Jun 2019 12:31:05 +0000 (14:31 +0200)]
explain why we always set a sysroot; make sure we error if both MIRI_SYSROOT and --sysroot are set
Ralf Jung [Sun, 9 Jun 2019 12:10:42 +0000 (14:10 +0200)]
remove outdated sysroot management
Ralf Jung [Sun, 9 Jun 2019 11:48:18 +0000 (13:48 +0200)]
cargo miri: make sure we see the same sysroot for rustc and miri
Ralf Jung [Sat, 8 Jun 2019 21:00:46 +0000 (23:00 +0200)]
Merge pull request #765 from RalfJung/rustup
rustup for EvalResult rename
Ralf Jung [Sat, 8 Jun 2019 20:14:47 +0000 (22:14 +0200)]
rustup for EvalResult rename
Oliver Scherer [Thu, 6 Jun 2019 07:23:42 +0000 (09:23 +0200)]
Merge pull request #761 from ecstatic-morse/type-name
Add a test for the new `type_name` intrinsic.
Dylan MacKenzie [Mon, 3 Jun 2019 04:20:13 +0000 (21:20 -0700)]
Use in-core implementation of `type_name`.
We bump `rust-version` to pick up the new impl from
https://github.com/rust-lang/rust/pull/61498 and add a test.
Ralf Jung [Tue, 4 Jun 2019 11:45:13 +0000 (13:45 +0200)]
Merge pull request #757 from RalfJung/test-ice
test for no-validation-only failure
Ralf Jung [Tue, 4 Jun 2019 11:22:27 +0000 (13:22 +0200)]
bump Rust
Ralf Jung [Fri, 31 May 2019 17:05:31 +0000 (19:05 +0200)]
test for no-validation-only failure
Ralf Jung [Mon, 3 Jun 2019 10:14:52 +0000 (12:14 +0200)]
remove too expensive debug assertion (#755)
remove too expensive debug assertion
Ralf Jung [Mon, 3 Jun 2019 09:02:17 +0000 (11:02 +0200)]
Merge branch 'master' into debug
Ralf Jung [Mon, 3 Jun 2019 07:09:20 +0000 (09:09 +0200)]
Merge pull request #760 from lzutao/bump-dep
Bump cargo_metadata and directories dependencies
Lzu Tao [Mon, 3 Jun 2019 02:55:02 +0000 (09:55 +0700)]
Bump directories to 2.0
Lzu Tao [Mon, 3 Jun 2019 02:52:19 +0000 (09:52 +0700)]
Bump cargo_metadata to 0.8
Ralf Jung [Sun, 2 Jun 2019 21:00:45 +0000 (23:00 +0200)]
Tag static/const allocations (#748)
Tag static/const allocations
Ralf Jung [Sun, 2 Jun 2019 20:16:18 +0000 (22:16 +0200)]
bump Rust version
Ralf Jung [Tue, 28 May 2019 17:26:50 +0000 (19:26 +0200)]
test that we cannot access unescaped static memory with a raw ptr
Ralf Jung [Tue, 28 May 2019 16:28:15 +0000 (18:28 +0200)]
fix existing tests
fix thread-local example to no longer write to pointers derived from a shared ref;
fix compile-fail test
Ralf Jung [Mon, 27 May 2019 18:04:37 +0000 (20:04 +0200)]
use new rustc infrastructure to tag the base pointer of static allocations
Ralf Jung [Sat, 1 Jun 2019 08:25:37 +0000 (10:25 +0200)]
Merge pull request #759 from RalfJung/rustup
rustup for ... deprecation
Ralf Jung [Sat, 1 Jun 2019 08:04:49 +0000 (10:04 +0200)]
rustup for ... deprecation
Ralf Jung [Fri, 31 May 2019 14:34:22 +0000 (16:34 +0200)]
remove too expensive debug assertion