]>
git.lizzy.rs Git - rust.git/log
Christian Poveda [Fri, 20 Sep 2019 08:30:55 +0000 (03:30 -0500)]
Set errno when getcwd fails
Christian Poveda [Fri, 20 Sep 2019 07:13:48 +0000 (02:13 -0500)]
Avoid writing more bytes than necessary
Christian Poveda [Thu, 19 Sep 2019 15:32:18 +0000 (10:32 -0500)]
Only use getcwd without isolation
Christian Poveda [Wed, 18 Sep 2019 21:46:41 +0000 (16:46 -0500)]
Check that getcwd does not error
Christian Poveda [Wed, 18 Sep 2019 21:10:13 +0000 (16:10 -0500)]
Add getcwd shim
bors [Wed, 18 Sep 2019 09:22:58 +0000 (09:22 +0000)]
Auto merge of #956 - rust-lang:rustup-retag, r=RalfJung
rustup for retag rename
This is the Miri side of https://github.com/rust-lang/rust/pull/64503. Do not force-push!
Ralf Jung [Wed, 18 Sep 2019 09:22:28 +0000 (11:22 +0200)]
bump Rust version
Ralf Jung [Wed, 18 Sep 2019 09:22:12 +0000 (11:22 +0200)]
Merge remote-tracking branch 'origin/master' into rustup-retag
Ralf Jung [Tue, 17 Sep 2019 10:30:14 +0000 (12:30 +0200)]
rustup
bors [Mon, 16 Sep 2019 20:26:13 +0000 (20:26 +0000)]
Auto merge of #955 - RalfJung:rustup, r=RalfJung
remove libstd backtrace work-around
Ralf Jung [Mon, 16 Sep 2019 20:22:54 +0000 (22:22 +0200)]
remove libstd backtrace work-around
bors [Mon, 16 Sep 2019 15:52:22 +0000 (15:52 +0000)]
Auto merge of #945 - christianpoveda:ptr-align-offset, r=oli-obk
Use libcore's align_offset
Related issue: https://github.com/rust-lang/miri/issues/873
Christian Poveda [Mon, 16 Sep 2019 15:16:06 +0000 (10:16 -0500)]
Use force_ptr instead of assert_ptr
bors [Mon, 16 Sep 2019 07:32:21 +0000 (07:32 +0000)]
Auto merge of #954 - RalfJung:rustup, r=RalfJung
update for rustc changes
https://github.com/rust-lang/rust/pull/60584 changed some stuff around ICEs. What I am not sure about is whether we should call `install_ice_hook` or not. @jonas-schievink @oli-obk any advice?
Ralf Jung [Mon, 16 Sep 2019 07:31:56 +0000 (09:31 +0200)]
install ICE hook
Ralf Jung [Sun, 15 Sep 2019 21:27:58 +0000 (23:27 +0200)]
update for rustc changes
bors [Sun, 15 Sep 2019 11:24:06 +0000 (11:24 +0000)]
Auto merge of #951 - spastorino:place-2-0, r=RalfJung
Place projection field is now Box<[PlaceElem<'tcx>]>
Closes https://github.com/rust-lang/rust/issues/64441
Santiago Pastorino [Sat, 14 Sep 2019 04:01:37 +0000 (01:01 -0300)]
Place projection field is now Box<[PlaceElem<'tcx>]>
bors [Sat, 14 Sep 2019 12:43:39 +0000 (12:43 +0000)]
Auto merge of #953 - RalfJung:contributing, r=oli-obk
add CONTRIBUTING guide
bors [Sat, 14 Sep 2019 11:44:01 +0000 (11:44 +0000)]
Auto merge of #949 - RalfJung:ask-to-run, r=RalfJung
factor ask-to-run-command into helper function
Ralf Jung [Sat, 14 Sep 2019 11:40:37 +0000 (13:40 +0200)]
add CONTRIBUTING guide
bors [Sat, 14 Sep 2019 11:06:44 +0000 (11:06 +0000)]
Auto merge of #952 - RalfJung:rustup, r=RalfJung
temporarily enable backtrace feature
This is a temporary hack to work around https://github.com/rust-lang/rust/issues/64410.
Ralf Jung [Sat, 14 Sep 2019 11:05:39 +0000 (13:05 +0200)]
temporarily enable backtrace feature
bors [Fri, 13 Sep 2019 08:42:57 +0000 (08:42 +0000)]
Auto merge of #948 - mati865:patch-1, r=RalfJung
Bump byteorder and remove no-op feature
It's automatically detected: https://github.com/BurntSushi/byteorder/commit/
5b3ffeeed2d04ec5051336ea2c6e6d36abc94581
With this PR `byteorder` can be from [rustc-workspace-hack](https://github.com/rust-lang/rust/blob/
f71826e8f26fd4fa331574caa462960db8ed961a /src/tools/rustc-workspace-hack/Cargo.toml#L74).
Ralf Jung [Fri, 13 Sep 2019 08:39:36 +0000 (10:39 +0200)]
factor ask-to-run-command into helper function
Christian Poveda [Thu, 12 Sep 2019 14:25:39 +0000 (09:25 -0500)]
Use str::from_utf8 instead
bors [Thu, 12 Sep 2019 11:48:17 +0000 (11:48 +0000)]
Auto merge of #947 - RalfJung:rand, r=oli-obk
bump rand dependency
Mateusz Mikuła [Thu, 12 Sep 2019 10:45:00 +0000 (12:45 +0200)]
Bump byteorder and remove no-op feature
Christian Poveda [Wed, 11 Sep 2019 17:08:42 +0000 (12:08 -0500)]
Add test for u8 align_offset
Ralf Jung [Wed, 11 Sep 2019 16:33:48 +0000 (18:33 +0200)]
bump rand dependency
Christian Poveda [Wed, 11 Sep 2019 16:09:56 +0000 (11:09 -0500)]
Use libcore's align_offset
bors [Wed, 11 Sep 2019 15:24:49 +0000 (15:24 +0000)]
Auto merge of #946 - RalfJung:rustup, r=oli-obk
fix async test
Test got broken by https://github.com/rust-lang/rust/pull/64292.
Ralf Jung [Wed, 11 Sep 2019 15:13:32 +0000 (17:13 +0200)]
fix async test
bors [Mon, 9 Sep 2019 11:10:42 +0000 (11:10 +0000)]
Auto merge of #944 - rust-lang:rustup, r=oli-obk
Rustup to 1.39.0-nightly (
1e869133b 2019-09-09)
Oliver Scherer [Mon, 9 Sep 2019 11:00:20 +0000 (13:00 +0200)]
Rustup to 1.39.0-nightly (
1e869133b 2019-09-09)
bors [Mon, 9 Sep 2019 10:45:45 +0000 (10:45 +0000)]
Auto merge of #943 - wesleywiser:turn_on_tests_again, r=RalfJung
Re-enable run-pass tests with optimizations enabled
Wesley Wiser [Mon, 9 Sep 2019 10:32:02 +0000 (06:32 -0400)]
Re-enable run-pass tests with optimizations enabled
bors [Sun, 8 Sep 2019 13:29:49 +0000 (13:29 +0000)]
Auto merge of #942 - rust-lang:rustup, r=oli-obk
Rustup
Oliver Scherer [Sun, 8 Sep 2019 10:28:31 +0000 (12:28 +0200)]
Update latest working rust version id
Oliver Scherer [Thu, 5 Sep 2019 16:17:58 +0000 (18:17 +0200)]
Rustup
bors [Mon, 2 Sep 2019 14:14:18 +0000 (14:14 +0000)]
Auto merge of #941 - RalfJung:rustup, r=RalfJung
rustup
Just to test if this still works.
Ralf Jung [Mon, 2 Sep 2019 14:13:35 +0000 (16:13 +0200)]
rustup
bors [Sat, 31 Aug 2019 06:45:28 +0000 (06:45 +0000)]
Auto merge of #929 - RalfJung:slice-too-big, r=RalfJung
test too big slice
Test for an upcoming rustc PR.
Ralf Jung [Sat, 31 Aug 2019 06:44:47 +0000 (08:44 +0200)]
rustup
Ralf Jung [Tue, 27 Aug 2019 16:36:43 +0000 (18:36 +0200)]
test too big slice
bors [Thu, 29 Aug 2019 22:10:11 +0000 (22:10 +0000)]
Auto merge of #938 - christianpoveda:clean-env-alloc, r=RalfJung
Rewrite alloc_env_var
Just to simplify the logic behind `shims::env`
Christian Poveda [Thu, 29 Aug 2019 20:03:10 +0000 (15:03 -0500)]
Rewrite alloc_env_var
bors [Thu, 29 Aug 2019 15:46:22 +0000 (15:46 +0000)]
Auto merge of #937 - christianpoveda:fix-isolation, r=RalfJung
Fix cargo-miri with disabled isolation
Related issue: https://github.com/rust-lang/miri/issues/933
I'm not sure if that's the better place to blacklist `TERM`, @RalfJung let me know if there is a less hacky place to put it.
bors [Thu, 29 Aug 2019 15:20:36 +0000 (15:20 +0000)]
Auto merge of #919 - RalfJung:wide-raw, r=RalfJung
test for invalid wide raw ptr
This is the Miri side of https://github.com/rust-lang/rust/pull/63880.
Ralf Jung [Thu, 29 Aug 2019 15:20:14 +0000 (17:20 +0200)]
bump Rust
Ralf Jung [Sun, 25 Aug 2019 12:56:38 +0000 (14:56 +0200)]
test for invalid wide raw ptr
Christian Poveda [Thu, 29 Aug 2019 09:09:34 +0000 (04:09 -0500)]
Add cargo-miri test for no isolation
Christian Poveda [Thu, 29 Aug 2019 09:07:20 +0000 (04:07 -0500)]
Exclude TERM env var by default
bors [Thu, 29 Aug 2019 08:09:57 +0000 (08:09 +0000)]
Auto merge of #935 - christianpoveda:blacklist-env-vars, r=RalfJung
Exclude environment variables from host communication
related issue: #933
r? @RalfJung
Christian Poveda [Thu, 29 Aug 2019 06:26:14 +0000 (01:26 -0500)]
Small corrections
Co-Authored-By: Ralf Jung <post@ralfj.de>
bors [Thu, 29 Aug 2019 06:40:23 +0000 (06:40 +0000)]
Auto merge of #931 - RalfJung:retag-makes-my-head-hurt, r=RalfJung
Stacked Borrows: don't read from memory during retagging
Currently, retagging of a shared reference tries real hard to find the `UnsafeCell` and mark everything else as frozen. We even read enum discriminants to figure out the variant and determine if there is an `UnsafeCell` in there or not.
Unfortunately, that leads to some very hard to analyze behavior: during retagging, we do read accesses, which are subject to the rules of Stacked Borrows and the existing tags! My head hurts when I try to think about this. It's just too recursive.
This PR simplifies the semantics by treating enums like unions: if any variant has an `UnsafeCell`, the entire thing behaves like an `UnsafeCell`. This means retagging no longer has to read from memory, the way it affects the stack is entirely determined by the type.
Christian Poveda [Wed, 28 Aug 2019 22:34:34 +0000 (17:34 -0500)]
Add env exclusion test
Christian Poveda [Wed, 28 Aug 2019 22:31:57 +0000 (17:31 -0500)]
Exclude env vars using flag
Christian Poveda [Wed, 28 Aug 2019 22:20:50 +0000 (17:20 -0500)]
Add -Zmiri-env-exclude flag
bors [Wed, 28 Aug 2019 20:23:39 +0000 (20:23 +0000)]
Auto merge of #930 - RalfJung:build, r=RalfJung
test that build scripts do not run in Miri
@elichai reported something that sounded a lot like build script running in Miri. But as this test shows, build scripts are not run by Miri, they are run normally.
@elichai are you sure the [env var usage you were referring to](https://github.com/rust-lang/miri/issues/641#issuecomment-
524989482 ) was only in a build script? Those shouldn't be affected by Miri flags at all. Is your code available somewhere so that I can try to reproduce?
Ralf Jung [Wed, 28 Aug 2019 16:45:10 +0000 (18:45 +0200)]
small optimization
Ralf Jung [Wed, 28 Aug 2019 16:41:30 +0000 (18:41 +0200)]
Stacked Borrows: don't read from memory during retagging
Ralf Jung [Wed, 28 Aug 2019 07:27:19 +0000 (09:27 +0200)]
more implicit
Ralf Jung [Wed, 28 Aug 2019 07:15:31 +0000 (09:15 +0200)]
test that build scripts do not run in Miri
bors [Tue, 27 Aug 2019 15:59:32 +0000 (15:59 +0000)]
Auto merge of #925 - christianpoveda:environ-shim, r=RalfJung
Write name and value for each env var
In order to res0lve https://github.com/rust-lang/miri/issues/756 is necessary to have the whole `"NAME=VALUE"` sequence of bytes written into memory instead of just the value.
This change does not affect the interface of the `shim::envs::EnvVars` type in any way.
r? @RalfJung @oli-obk
Christian Poveda [Tue, 27 Aug 2019 13:45:37 +0000 (08:45 -0500)]
Add docs
bors [Tue, 27 Aug 2019 13:14:14 +0000 (13:14 +0000)]
Auto merge of #927 - RalfJung:getrandom, r=RalfJung
explicitly enable getrandom/std feature
This seems to be what rand_core does, and then we need to do it as well or else the rustc feature checker complains.
Ralf Jung [Tue, 27 Aug 2019 13:12:12 +0000 (15:12 +0200)]
explicitly enable getrandom/std feature
bors [Tue, 27 Aug 2019 10:02:07 +0000 (10:02 +0000)]
Auto merge of #917 - RalfJung:isolation, r=oli-obk
change flag name: enable-communication -> disable-isolation
r? @oli-obk -- I think this is a better name for the flag but it is still somewhat clumsy. Suggestions?
bors [Tue, 27 Aug 2019 06:45:59 +0000 (06:45 +0000)]
Auto merge of #926 - RalfJung:rustup, r=RalfJung
rustup
Ralf Jung [Tue, 27 Aug 2019 06:42:36 +0000 (08:42 +0200)]
hashmap ICEs with optimizations, temporarily disable
Ralf Jung [Tue, 27 Aug 2019 06:32:31 +0000 (08:32 +0200)]
rustup
Christian Poveda [Mon, 26 Aug 2019 20:18:11 +0000 (15:18 -0500)]
Write name and value for each env var
bors [Mon, 26 Aug 2019 18:54:14 +0000 (18:54 +0000)]
Auto merge of #924 - RalfJung:getrandom, r=RalfJung
decrease getrandom version
so that we dont have to bump Cargo.toml in rustc
Ralf Jung [Mon, 26 Aug 2019 18:53:33 +0000 (20:53 +0200)]
decrease getrandom version so that we dont have to bump Cargo.toml in rustc
bors [Mon, 26 Aug 2019 18:13:47 +0000 (18:13 +0000)]
Auto merge of #922 - RalfJung:rustup, r=RalfJung
bump Rust and xargo
Ralf Jung [Mon, 26 Aug 2019 17:44:27 +0000 (19:44 +0200)]
bump Rust and xargo
bors [Mon, 26 Aug 2019 17:39:34 +0000 (17:39 +0000)]
Auto merge of #921 - RalfJung:cargo-update, r=RalfJung
cargo update
Ralf Jung [Mon, 26 Aug 2019 17:38:47 +0000 (19:38 +0200)]
cargo update
Ralf Jung [Fri, 23 Aug 2019 21:30:23 +0000 (23:30 +0200)]
test host randomness access
Ralf Jung [Fri, 23 Aug 2019 21:29:11 +0000 (23:29 +0200)]
change flag name: enable-communication -> disable-isolation
bors [Fri, 23 Aug 2019 09:52:54 +0000 (09:52 +0000)]
Auto merge of #914 - christianpoveda:use-host-rng, r=RalfJung
Use host's rng when communication is enabled
This uses the host's randomness when the communication enabled flag is used. I am not sure about the error handling. I was thinking about fallbacking to `rand` if `getrandom` fails and also print something so the user knows miri is not using the host's rng because it failed. Let me know what you think.
Related issue: https://github.com/rust-lang/miri/issues/800.
r? @RalfJung @oli-obk
bors [Wed, 21 Aug 2019 07:09:35 +0000 (07:09 +0000)]
Auto merge of #915 - RalfJung:rustup, r=RalfJung
bump Rust
Ralf Jung [Wed, 21 Aug 2019 07:07:27 +0000 (09:07 +0200)]
bump Rust
Christian Poveda [Tue, 20 Aug 2019 15:47:57 +0000 (10:47 -0500)]
Update -Zmiri-enable-communication docs
Christian Poveda [Tue, 20 Aug 2019 15:47:38 +0000 (10:47 -0500)]
Use err_unsup_format instead
bors [Tue, 20 Aug 2019 14:16:00 +0000 (14:16 +0000)]
Auto merge of #837 - RalfJung:arrays, r=RalfJung
test arrray try_from (interesting const generic usage)
Currently fails, see https://github.com/rust-lang/rust/pull/62435#issuecomment-
511100890 .
Blocked on https://github.com/rust-lang/rust/issues/62790.
Ralf Jung [Tue, 20 Aug 2019 14:11:11 +0000 (16:11 +0200)]
bump Rust
Ralf Jung [Sat, 13 Jul 2019 08:27:50 +0000 (10:27 +0200)]
test arrray try_from (interesting const generic usage)
Christian Poveda [Mon, 19 Aug 2019 15:43:09 +0000 (10:43 -0500)]
Use host's rng when communication is enabled
bors [Sun, 18 Aug 2019 11:39:31 +0000 (11:39 +0000)]
Auto merge of #913 - RalfJung:uninit, r=RalfJung
test some new uninit APIs
Ralf Jung [Sun, 18 Aug 2019 09:31:18 +0000 (11:31 +0200)]
test some new uninit APIs
bors [Sun, 18 Aug 2019 09:16:40 +0000 (09:16 +0000)]
Auto merge of #912 - RalfJung:rustup, r=RalfJung
fix test failure due to my own lint
Ralf Jung [Sun, 18 Aug 2019 09:16:02 +0000 (11:16 +0200)]
fix test failure due to my own lint
bors [Sun, 18 Aug 2019 05:48:20 +0000 (05:48 +0000)]
Auto merge of #911 - RalfJung:typed-op, r=RalfJung
Adjust for typed binops
Ralf Jung [Sun, 18 Aug 2019 05:43:18 +0000 (07:43 +0200)]
update Rust
Ralf Jung [Sat, 10 Aug 2019 19:19:25 +0000 (21:19 +0200)]
adjust for typed binary/unary_op
bors [Thu, 15 Aug 2019 20:51:52 +0000 (20:51 +0000)]
Auto merge of #859 - RalfJung:cargo, r=RalfJung
travis: do not install cargo from master
This tests the rpath hackery in `./miri`.
Ralf Jung [Thu, 15 Aug 2019 20:30:38 +0000 (22:30 +0200)]
rustup update
Ralf Jung [Fri, 26 Jul 2019 08:21:31 +0000 (10:21 +0200)]
travis: do not install cargo from master