]>
git.lizzy.rs Git - rust.git/log
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.
Ralf Jung [Tue, 6 Aug 2019 06:05:32 +0000 (08:05 +0200)]
go back to released xargo (the experiment is done)
bors [Mon, 5 Aug 2019 13:50:50 +0000 (13:50 +0000)]
Auto merge of #889 - RalfJung:rustup, r=RalfJung
rustup
Ralf Jung [Mon, 5 Aug 2019 13:49:19 +0000 (15:49 +0200)]
rustup
bors [Mon, 5 Aug 2019 08:54:42 +0000 (08:54 +0000)]
Auto merge of #888 - RalfJung:rustup, r=RalfJung
fix for latest rustc
Ralf Jung [Mon, 5 Aug 2019 08:45:48 +0000 (10:45 +0200)]
fix for latest rustc
bors [Sun, 4 Aug 2019 21:02:08 +0000 (21:02 +0000)]
Auto merge of #886 - Aaron1011:shim/getrandom, r=RalfJung
Shim 'libc::getrandom' in addition to 'libc::syscall(libc::SYS_getrandom)'
Aaron Hill [Sun, 4 Aug 2019 20:57:17 +0000 (16:57 -0400)]
Apply more formatting fixes
Co-Authored-By: Ralf Jung <post@ralfj.de>
Aaron Hill [Sun, 4 Aug 2019 20:44:32 +0000 (16:44 -0400)]
Improve formatting
Co-Authored-By: Ralf Jung <post@ralfj.de>
Aaron Hill [Sun, 4 Aug 2019 20:40:30 +0000 (16:40 -0400)]
Ignore other platforms instead of using only-linux
Aaron Hill [Sun, 4 Aug 2019 20:30:33 +0000 (16:30 -0400)]
Fix identation
Aaron Hill [Sun, 4 Aug 2019 20:11:52 +0000 (16:11 -0400)]
Test 'libc::getrandom' as well
Aaron Hill [Sun, 4 Aug 2019 19:59:20 +0000 (15:59 -0400)]
Add trailing comma
Aaron Hill [Sun, 4 Aug 2019 19:53:49 +0000 (15:53 -0400)]
Add test
Aaron Hill [Sun, 4 Aug 2019 19:53:38 +0000 (15:53 -0400)]
Cleanup formatting
Aaron Hill [Sun, 4 Aug 2019 14:50:38 +0000 (10:50 -0400)]
Shim 'libc::getrandom' in addition to 'libc::syscall(libc::SYS_getrandom)'
bors [Sun, 4 Aug 2019 20:12:02 +0000 (20:12 +0000)]
Auto merge of #885 - Aaron1011:fix/f-round, r=RalfJung
Add misssing 'roundf32' and 'roundf64' intrinsics
Aaron Hill [Sun, 4 Aug 2019 19:57:00 +0000 (15:57 -0400)]
Add test for f32::round and f64::round
bors [Sun, 4 Aug 2019 19:50:41 +0000 (19:50 +0000)]
Auto merge of #884 - Aaron1011:fix/linux-getrandom, r=RalfJung
Allowing passing a null pointer to getrandom() when length is 0
The Linux kernel will handle a null pointer passed to 'getrandom'
without error, as long as the length is also 0. The `getrandom` crate
relies on this behavior: https://github.com/rust-random/getrandom/blob/
ab44edf3c7af721a00e22648b6c811ccb559ba81 /src/linux_android.rs#L26
Since it works fine on the actual kernel (and should continue to, due to
the kernel's backwards-compatibility guarantees), Miri should support it
as well.
Aaron Hill [Sun, 4 Aug 2019 14:17:39 +0000 (10:17 -0400)]
Replace match with expect()
bors [Sun, 4 Aug 2019 17:37:00 +0000 (17:37 +0000)]
Auto merge of #887 - RalfJung:readme, r=RalfJung
README: add getrandom bug
Aaron Hill [Sun, 4 Aug 2019 14:25:10 +0000 (10:25 -0400)]
Add misssing 'roundf32' and 'roundf64' intrinsics
Aaron Hill [Sun, 4 Aug 2019 14:13:29 +0000 (10:13 -0400)]
Add semicolon
Co-Authored-By: Ralf Jung <post@ralfj.de>
Aaron Hill [Sun, 4 Aug 2019 13:21:17 +0000 (09:21 -0400)]
Do nothing when we try to generate random data of length 0
This preserves compatibility with programs that pass a null pointer and
a length of zero to getrandom(), or their platform's equivalent.
Ralf Jung [Sun, 4 Aug 2019 13:09:13 +0000 (15:09 +0200)]
add getrandom bug
bors [Sun, 4 Aug 2019 12:57:16 +0000 (12:57 +0000)]
Auto merge of #883 - RalfJung:gen_random, r=RalfJung
gen_random helper: move ptr argument to front
This matches, for example, the `getrandom` syscall.
Ralf Jung [Sun, 4 Aug 2019 12:49:10 +0000 (14:49 +0200)]
gen_random helper: move ptr argument to front
bors [Sun, 4 Aug 2019 08:55:18 +0000 (08:55 +0000)]
Auto merge of #876 - RalfJung:atomic, r=RalfJung
check that atomics are sufficiently aligned
Fixes https://github.com/rust-lang/miri/issues/475
Ralf Jung [Sun, 4 Aug 2019 08:54:07 +0000 (10:54 +0200)]
one more place -> ptr rename
Ralf Jung [Sun, 4 Aug 2019 08:52:09 +0000 (10:52 +0200)]
places and pointers are not the same thing; this is a place
Ralf Jung [Fri, 2 Aug 2019 18:20:56 +0000 (20:20 +0200)]
check that atomics are sufficiently aligned, and add test
Ralf Jung [Fri, 2 Aug 2019 18:08:04 +0000 (20:08 +0200)]
test AtomicU64
Ralf Jung [Fri, 2 Aug 2019 17:50:54 +0000 (19:50 +0200)]
consolidate atomic tests
bors [Sun, 4 Aug 2019 08:26:51 +0000 (08:26 +0000)]
Auto merge of #882 - RalfJung:miri-rustc, r=RalfJung
install xargo from git temporarily
This is so that once https://github.com/japaric/xargo/pull/246 landed, we can see if that helps with https://github.com/rust-lang/rust/pull/63162.
Ralf Jung [Sun, 4 Aug 2019 08:14:51 +0000 (10:14 +0200)]
use postfix negation instead of prefix
Ralf Jung [Sun, 4 Aug 2019 08:09:58 +0000 (10:09 +0200)]
install xargo from git temporarily
bors [Sat, 3 Aug 2019 18:56:38 +0000 (18:56 +0000)]
Auto merge of #881 - RalfJung:rustup, r=RalfJung
adjust for rustc changes
Ralf Jung [Sat, 3 Aug 2019 18:54:57 +0000 (20:54 +0200)]
adjust error messages in tests
Ralf Jung [Sat, 3 Aug 2019 18:53:42 +0000 (20:53 +0200)]
test memalign contract (rustc is fixed)
Ralf Jung [Sat, 3 Aug 2019 18:31:33 +0000 (20:31 +0200)]
adjust for rustc changes
bors [Sat, 3 Aug 2019 16:14:20 +0000 (16:14 +0000)]
Auto merge of #877 - christianpoveda:ldexp-shim, r=RalfJung
Add shim for ldexp
Fixes https://github.com/rust-lang/miri/issues/821
r? @RalfJung
Christian Poveda [Sat, 3 Aug 2019 15:51:23 +0000 (10:51 -0500)]
Formatting
Ralf Jung [Sat, 3 Aug 2019 15:27:50 +0000 (17:27 +0200)]
more consistent test name
bors [Sat, 3 Aug 2019 15:22:09 +0000 (15:22 +0000)]
Auto merge of #880 - RalfJung:miri-rustc, r=RalfJung
annotate some unwraps with better messages
Ralf Jung [Sat, 3 Aug 2019 15:20:16 +0000 (17:20 +0200)]
set RUSTC_DEBUG_ASSERTIONS for when we are in bootstrap
Ralf Jung [Sat, 3 Aug 2019 14:59:30 +0000 (16:59 +0200)]
annotate some unwraps with better messages
bors [Sat, 3 Aug 2019 13:15:51 +0000 (13:15 +0000)]
Auto merge of #856 - RalfJung:type_dispatch_first, r=RalfJung
Adjust for ptr_op changes
This is the Miri side of https://github.com/rust-lang/rust/pull/62946.
Ralf Jung [Sat, 3 Aug 2019 13:15:28 +0000 (15:15 +0200)]
bump Rust
Ralf Jung [Wed, 24 Jul 2019 18:42:53 +0000 (20:42 +0200)]
simplify code
Ralf Jung [Wed, 24 Jul 2019 14:25:12 +0000 (16:25 +0200)]
remove some compile-fail tests that now work
Ralf Jung [Wed, 24 Jul 2019 14:22:48 +0000 (16:22 +0200)]
implement all ptr comparisons through integer casts
Ralf Jung [Wed, 24 Jul 2019 14:17:49 +0000 (16:17 +0200)]
adjust for ptr_op now being called type-based
bors [Sat, 3 Aug 2019 11:55:08 +0000 (11:55 +0000)]
Auto merge of #879 - RalfJung:rustc-tests, r=RalfJung
also let bootstrap tell us where to find xargo