]>
git.lizzy.rs Git - rust.git/log
Christian Poveda [Thu, 29 Aug 2019 06:26:14 +0000 (01:26 -0500)]
Small corrections
Co-Authored-By: Ralf Jung <post@ralfj.de>
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 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
bors [Thu, 15 Aug 2019 09:37:38 +0000 (09:37 +0000)]
Auto merge of #909 - RalfJung:deny-warn, r=oli-obk
deny warnings on CI
Ralf Jung [Thu, 15 Aug 2019 09:24:04 +0000 (11:24 +0200)]
fix warning
Ralf Jung [Thu, 15 Aug 2019 09:14:45 +0000 (11:14 +0200)]
deny warnings on CI
bors [Thu, 15 Aug 2019 09:11:08 +0000 (09:11 +0000)]
Auto merge of #863 - RalfJung:deref-checks, r=RalfJung
adjust tests for eager pointer checks on deref
The Miri side of https://github.com/rust-lang/rust/pull/63075.
Fixes https://github.com/rust-lang/miri/issues/447.
Ralf Jung [Thu, 15 Aug 2019 09:06:27 +0000 (11:06 +0200)]
bump Rust
Ralf Jung [Sun, 28 Jul 2019 16:08:39 +0000 (18:08 +0200)]
remove dead code
Ralf Jung [Sun, 28 Jul 2019 12:55:55 +0000 (14:55 +0200)]
adjust for fn rename
Ralf Jung [Sat, 27 Jul 2019 09:03:12 +0000 (11:03 +0200)]
adjust tests for eager pointer checks on deref
bors [Thu, 15 Aug 2019 08:47:20 +0000 (08:47 +0000)]
Auto merge of #907 - christianpoveda:env-vars-shim, r=RalfJung
Move env shims to its own module
r? @RalfJung
Christian Poveda [Wed, 14 Aug 2019 21:48:36 +0000 (16:48 -0500)]
Delegate writing to emulate_foreign_item
Christian Poveda [Wed, 14 Aug 2019 20:44:37 +0000 (15:44 -0500)]
Move env shims to its own module
bors [Wed, 14 Aug 2019 18:58:06 +0000 (18:58 +0000)]
Auto merge of #894 - christianpoveda:env-vars-communication, r=RalfJung
Enable env communication
related issue: https://github.com/rust-lang/miri/issues/800. r? @RalfJung
Christian Poveda [Wed, 14 Aug 2019 16:22:47 +0000 (11:22 -0500)]
Remove tcx parameter for EnvVars::alloc_env_value
Christian Poveda [Wed, 14 Aug 2019 15:24:35 +0000 (10:24 -0500)]
Rename export for shims::env::EnvVars
Christian Poveda [Tue, 13 Aug 2019 21:17:53 +0000 (16:17 -0500)]
Test env isolation
Christian Poveda [Tue, 13 Aug 2019 21:17:41 +0000 (16:17 -0500)]
Reorganize shims::env::EnvVars
Christian Poveda [Tue, 13 Aug 2019 17:10:24 +0000 (12:10 -0500)]
Move test env var to test_runner
Christian Poveda [Tue, 13 Aug 2019 16:34:43 +0000 (11:34 -0500)]
Wrap hashmap for env vars in its own type
bors [Tue, 13 Aug 2019 11:32:25 +0000 (11:32 +0000)]
Auto merge of #906 - RalfJung:tls, r=RalfJung
make TLS state private to TLS module
Ralf Jung [Tue, 13 Aug 2019 07:29:01 +0000 (09:29 +0200)]
make TLS state private to TLS module
bors [Mon, 12 Aug 2019 06:26:46 +0000 (06:26 +0000)]
Auto merge of #904 - RalfJung:rustup, r=RalfJung
it's called RUSTC_CTFE_BACKTRACE now
Ralf Jung [Mon, 12 Aug 2019 06:25:31 +0000 (08:25 +0200)]
it's called RUSTC_CTFE_BACKTRACE now
bors [Sat, 10 Aug 2019 09:34:31 +0000 (09:34 +0000)]
Auto merge of #902 - RalfJung:ldexp, r=RalfJung
use apfloat for ldexp
Ralf Jung [Sat, 10 Aug 2019 09:33:33 +0000 (11:33 +0200)]
typo
Ralf Jung [Sat, 10 Aug 2019 09:31:20 +0000 (11:31 +0200)]
ldexp: test overflow behavior
Ralf Jung [Sat, 10 Aug 2019 09:27:27 +0000 (11:27 +0200)]
clamp ldexp exponent to i16
Ralf Jung [Sat, 10 Aug 2019 09:22:32 +0000 (11:22 +0200)]
also support scalbn itself
bors [Fri, 9 Aug 2019 20:04:20 +0000 (20:04 +0000)]
Auto merge of #899 - RalfJung:generators, r=RalfJung
More generator tests
Cc @tmandry -- do these look reasonable for checking the new "partial init" case that was discovered?
Ralf Jung [Fri, 9 Aug 2019 17:53:42 +0000 (19:53 +0200)]
use apfloat for ldexp
bors [Fri, 9 Aug 2019 17:23:17 +0000 (17:23 +0000)]
Auto merge of #901 - RalfJung:protected, r=RalfJung
test that even &Cell must be dereferencable
Behavior here changed (deliberately) with Stacked Borrows 2; just making sure we notice when/if it ever changes again.
Ralf Jung [Fri, 9 Aug 2019 17:21:41 +0000 (19:21 +0200)]
test that even &Cell must be dereferencable
bors [Fri, 9 Aug 2019 11:44:28 +0000 (11:44 +0000)]
Auto merge of #900 - RalfJung:miri, r=RalfJung
local rustc builds now also need a sysroot built
With the test-miri flag gone, the libstd of local builds isn't good enough for Miri any more.
Ralf Jung [Fri, 9 Aug 2019 09:29:10 +0000 (11:29 +0200)]
local rustc builds now also need a sysroot built
With the test-miri flag gone, the libstd of local builds isn't good enough for Miri any more.
Ralf Jung [Fri, 9 Aug 2019 09:03:45 +0000 (11:03 +0200)]
bump Rust version
Ralf Jung [Fri, 9 Aug 2019 09:01:11 +0000 (11:01 +0200)]
add async fn with partial initialization
Ralf Jung [Fri, 9 Aug 2019 08:26:48 +0000 (10:26 +0200)]
simplify async-fn tests
Ralf Jung [Fri, 9 Aug 2019 08:32:53 +0000 (10:32 +0200)]
test generator that yields during initialization of struct with uninhabited field
bors [Fri, 9 Aug 2019 08:20:00 +0000 (08:20 +0000)]
Auto merge of #896 - tmandry:add-generator-uninhabited-test, r=RalfJung
Add generator, async tests with uninhabited saved local
See discussion in https://github.com/rust-lang/rust/pull/63035.
bors [Thu, 8 Aug 2019 21:10:09 +0000 (21:10 +0000)]
Auto merge of #898 - christianpoveda:master, r=RalfJung
Use ldexp from cmath instead
Closes https://github.com/rust-lang/miri/issues/821
r? @RalfJung
Christian Poveda [Thu, 8 Aug 2019 20:22:34 +0000 (15:22 -0500)]
Use ldexp from cmath instead
bors [Thu, 8 Aug 2019 20:43:47 +0000 (20:43 +0000)]
Auto merge of #871 - RalfJung:miri-rustc-cleanup, r=RalfJung
Cleanup after rustc bootstrap tests Miri with a separate libstd
Should only be merged after https://github.com/rust-lang/rust/pull/63162 got the green light.
bors [Thu, 8 Aug 2019 17:35:17 +0000 (17:35 +0000)]
Auto merge of #897 - RalfJung:xargo, r=RalfJung
bump xargo version
Rust bootstrap needs it for the CARGO env var handling.
Ralf Jung [Thu, 8 Aug 2019 17:34:23 +0000 (19:34 +0200)]
bump xargo version
Tyler Mandry [Wed, 7 Aug 2019 23:39:54 +0000 (16:39 -0700)]
Add generator, async tests with uninhabited saved local
Christian Poveda [Wed, 7 Aug 2019 14:10:39 +0000 (09:10 -0500)]
Fix formatting
Christian Poveda [Wed, 7 Aug 2019 14:09:13 +0000 (09:09 -0500)]
Add env var test variable in compiletest
bors [Wed, 7 Aug 2019 12:42:19 +0000 (12:42 +0000)]
Auto merge of #895 - RalfJung:uninit, r=oli-obk
Revert "uninit intrinsic is gone"
This reverts commit
fa290f1a481b0f98ed1de06206e643af8e04acd5 .
Uninit is [being reinstated](https://github.com/rust-lang/rust/pull/63343) because it breaks some broken code.
Ralf Jung [Wed, 7 Aug 2019 08:24:27 +0000 (10:24 +0200)]
Revert "uninit intrinsic is gone"
This reverts commit
fa290f1a481b0f98ed1de06206e643af8e04acd5 .
Uninit is being reinstated because it breaks some broken code.
Christian Poveda [Tue, 6 Aug 2019 22:40:07 +0000 (17:40 -0500)]
Add support for env communication
Christian Poveda [Tue, 6 Aug 2019 20:47:57 +0000 (15:47 -0500)]
Update readme
bors [Tue, 6 Aug 2019 20:46:22 +0000 (20:46 +0000)]
Auto merge of #893 - RalfJung:rustup, r=RalfJung
mention that we get the toolchain right
Fixes https://github.com/rust-lang/miri/issues/892
Cc @shepmaster
Christian Poveda [Tue, 6 Aug 2019 20:32:57 +0000 (15:32 -0500)]
Add communicate field to evaluator and fix formatting
Christian Poveda [Tue, 6 Aug 2019 15:28:50 +0000 (10:28 -0500)]
Add flag to enable communication
Ralf Jung [Tue, 6 Aug 2019 18:52:09 +0000 (20:52 +0200)]
mention that we get the toolchain right
bors [Tue, 6 Aug 2019 10:51:59 +0000 (10:51 +0000)]
Auto merge of #891 - RalfJung:rustup, r=RalfJung
test-cargo-miri: cargo update
With both https://github.com/rust-random/getrandom/pull/74 and https://github.com/rust-lang/miri/pull/884 having landed, this should work now.
Ralf Jung [Tue, 6 Aug 2019 10:50:22 +0000 (12:50 +0200)]
test-cargo-miri: cargo update
bors [Tue, 6 Aug 2019 06:28:52 +0000 (06:28 +0000)]
Auto merge of #890 - RalfJung:xargo, r=RalfJung
go back to released xargo (the experiment is done)
The experiment in https://github.com/rust-lang/rust/pull/63162 was successful, now we have to wait for a new xargo release.