]>
git.lizzy.rs Git - rust.git/log
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
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.
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
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
Ralf Jung [Sat, 3 Aug 2019 11:53:02 +0000 (13:53 +0200)]
also let bootstrap tell us where to find xargo
bors [Sat, 3 Aug 2019 08:36:58 +0000 (08:36 +0000)]
Auto merge of #878 - RalfJung:rustup, r=RalfJung
Rustup for error changes
Ralf Jung [Sat, 3 Aug 2019 08:26:15 +0000 (10:26 +0200)]
bump Rust
Ralf Jung [Sat, 3 Aug 2019 08:25:55 +0000 (10:25 +0200)]
fix for error refactoring
Christian Poveda [Fri, 2 Aug 2019 18:42:10 +0000 (13:42 -0500)]
Add shim for ldexp
bors [Fri, 2 Aug 2019 16:04:16 +0000 (16:04 +0000)]
Auto merge of #875 - RalfJung:miri-rustc, r=RalfJung
honor CARGO env var (for rustc bootstrap)
Ralf Jung [Fri, 2 Aug 2019 16:02:54 +0000 (18:02 +0200)]
honor CARGO env var (for rustc bootstrap)
bors [Fri, 2 Aug 2019 12:27:55 +0000 (12:27 +0000)]
Auto merge of #874 - RalfJung:zst, r=RalfJung
test dangling ZST deref
Fixes https://github.com/rust-lang/miri/issues/582.
Ralf Jung [Fri, 2 Aug 2019 12:26:15 +0000 (14:26 +0200)]
test dangling ZST deref
bors [Fri, 2 Aug 2019 08:08:35 +0000 (08:08 +0000)]
Auto merge of #870 - RalfJung:miri-rustc, r=oli-obk
Prepare Miri for rustc bootstrap building a separate libstd for it
bors [Fri, 2 Aug 2019 07:40:02 +0000 (07:40 +0000)]
Auto merge of #872 - RalfJung:retag-shallow, r=oli-obk
Make Retag shallow
A shallow retag does not traverse into fields of compound typed to search for references to retag. It only retags "top-level"/"bare" references (and boxes).
This helps with https://github.com/rust-lang/unsafe-code-guidelines/issues/125 because it also means that we do not add protectors for references passed in fields of a struct (or other compound types). Until we know what the rules should be for protectors, I prefer to be less aggressive about what we are rejecting.
This also matches our work-in-progress Coq formalization.
Ralf Jung [Fri, 2 Aug 2019 06:38:22 +0000 (08:38 +0200)]
comment
Ralf Jung [Fri, 2 Aug 2019 06:15:52 +0000 (08:15 +0200)]
test Ref/RefMut protector interactions
Ralf Jung [Fri, 2 Aug 2019 06:09:22 +0000 (08:09 +0200)]
make reborrow shallow, and fix tests for that
Ralf Jung [Wed, 31 Jul 2019 13:28:31 +0000 (15:28 +0200)]
test-miri is no longer a thing