]>
git.lizzy.rs Git - rust.git/log
Ralf Jung [Thu, 18 Feb 2021 09:34:32 +0000 (10:34 +0100)]
rustup
bors [Wed, 17 Feb 2021 08:47:09 +0000 (08:47 +0000)]
Auto merge of #1714 - RalfJung:rustup, r=RalfJung
rustup
Fixes https://github.com/rust-lang/miri/issues/1711
Ralf Jung [Wed, 17 Feb 2021 08:37:21 +0000 (09:37 +0100)]
rustup
bors [Tue, 16 Feb 2021 09:18:57 +0000 (09:18 +0000)]
Auto merge of #1712 - RalfJung:rustup, r=RalfJung
Rustup
Fixes https://github.com/rust-lang/miri/issues/1706
Cc https://github.com/rust-lang/miri/issues/1711 for the temporarily disabled tests
Ralf Jung [Tue, 16 Feb 2021 08:55:44 +0000 (09:55 +0100)]
add test by @eddyb
Ralf Jung [Tue, 16 Feb 2021 08:51:53 +0000 (09:51 +0100)]
rustup and temporarily disable broken tests
bors [Mon, 15 Feb 2021 14:01:18 +0000 (14:01 +0000)]
Auto merge of #1710 - hyd-dev:crate-types, r=RalfJung
Patch `--extern` arguments in `phase_cargo_rustc` as well
Fixes #1705.
hyd-dev [Sun, 14 Feb 2021 15:33:24 +0000 (23:33 +0800)]
Add a `cdylib`-only crate test
hyd-dev [Sun, 14 Feb 2021 14:38:56 +0000 (22:38 +0800)]
Use the `issue-1567` dependency in the test
hyd-dev [Sun, 14 Feb 2021 13:57:31 +0000 (21:57 +0800)]
Stop skipping `cdylib`
hyd-dev [Sun, 14 Feb 2021 10:12:33 +0000 (18:12 +0800)]
Patch `--extern` arguments in `phase_cargo_rustc` as well
hyd-dev [Sun, 14 Feb 2021 16:52:18 +0000 (00:52 +0800)]
Extract `--extern` filenames patching code to `forward_patched_extern_arg()`
Co-authored-by: Tristan Dannenberg <dtristan@hotmail.de>
bors [Sun, 14 Feb 2021 12:29:15 +0000 (12:29 +0000)]
Auto merge of #1709 - hyd-dev:rlib, r=RalfJung
[cargo-miri] Don't skip `rlib` crates
Fixes #1691.
hyd-dev [Sun, 14 Feb 2021 11:09:22 +0000 (19:09 +0800)]
Revert the lock file version change
hyd-dev [Sun, 14 Feb 2021 11:08:47 +0000 (19:08 +0800)]
Make the test more consistent with other tests
hyd-dev [Sat, 13 Feb 2021 18:02:21 +0000 (02:02 +0800)]
[cargo-miri] Don't skip `rlib` crates
bors [Sat, 13 Feb 2021 18:41:44 +0000 (18:41 +0000)]
Auto merge of #1708 - RalfJung:issue-1567-test, r=RalfJung
add regression test for #1567
Adds a regression test for #1567.
Ralf Jung [Sat, 13 Feb 2021 18:39:03 +0000 (19:39 +0100)]
add regression test for #1567
bors [Tue, 9 Feb 2021 09:18:22 +0000 (09:18 +0000)]
Auto merge of #1703 - calebzulawski:master, r=RalfJung
Remove non-power-of-two SIMD vectors
Closes https://github.com/rust-lang/rust/issues/81868.
Caleb Zulawski [Tue, 9 Feb 2021 04:11:33 +0000 (23:11 -0500)]
Update rust-version
Caleb Zulawski [Mon, 8 Feb 2021 05:16:22 +0000 (00:16 -0500)]
Remove non-power-of-two SIMD vectors
bors [Fri, 5 Feb 2021 09:59:15 +0000 (09:59 +0000)]
Auto merge of #1701 - m-ou-se:non-fmt-panic-lint, r=oli-obk
Update rust version and update tests.
This is a fix for https://github.com/rust-lang/rust/issues/81770
Mara Bos [Fri, 5 Feb 2021 09:02:47 +0000 (10:02 +0100)]
Update rust version.
- Allow new non_fmt_panic lint in test.
- Remove stabilized feature(wake_trait).
bors [Wed, 3 Feb 2021 22:38:19 +0000 (22:38 +0000)]
Auto merge of #1700 - RalfJung:rustup, r=RalfJung
rustup
Cc https://github.com/rust-lang/rust/issues/81726
Ralf Jung [Wed, 3 Feb 2021 22:37:40 +0000 (23:37 +0100)]
rustup
bors [Tue, 2 Feb 2021 21:57:26 +0000 (21:57 +0000)]
Auto merge of #1699 - m-ou-se:panic-format, r=RalfJung
Remove unnecessary `format!()` in `panic!()`.
`panic!(format!(..))` will start giving a warning [soon](https://github.com/rust-lang/rust/pull/81645).
Mara Bos [Tue, 2 Feb 2021 20:40:30 +0000 (21:40 +0100)]
Remove unnecessary `format!()` in `panic!()`.
bors [Sun, 31 Jan 2021 13:25:37 +0000 (13:25 +0000)]
Auto merge of #1698 - RalfJung:rustup, r=RalfJung
rustup; remove some no-longer-needed Windows shims
libstd now calls these lock functions directly, and `GetModuleHandleW` isn't use either any more since https://github.com/rust-lang/rust/pull/81478.
Ralf Jung [Sun, 31 Jan 2021 13:23:49 +0000 (14:23 +0100)]
rustup; remove some no-longer-needed Windows shims
bors [Sun, 31 Jan 2021 12:16:31 +0000 (12:16 +0000)]
Auto merge of #1697 - RalfJung:rustup, r=RalfJung
rustup
Cc https://github.com/rust-lang/rust/issues/81551
Ralf Jung [Sun, 31 Jan 2021 12:12:25 +0000 (13:12 +0100)]
rustup
bors [Sat, 30 Jan 2021 20:17:39 +0000 (20:17 +0000)]
Auto merge of #1693 - rust-lang:oli-obk-patch-1, r=RalfJung
Document -Zmiri-compare-exchange-weak-failure-rate
Oli Scherer [Sat, 30 Jan 2021 19:06:05 +0000 (20:06 +0100)]
Update README.md
Oli Scherer [Sat, 30 Jan 2021 19:05:21 +0000 (20:05 +0100)]
Update README.md
Co-authored-by: Ralf Jung <post@ralfj.de>
bors [Fri, 29 Jan 2021 20:16:49 +0000 (20:16 +0000)]
Auto merge of #1696 - RalfJung:abi-check, r=RalfJung
add test for caller ABI check
Ralf Jung [Fri, 29 Jan 2021 20:16:17 +0000 (21:16 +0100)]
add test for caller ABI check
bors [Fri, 29 Jan 2021 19:36:30 +0000 (19:36 +0000)]
Auto merge of #1670 - unseddd:abi, r=RalfJung
Add ABI check for shims
Resolves #1631
bors [Thu, 28 Jan 2021 13:48:28 +0000 (13:48 +0000)]
Auto merge of #1694 - JohnTitor:rustup, r=RalfJung
Rustup for rust-lang/rust#79951
cc https://github.com/rust-lang/rust/issues/81467
Yuki Okushi [Thu, 28 Jan 2021 12:30:36 +0000 (21:30 +0900)]
Rustup for rust-lang/rust#79951
Oli Scherer [Thu, 28 Jan 2021 09:58:33 +0000 (10:58 +0100)]
Document -Zmiri-compare-exchange-weak-failure-rate
bors [Thu, 28 Jan 2021 09:52:04 +0000 (09:52 +0000)]
Auto merge of #1686 - thomcc:cmpxchg_weak, r=oli-obk
Add random failures to compare_exchange_weak
In practice this is pretty useful for detecting bugs.
This fails more frequently than realistic (~~50%~~ (now 80%, controlled by a flag) of the time). I couldn't find any existing code that tries to model this (tsan, cdschecker, etc all seem to have TODOs there). Relacy models it with a 25% or 50% failure chance depending on some settings.
CC `@JCTyblaidd` who wrote the code this modifies initially, and seems interested in this subject.
Nym Seddon [Fri, 22 Jan 2021 02:45:39 +0000 (02:45 +0000)]
Add ABI check for shims
bors [Wed, 27 Jan 2021 09:44:48 +0000 (09:44 +0000)]
Auto merge of #1692 - RalfJung:rustup, r=RalfJung
rustup; more slack for timing tests
Ralf Jung [Wed, 27 Jan 2021 09:43:59 +0000 (10:43 +0100)]
rustup; more slack for timing tests
bors [Tue, 26 Jan 2021 10:48:36 +0000 (10:48 +0000)]
Auto merge of #1690 - RalfJung:rustup, r=RalfJung
rustup; allow some lints
Ralf Jung [Tue, 26 Jan 2021 10:48:11 +0000 (11:48 +0100)]
erroneous_const span now changes with inlining
Ralf Jung [Tue, 26 Jan 2021 10:43:39 +0000 (11:43 +0100)]
rustup; allow some lints
Thom Chiovoloni [Tue, 26 Jan 2021 08:07:43 +0000 (00:07 -0800)]
Allow configuring the failure rate with -Zmiri-compare-exchange-weak-failure-rate
Thom Chiovoloni [Mon, 25 Jan 2021 10:59:12 +0000 (02:59 -0800)]
Fail 80% of the time on weak cmpxchg, not 50%
Thom Chiovoloni [Mon, 25 Jan 2021 10:52:55 +0000 (02:52 -0800)]
review nits
Thom Chiovoloni [Mon, 25 Jan 2021 10:41:03 +0000 (02:41 -0800)]
Test that _weak atomics sometimes fail
Thom Chiovoloni [Sun, 24 Jan 2021 21:45:45 +0000 (13:45 -0800)]
Add random failures to compare_exchange_weak
bors [Mon, 25 Jan 2021 10:05:12 +0000 (10:05 +0000)]
Auto merge of #1688 - RalfJung:rustup, r=RalfJung
adjust Windows shims for stdlib changes (Windows XP removal)
Ralf Jung [Mon, 25 Jan 2021 08:46:10 +0000 (09:46 +0100)]
adjust Windows shims for stdlib changes (Windows XP removal)
bors [Mon, 25 Jan 2021 09:43:07 +0000 (09:43 +0000)]
Auto merge of #1687 - hyd-dev:zulip, r=RalfJung
Fix `\n` in Zulip message
https://rust-lang.zulipchat.com/#narrow/stream/269128-miri/topic/Cron.20Job.20Failure/near/
223865005 :
> Dear `@**RalfJ**` and `@**oli**\n\nIt` would appear that the Miri cron job build failed. Would you mind investigating this issue?\n\nThanks in advance!\nSincerely,\nThe Miri Cronjobs Bot
This PR changes that to:
> Dear `@**RalfJ**` and `@**oli**`
>
> It would appear that the Miri cron job build failed. Would you mind investigating this issue?
>
> Thanks in advance!
> Sincerely,
> The Miri Cronjobs Bot
hyd-dev [Mon, 25 Jan 2021 08:10:28 +0000 (16:10 +0800)]
Fix `\n` in Zulip message
https://rust-lang.zulipchat.com/#narrow/stream/269128-miri/topic/Cron.20Job.20Failure/near/
223865005
bors [Sun, 24 Jan 2021 15:50:51 +0000 (15:50 +0000)]
Auto merge of #1675 - hyd-dev:proc-macro-unit-test, r=RalfJung
[cargo-miri] Skip unit tests of `proc-macro` crates
Fixes #1660.
hyd-dev [Mon, 18 Jan 2021 16:26:15 +0000 (00:26 +0800)]
Add a test for unit test of `proc-macro` crate
hyd-dev [Mon, 18 Jan 2021 15:50:10 +0000 (23:50 +0800)]
Skip unit tests of `proc-macro` crates
bors [Sun, 24 Jan 2021 15:13:28 +0000 (15:13 +0000)]
Auto merge of #1685 - RalfJung:readme, r=RalfJung
add -Zmiri-disable-data-race-detector to readme
Ralf Jung [Sun, 24 Jan 2021 14:58:37 +0000 (15:58 +0100)]
add -Zmiri-disable-data-race-detector to readme
bors [Sat, 23 Jan 2021 17:37:22 +0000 (17:37 +0000)]
Auto merge of #1683 - frewsxcv:frewsxcv-nprocessors, r=RalfJung
Add shim for libc::sysconf(libc::_SC_NPROCESSORS_CONF)
`libc::sysconf(libc::_SC_NPROCESSORS_CONF)` is used by AArch64 devices to get the number of CPUs in the `num_cpus` crate:
https://github.com/seanmonstar/num_cpus/blob/
b423db0a698b035914ae1fd6b7ce5d2a4e727b46 /src/lib.rs#L337-L342
Ralf Jung [Sat, 23 Jan 2021 17:14:57 +0000 (18:14 +0100)]
macos: support aarch64 link names
Ralf Jung [Sat, 23 Jan 2021 17:11:01 +0000 (18:11 +0100)]
implement aarch64 hint 'intrinsic'
bors [Sat, 23 Jan 2021 15:59:58 +0000 (15:59 +0000)]
Auto merge of #1684 - RalfJung:env, r=oli-obk
prefer build-time env vars over run-time values
Fixes https://github.com/rust-lang/miri/issues/1661
Ralf Jung [Sat, 23 Jan 2021 15:54:00 +0000 (16:54 +0100)]
expand README
Corey Farwell [Sat, 23 Jan 2021 15:51:36 +0000 (10:51 -0500)]
Test aarch64-apple-darwin
Ralf Jung [Sat, 23 Jan 2021 15:51:29 +0000 (16:51 +0100)]
prefer build-time env vars over run-time values
Corey Farwell [Fri, 22 Jan 2021 14:16:27 +0000 (09:16 -0500)]
Add shim for libc::sysconf(libc::_SC_NPROCESSORS_CONF)
bors [Fri, 22 Jan 2021 08:23:36 +0000 (08:23 +0000)]
Auto merge of #1682 - RalfJung:rustup, r=RalfJung
rustup; test swap of element with itself
Cc https://github.com/rust-lang/rust/issues/80682
Ralf Jung [Fri, 22 Jan 2021 08:22:53 +0000 (09:22 +0100)]
rustup; test swap of element with itself
hyd-dev [Mon, 18 Jan 2021 10:17:25 +0000 (18:17 +0800)]
Add `ArgFlagValueIter`
bors [Mon, 18 Jan 2021 12:02:12 +0000 (12:02 +0000)]
Auto merge of #1681 - RalfJung:rustup, r=RalfJung
rustup; remove some intrinsics that are gone or moved to rustc
Ralf Jung [Mon, 18 Jan 2021 11:55:30 +0000 (12:55 +0100)]
rustup; remove some intrinsics that are gone or moved to rustc
bors [Sun, 17 Jan 2021 20:41:57 +0000 (20:41 +0000)]
Auto merge of #1680 - LeSeulArtichaut:polite-bot, r=RalfJung
Teach the miri cronjobs to speak politely
> Please be kind and courteous. There’s no need to be mean or rude.
― Rust Code of conduct
LeSeulArtichaut [Sun, 17 Jan 2021 20:26:24 +0000 (21:26 +0100)]
Teach the miri cronjobs to speak politely
bors [Sun, 17 Jan 2021 16:28:34 +0000 (16:28 +0000)]
Auto merge of #1679 - hyd-dev:min-const-generics, r=RalfJung
Remove `#![feature(const_generics)]` and `#![allow(incomplete_features)]`
`#![feature(min_const_generics)]` has been [stabilized](https://github.com/rust-lang/rust/pull/79135), so I removed `#![feature(const_generics)]` and `#![allow(incomplete_features)]` (I assume Miri is not built by the beta bootstrap compiler so it's fine to just remove them).
The test [`tests/run-pass/specialization.rs` also has a `#![allow(incomplete_features)]` for `#![feature(specialization)]`](https://github.com/rust-lang/miri/blob/
9949d9e4 /tests/run-pass/specialization.rs#L1-L2). I think that can be removed and `#![feature(specialization)]` can be replaced with `#![feature(min_specialization)]`, but I'm not sure whether I should do that because it's a test. Feel free to ask me to remove it if it's fine to do so.
hyd-dev [Sun, 17 Jan 2021 15:09:04 +0000 (23:09 +0800)]
Remove `#![feature(const_generics)]` and `#![allow(incomplete_features)]`
bors [Sat, 16 Jan 2021 20:57:00 +0000 (20:57 +0000)]
Auto merge of #1678 - RalfJung:features, r=RalfJung
remove some unnecessary feature gates
Ralf Jung [Sat, 16 Jan 2021 17:27:10 +0000 (18:27 +0100)]
remove some unnecessary feature gates
bors [Sat, 16 Jan 2021 09:30:19 +0000 (09:30 +0000)]
Auto merge of #1676 - RalfJung:zulip, r=RalfJung
undo cronjob deliberate failure
Ralf Jung [Sat, 16 Jan 2021 09:29:37 +0000 (10:29 +0100)]
undo cronjob deliberate failure
bors [Fri, 15 Jan 2021 15:42:50 +0000 (15:42 +0000)]
Auto merge of #1673 - RalfJung:rustup, r=RalfJung
rustup; make tests pass again
Ralf Jung [Fri, 15 Jan 2021 15:41:14 +0000 (16:41 +0100)]
rustup; make tests pass again
bors [Fri, 15 Jan 2021 14:24:32 +0000 (14:24 +0000)]
Auto merge of #1672 - RalfJung:zulip, r=RalfJung
add Zulip site information
Ralf Jung [Fri, 15 Jan 2021 14:23:20 +0000 (15:23 +0100)]
add Zulip site information
bors [Mon, 11 Jan 2021 11:35:58 +0000 (11:35 +0000)]
Auto merge of #1669 - RalfJung:rustup, r=RalfJung
rustup
Cc https://github.com/rust-lang/rust/issues/80907
Ralf Jung [Mon, 11 Jan 2021 11:35:13 +0000 (12:35 +0100)]
rustup
bors [Mon, 11 Jan 2021 11:10:30 +0000 (11:10 +0000)]
Auto merge of #1668 - RalfJung:zulip, r=RalfJung
fix zulip-send path
Ralf Jung [Mon, 11 Jan 2021 11:09:55 +0000 (12:09 +0100)]
fix zulip-send path
bors [Sun, 10 Jan 2021 19:12:00 +0000 (19:12 +0000)]
Auto merge of #1667 - RalfJung:cron-fail-notification, r=RalfJung
send Zulip notification when cron job fails
Let's see if this works...
Ralf Jung [Sun, 10 Jan 2021 18:12:11 +0000 (19:12 +0100)]
send Zulip notification when cron job fails
bors [Thu, 31 Dec 2020 12:16:58 +0000 (12:16 +0000)]
Auto merge of #1663 - RalfJung:rustup, r=RalfJung
test Weak into_raw/from_raw on dangling ptrs
Ralf Jung [Thu, 31 Dec 2020 12:11:34 +0000 (13:11 +0100)]
test Weak into_raw/from_raw on dangling ptrs
bors [Wed, 30 Dec 2020 23:18:02 +0000 (23:18 +0000)]
Auto merge of #1662 - RalfJung:rustup, r=RalfJung
panicing now works with -Zmiri-track-raw-pointers
Ralf Jung [Wed, 30 Dec 2020 23:17:08 +0000 (00:17 +0100)]
panicing now works with -Zmiri-track-raw-pointers
bors [Tue, 29 Dec 2020 18:29:21 +0000 (18:29 +0000)]
Auto merge of #1659 - RalfJung:rustup, r=RalfJung
rustup; add an interesting alias test case
Ralf Jung [Tue, 29 Dec 2020 18:27:23 +0000 (19:27 +0100)]
rustup; add an interesting alias test case
bors [Tue, 22 Dec 2020 11:54:05 +0000 (11:54 +0000)]
Auto merge of #1658 - RalfJung:forget, r=RalfJung
remove intrinsic that is now implemented in the rustc side
Since https://github.com/rust-lang/rust/pull/80040, we can rely on the pass introduced in https://github.com/rust-lang/rust/pull/79049 to lower away `forget`.
Ralf Jung [Tue, 22 Dec 2020 11:47:59 +0000 (12:47 +0100)]
remove intrinsic that is now implemented in the rustc side