]>
git.lizzy.rs Git - rust.git/log
Oli Scherer [Sat, 30 Jan 2021 19:05:21 +0000 (20:05 +0100)]
Update README.md
Co-authored-by: Ralf Jung <post@ralfj.de>
Oli Scherer [Thu, 28 Jan 2021 09:58:33 +0000 (10:58 +0100)]
Document -Zmiri-compare-exchange-weak-failure-rate
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
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
bors [Mon, 21 Dec 2020 13:40:33 +0000 (13:40 +0000)]
Auto merge of #1657 - RalfJung:zulip, r=RalfJung
link to our shiny new Zulip stream
Ralf Jung [Mon, 21 Dec 2020 13:39:18 +0000 (14:39 +0100)]
link to our shiny new Zulip stream
bors [Mon, 21 Dec 2020 12:25:57 +0000 (12:25 +0000)]
Auto merge of #1656 - RalfJung:tests, r=RalfJung
test suite updates
Ralf Jung [Mon, 21 Dec 2020 10:34:27 +0000 (11:34 +0100)]
test test suite harness with raw-ptr tracking
Ralf Jung [Mon, 21 Dec 2020 10:33:46 +0000 (11:33 +0100)]
leak checker: also test AtomicPtr stored via 'swap'
Ralf Jung [Mon, 21 Dec 2020 10:29:49 +0000 (11:29 +0100)]
rename test ref files for proper names
bors [Mon, 21 Dec 2020 09:55:26 +0000 (09:55 +0000)]
Auto merge of #1655 - RalfJung:rustup, r=RalfJung
rustup + cargo-miri 'cargo update'
Ralf Jung [Mon, 21 Dec 2020 09:53:55 +0000 (10:53 +0100)]
rustup + cargo-miri 'cargo update'
bors [Thu, 17 Dec 2020 11:54:28 +0000 (11:54 +0000)]
Auto merge of #1652 - RalfJung:update, r=RalfJung
rustup + cargo update
Also fixes cargo warnings about depending on yanked crates.
Ralf Jung [Thu, 17 Dec 2020 11:53:10 +0000 (12:53 +0100)]
rustup + cargo update
bors [Sun, 13 Dec 2020 19:50:57 +0000 (19:50 +0000)]
Auto merge of #1644 - JCTyblaidd:detect_race_with_alloc, r=RalfJung
More tests, fix issue 1643 and detect races with allocation.
Fixes #1643 by disabling race detection for V-Table memory, adds race detection between r/w & memory allocation, and adds more tests.
~~There is one unusual result in dealloc_read_race_stack_drop.rs, where the stack variable is read by thread 0 & thread 2 and so reports a race with thread 0, any ideas for the cause of the read on thread 0?~~ Fixed, bug with reporting the index a read race occured in correctly.
JCTyblaidd [Sun, 13 Dec 2020 11:14:41 +0000 (11:14 +0000)]
Tidy new_allocation
JCTyblaidd [Sun, 13 Dec 2020 11:08:19 +0000 (11:08 +0000)]
Update rust version
JCTyblaidd [Fri, 11 Dec 2020 19:32:25 +0000 (19:32 +0000)]
Rework to work with machine hook.
JCTyblaidd [Thu, 10 Dec 2020 16:56:09 +0000 (16:56 +0000)]
Update src/data_race.rs
Co-authored-by: Ralf Jung <post@ralfj.de>
JCTyBlaidd [Wed, 9 Dec 2020 13:35:42 +0000 (13:35 +0000)]
Fix review changes
JCTyBlaidd [Tue, 8 Dec 2020 14:16:39 +0000 (14:16 +0000)]
Change to disable mir-opt in compile-flags
JCTyBlaidd [Mon, 7 Dec 2020 23:43:19 +0000 (23:43 +0000)]
Disable tests in windows
JCTyBlaidd [Mon, 7 Dec 2020 23:30:55 +0000 (23:30 +0000)]
Defeat the mir-opt=3 optimizer.
JCTyBlaidd [Mon, 7 Dec 2020 23:21:58 +0000 (23:21 +0000)]
Update note
JCTyBlaidd [Mon, 7 Dec 2020 23:18:57 +0000 (23:18 +0000)]
Fix bug with reporting wrong thread for races with reads & add thread ids to data-race tests
JCTyBlaidd [Mon, 7 Dec 2020 21:13:11 +0000 (21:13 +0000)]
Add concurrent caller location test
JCTyblaidd [Mon, 7 Dec 2020 19:10:01 +0000 (19:10 +0000)]
Fix nits
Co-authored-by: bjorn3 <bjorn3@users.noreply.github.com>
JCTyBlaidd [Mon, 7 Dec 2020 18:58:31 +0000 (18:58 +0000)]
Increase sleep times for the scheduler
JCTyBlaidd [Mon, 7 Dec 2020 18:21:12 +0000 (18:21 +0000)]
Remove old FIXME
JCTyBlaidd [Mon, 7 Dec 2020 18:16:06 +0000 (18:16 +0000)]
More tests, fix issue 1643 and detect races with allocation.
bors [Fri, 11 Dec 2020 10:37:40 +0000 (10:37 +0000)]
Auto merge of #1648 - RalfJung:windows-track-raw, r=RalfJung
enable track-raw-ptr tests on Windows
With https://github.com/rust-lang/rust/pull/79893 landed, raw-pointer-tracking now works even for the Windows runtime. :)
Ralf Jung [Fri, 11 Dec 2020 10:36:17 +0000 (11:36 +0100)]
rustup
Ralf Jung [Wed, 9 Dec 2020 23:11:00 +0000 (00:11 +0100)]
enable track-raw-ptr tests on Windows
bors [Thu, 10 Dec 2020 18:54:21 +0000 (18:54 +0000)]
Auto merge of #1646 - RalfJung:rustup, r=RalfJung
rustup
Ralf Jung [Thu, 10 Dec 2020 18:53:45 +0000 (19:53 +0100)]
rustup
bors [Thu, 10 Dec 2020 08:05:35 +0000 (08:05 +0000)]
Auto merge of #1645 - RalfJung:rustup, r=RalfJung
Rustup; make use of AtomicPtr fixes
Ralf Jung [Wed, 9 Dec 2020 23:09:52 +0000 (00:09 +0100)]
rustup; test AtomicPtr leak checker
bors [Mon, 7 Dec 2020 08:21:49 +0000 (08:21 +0000)]
Auto merge of #1642 - jonahwilliams:patch-1, r=RalfJung
Fix README.md typo "extend" -> "extent"
Just something I noticed while reading.
Jonah Williams [Mon, 7 Dec 2020 01:54:59 +0000 (17:54 -0800)]
Fix README.md typo "extend" -> "extent"
Just something I noticed while reading
bors [Sun, 6 Dec 2020 19:12:16 +0000 (19:12 +0000)]
Auto merge of #1641 - JCTyblaidd:update_release_sequences, r=RalfJung
Weaken release sequences to match the C++20 memory model
See [Weaken Release Sequences](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0982r1.html), since the exception for relaxed writes on the same thread as a release write not blocking release sequences was removed in the C++20 memory model compared to the C11 memory model the paper was based on. The implementation can be updated and simplified to match this. [Rust is currently specified to use the C++20 memory model](https://doc.rust-lang.org/std/sync/atomic/index.html).
JCTyblaidd [Sun, 6 Dec 2020 17:59:49 +0000 (17:59 +0000)]
Fix caps
Co-authored-by: Ralf Jung <post@ralfj.de>
JCTyBlaidd [Sun, 6 Dec 2020 17:11:24 +0000 (17:11 +0000)]
Fix typo
JCTyBlaidd [Sun, 6 Dec 2020 16:58:32 +0000 (16:58 +0000)]
Update release sequence handling to C++20 semantics.
bors [Sat, 5 Dec 2020 11:16:41 +0000 (11:16 +0000)]
Auto merge of #1640 - RalfJung:readme, r=RalfJung
readme: mention data races
and mention cross-interpretation already in the intro
Ralf Jung [Sat, 5 Dec 2020 11:14:52 +0000 (12:14 +0100)]
readme: mention data races, and mention cross-interpretation already in the intro
bors [Sat, 5 Dec 2020 08:35:56 +0000 (08:35 +0000)]
Auto merge of #1639 - m-ou-se:allocator, r=RalfJung
Update to new core::alloc::Allocator interface
This fixes the allocator test for the changes made to the allocator trait in `core` in https://github.com/rust-lang/rust/pull/79286
See https://github.com/rust-lang/rust/issues/79709
Mara Bos [Fri, 4 Dec 2020 22:52:13 +0000 (23:52 +0100)]
Use new std::alloc::Allocator interface.
This was changed in core.
bors [Mon, 30 Nov 2020 11:40:43 +0000 (11:40 +0000)]
Auto merge of #1636 - RalfJung:rustup, r=oli-obk
remove miri-rustc-tests
`@oli-obk` I am not sure if anyone used this program in the last few years. There are no instructions for how to use it. So I think keeping it working is just a waste of time. It now fails to build:
```
error[E0046]: not all trait items implemented, missing: `visit_foreign_item`
--> src/bin/miri-rustc-tests.rs:36:17
|
36 | impl<'tcx, 'hir> itemlikevisit::ItemLikeVisitor<'hir> for Visitor<'tcx> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `visit_foreign_item` in implementation
```
So I propose instead of me trying to figure out how to fix this, we just drop this ancient code.
bors [Mon, 30 Nov 2020 11:15:38 +0000 (11:15 +0000)]
Auto merge of #1635 - RalfJung:readme, r=oli-obk
update README
Data races are detected now, but also the amount of non-determinism went way up so reword that point.