]> git.lizzy.rs Git - rust.git/log
rust.git
5 years agoFix merge conflicts
Christian Poveda [Tue, 25 Jun 2019 02:47:37 +0000 (21:47 -0500)]
Fix merge conflicts

5 years agoReorganize MemoryExtra and AllocExtra structures
Christian Poveda [Mon, 24 Jun 2019 21:34:38 +0000 (16:34 -0500)]
Reorganize MemoryExtra and AllocExtra structures

5 years agoAuto merge of #787 - RalfJung:pointer-checks, r=RalfJung
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.

5 years agobump Rust commit
Ralf Jung [Mon, 24 Jun 2019 21:58:12 +0000 (23:58 +0200)]
bump Rust commit

5 years agoRename new fields and move rng to MemoryExtra
Christian Poveda [Mon, 24 Jun 2019 15:03:16 +0000 (10:03 -0500)]
Rename new fields and move rng to MemoryExtra

5 years agoApply suggestions from code review
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>
5 years agoexpand and better explain alignment check tests
Ralf Jung [Mon, 24 Jun 2019 06:40:45 +0000 (08:40 +0200)]
expand and better explain alignment check tests

5 years agode-obfuscate ptr comparison a bit
Ralf Jung [Sun, 23 Jun 2019 18:30:33 +0000 (20:30 +0200)]
de-obfuscate ptr comparison a bit

5 years agoadjust for refactored memory pointer checks
Ralf Jung [Sun, 23 Jun 2019 15:26:12 +0000 (17:26 +0200)]
adjust for refactored memory pointer checks

5 years agoForce intptrcast for binary operations
Christian Poveda [Sat, 22 Jun 2019 14:25:16 +0000 (09:25 -0500)]
Force intptrcast for binary operations

5 years agoAuto merge of #783 - RalfJung:rustup, r=RalfJung
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

5 years agoAuto merge of #784 - RalfJung:ci, r=RalfJung
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

5 years agoalso run tests for cron jobs
Ralf Jung [Sat, 22 Jun 2019 09:13:35 +0000 (11:13 +0200)]
also run tests for cron jobs

5 years agofix compilation with latest rustc
Ralf Jung [Sat, 22 Jun 2019 09:05:12 +0000 (11:05 +0200)]
fix compilation with latest rustc

5 years agoDuplicate compile-fail tests for intptrcast
Christian Poveda [Fri, 21 Jun 2019 21:32:54 +0000 (16:32 -0500)]
Duplicate compile-fail tests for intptrcast

5 years agoImplement intptrcast methods
Christian Poveda [Thu, 20 Jun 2019 19:21:47 +0000 (14:21 -0500)]
Implement intptrcast methods

5 years agoAuto merge of #782 - RalfJung:generator, r=RalfJung
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

5 years agoadd a failing test where an immovable generator gets moved
Ralf Jung [Fri, 21 Jun 2019 19:48:27 +0000 (21:48 +0200)]
add a failing test where an immovable generator gets moved

5 years agoAuto merge of #780 - RalfJung:ci, r=RalfJung
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.

5 years agofix Travis bors branch names
Ralf Jung [Fri, 21 Jun 2019 19:02:30 +0000 (21:02 +0200)]
fix Travis bors branch names

5 years agoAppVeyor: only run on bors branches
Ralf Jung [Fri, 21 Jun 2019 18:55:24 +0000 (20:55 +0200)]
AppVeyor: only run on bors branches

5 years agoTravis: also run on bors branches, and not on master
Ralf Jung [Fri, 21 Jun 2019 18:51:05 +0000 (20:51 +0200)]
Travis: also run on bors branches, and not on master

5 years agoMerge pull request #778 from christianpoveda/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

5 years agoMerge branch 'master' into master
Oliver Scherer [Fri, 21 Jun 2019 10:37:13 +0000 (12:37 +0200)]
Merge branch 'master' into master

5 years agoUpdate rust-version
Oliver Scherer [Fri, 21 Jun 2019 10:36:19 +0000 (12:36 +0200)]
Update rust-version

5 years agoMerge pull request #777 from RalfJung/rustup
Ralf Jung [Fri, 21 Jun 2019 07:00:21 +0000 (09:00 +0200)]
Merge pull request #777 from RalfJung/rustup

bump Rust

5 years agoMerge branch 'master' into master
Christian Poveda [Fri, 21 Jun 2019 02:38:10 +0000 (21:38 -0500)]
Merge branch 'master' into master

5 years agoUpdate tag methods to match Machine changes
Christian Poveda [Thu, 20 Jun 2019 21:58:57 +0000 (16:58 -0500)]
Update tag methods to match Machine changes

5 years agoMerge branch 'master' into rustup
Ralf Jung [Thu, 20 Jun 2019 19:37:12 +0000 (21:37 +0200)]
Merge branch 'master' into rustup

5 years agoMerge pull request #774 from soc/patch-1
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

5 years agoMerge branch 'master' into patch-1
Ralf Jung [Thu, 20 Jun 2019 18:47:27 +0000 (20:47 +0200)]
Merge branch 'master' into patch-1

5 years agouse org.rust-lang.miri folder on macOS
Ralf Jung [Thu, 20 Jun 2019 17:45:39 +0000 (19:45 +0200)]
use org.rust-lang.miri folder on macOS

5 years agoallow some inequality comparisons between pointers and integers
Ralf Jung [Thu, 20 Jun 2019 14:38:55 +0000 (16:38 +0200)]
allow some inequality comparisons between pointers and integers

5 years agobump Rust, no changes needed
Ralf Jung [Thu, 20 Jun 2019 13:35:06 +0000 (15:35 +0200)]
bump Rust, no changes needed

5 years agoMerge pull request #776 from RalfJung/intrinsics
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

5 years agoimplement and test 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

5 years agotest unchecked_rem
Ralf Jung [Sun, 16 Jun 2019 08:53:49 +0000 (10:53 +0200)]
test unchecked_rem

5 years agotest exact_div UB detection
Ralf Jung [Sun, 16 Jun 2019 08:51:08 +0000 (10:51 +0200)]
test exact_div UB detection

5 years agoMerge pull request #771 from kennethbgoodin/foreign_math_functions
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

5 years agoMerge branch 'master' into foreign_math_functions
Ralf Jung [Sun, 16 Jun 2019 08:11:32 +0000 (10:11 +0200)]
Merge branch 'master' into foreign_math_functions

5 years agoMerge pull request #775 from rust-lang/rustup
Ralf Jung [Sun, 16 Jun 2019 08:10:53 +0000 (10:10 +0200)]
Merge pull request #775 from rust-lang/rustup

Rustup

5 years agobump rustc yet again
Ralf Jung [Sun, 16 Jun 2019 07:49:27 +0000 (09:49 +0200)]
bump rustc yet again

5 years agoFix project dirs path
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.

5 years agoFix wrong lifetime of TyCtxt
Lzu Tao [Fri, 14 Jun 2019 19:34:11 +0000 (02:34 +0700)]
Fix wrong lifetime of TyCtxt

Rustup rust-lang/rust#61817

5 years agoMerge pull request #772 from RalfJung/sysroot
Ralf Jung [Fri, 14 Jun 2019 12:28:37 +0000 (14:28 +0200)]
Merge pull request #772 from RalfJung/sysroot

Fix sysroot handling

5 years agofix running a Miri that was built in bootstrap
Ralf Jung [Fri, 14 Jun 2019 10:09:43 +0000 (12:09 +0200)]
fix running a Miri that was built in bootstrap

5 years agochange sysroot check to print the output in case of an error
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

5 years agoFix indentation
Oliver Scherer [Fri, 14 Jun 2019 08:44:08 +0000 (10:44 +0200)]
Fix indentation

5 years agoAdd more missing math functions
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.

5 years agoMerge pull request #769 from RalfJung/rustup
Ralf Jung [Thu, 13 Jun 2019 07:50:54 +0000 (09:50 +0200)]
Merge pull request #769 from RalfJung/rustup

Rustup

5 years agorustup for lifetime refactorings
Ralf Jung [Thu, 13 Jun 2019 06:52:04 +0000 (08:52 +0200)]
rustup for lifetime refactorings

5 years agoREADME: mention to cargo update, mention rustup-toolchain-install-master
Ralf Jung [Thu, 13 Jun 2019 06:43:35 +0000 (08:43 +0200)]
README: mention to cargo update, mention rustup-toolchain-install-master

5 years agoMerge pull request #763 from kennethbgoodin/fix_cmath_functions
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

5 years agoImplement 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`

5 years agoMerge pull request #701 from RalfJung/rand
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

5 years agobump rand so that the test passes
Ralf Jung [Wed, 12 Jun 2019 16:30:05 +0000 (18:30 +0200)]
bump rand so that the test passes

5 years agotest rand a bit more
Ralf Jung [Wed, 12 Jun 2019 16:19:50 +0000 (18:19 +0200)]
test rand a bit more

5 years agoMerge pull request #764 from RalfJung/minmax
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

5 years agobump Rust version
Ralf Jung [Tue, 11 Jun 2019 17:42:01 +0000 (19:42 +0200)]
bump Rust version

5 years agotest FMA a bit more
Ralf Jung [Mon, 10 Jun 2019 07:57:01 +0000 (09:57 +0200)]
test FMA a bit more

5 years agotest more enum-int-cast code paths
Ralf Jung [Mon, 10 Jun 2019 07:50:47 +0000 (09:50 +0200)]
test more enum-int-cast code paths

5 years agouse apfloat's FMA primitive
Ralf Jung [Mon, 10 Jun 2019 07:49:06 +0000 (09:49 +0200)]
use apfloat's FMA primitive

5 years agoimplement min and max floating point intrinsics
Ralf Jung [Sat, 8 Jun 2019 22:19:05 +0000 (00:19 +0200)]
implement min and max floating point intrinsics

5 years agofix from to/from f32/f64 changes
Ralf Jung [Sat, 8 Jun 2019 22:12:57 +0000 (00:12 +0200)]
fix from to/from f32/f64 changes

5 years agoMerge pull request #766 from RalfJung/sysroot
Ralf Jung [Tue, 11 Jun 2019 08:23:39 +0000 (10:23 +0200)]
Merge pull request #766 from RalfJung/sysroot

Sysroot consistency check

5 years agoMerge branch 'master' into sysroot
Ralf Jung [Tue, 11 Jun 2019 07:48:05 +0000 (09:48 +0200)]
Merge branch 'master' into sysroot

5 years agoMerge pull request #767 from RalfJung/rustup
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

5 years agofix for rustc rename mir -> body
Ralf Jung [Mon, 10 Jun 2019 11:01:55 +0000 (13:01 +0200)]
fix for rustc rename mir -> body

5 years agofactor out common code to determine miri binary
Ralf Jung [Sun, 9 Jun 2019 17:47:09 +0000 (19:47 +0200)]
factor out common code to determine miri binary

5 years agomake sure that find_sysroot always sets MIRI_SYSROOT
Ralf Jung [Sun, 9 Jun 2019 17:41:58 +0000 (19:41 +0200)]
make sure that find_sysroot always sets MIRI_SYSROOT

5 years agofix comments
Ralf Jung [Sun, 9 Jun 2019 15:12:41 +0000 (17:12 +0200)]
fix comments

5 years agodo not handle MIRI_SYSROOT in the driver at all, rely fully on the --sysroot flag
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

5 years agodon't have both MIRI_SYSROOT and --sysroot
Ralf Jung [Sun, 9 Jun 2019 13:43:22 +0000 (15:43 +0200)]
don't have both MIRI_SYSROOT and --sysroot

5 years agoexplain why we always set a sysroot; make sure we error if both MIRI_SYSROOT and...
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

5 years agoremove outdated sysroot management
Ralf Jung [Sun, 9 Jun 2019 12:10:42 +0000 (14:10 +0200)]
remove outdated sysroot management

5 years agocargo miri: make sure we see the same sysroot for rustc and miri
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

5 years agoMerge pull request #765 from RalfJung/rustup
Ralf Jung [Sat, 8 Jun 2019 21:00:46 +0000 (23:00 +0200)]
Merge pull request #765 from RalfJung/rustup

rustup for EvalResult rename

5 years agorustup for EvalResult rename
Ralf Jung [Sat, 8 Jun 2019 20:14:47 +0000 (22:14 +0200)]
rustup for EvalResult rename

5 years agoMerge pull request #761 from ecstatic-morse/type-name
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.

5 years agoUse in-core implementation of `type_name`.
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.

5 years agoMerge pull request #757 from RalfJung/test-ice
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

5 years agobump Rust
Ralf Jung [Tue, 4 Jun 2019 11:22:27 +0000 (13:22 +0200)]
bump Rust

5 years agotest for no-validation-only failure
Ralf Jung [Fri, 31 May 2019 17:05:31 +0000 (19:05 +0200)]
test for no-validation-only failure

5 years agoremove too expensive debug assertion (#755)
Ralf Jung [Mon, 3 Jun 2019 10:14:52 +0000 (12:14 +0200)]
remove too expensive debug assertion (#755)

remove too expensive debug assertion

5 years agoMerge branch 'master' into debug
Ralf Jung [Mon, 3 Jun 2019 09:02:17 +0000 (11:02 +0200)]
Merge branch 'master' into debug

5 years agoMerge pull request #760 from lzutao/bump-dep
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

5 years agoBump directories to 2.0
Lzu Tao [Mon, 3 Jun 2019 02:55:02 +0000 (09:55 +0700)]
Bump directories to 2.0

5 years agoBump cargo_metadata to 0.8
Lzu Tao [Mon, 3 Jun 2019 02:52:19 +0000 (09:52 +0700)]
Bump cargo_metadata to 0.8

5 years agoTag static/const allocations (#748)
Ralf Jung [Sun, 2 Jun 2019 21:00:45 +0000 (23:00 +0200)]
Tag static/const allocations (#748)

Tag static/const allocations

5 years agobump Rust version
Ralf Jung [Sun, 2 Jun 2019 20:16:18 +0000 (22:16 +0200)]
bump Rust version

5 years agotest that we cannot access unescaped static memory with a raw ptr
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

5 years agofix existing tests
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

5 years agouse new rustc infrastructure to tag the base pointer of static allocations
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

5 years agoMerge pull request #759 from RalfJung/rustup
Ralf Jung [Sat, 1 Jun 2019 08:25:37 +0000 (10:25 +0200)]
Merge pull request #759 from RalfJung/rustup

rustup for ... deprecation

5 years agorustup for ... deprecation
Ralf Jung [Sat, 1 Jun 2019 08:04:49 +0000 (10:04 +0200)]
rustup for ... deprecation

5 years agoremove too expensive debug assertion
Ralf Jung [Fri, 31 May 2019 14:34:22 +0000 (16:34 +0200)]
remove too expensive debug assertion

5 years agoRustup (#752)
Ralf Jung [Thu, 30 May 2019 10:39:01 +0000 (12:39 +0200)]
Rustup (#752)

Rustup

5 years agomove fn_item/ptr tests to closures file
Ralf Jung [Thu, 30 May 2019 09:01:22 +0000 (11:01 +0200)]
move fn_item/ptr tests to closures file

5 years agoupdate for rustc warning about missing dyn
Ralf Jung [Thu, 30 May 2019 08:58:30 +0000 (10:58 +0200)]
update for rustc warning about missing dyn

5 years agoMerge pull request #751 from RalfJung/rc
Ralf Jung [Wed, 29 May 2019 21:46:33 +0000 (23:46 +0200)]
Merge pull request #751 from RalfJung/rc

test weak_into_raw