Andy Wang
bf7fe68fba
Add -Zmiri-disable-weak-memory-emulation to README
2022-06-06 19:15:22 +01:00
Andy Wang
a71b10381e
Add imperfectly overlapping test
2022-06-06 19:15:22 +01:00
Andy Wang
53f4887659
Use a new AllocationMap to store store buffers in the same allocation
2022-06-06 19:15:21 +01:00
Andy Wang
ecdab5ff35
Clearer boundries between alloc metadata with multiple buffers and an individual store buffer
2022-06-06 19:15:21 +01:00
Andy Wang
cf266584b7
Comment out and provide context to C++20 test
2022-06-06 19:15:21 +01:00
Andy Wang
aca3b3a645
set_at_index sets the default value (0) if index doesn't exist in the other vector
2022-06-06 19:15:20 +01:00
Andy Wang
e7698f4f07
Implement weak memory emulation
2022-06-06 19:15:20 +01:00
Andy Wang
16315b1540
Add test cases
2022-06-06 19:15:20 +01:00
Andy Wang
8d36e8b32c
Add weak memory config option
2022-06-06 19:15:19 +01:00
bors
3361eabf38
Auto merge of #2183 - RalfJung:better-provenance-control, r=RalfJung
...
adjust for better provenance control
This is the Miri side of https://github.com/rust-lang/rust/pull/97684 .
2022-06-06 16:57:34 +00:00
Ralf Jung
84edb76e26
make output bitwidth-independent
2022-06-06 12:35:48 -04:00
bors
cd73c861c4
Auto merge of #2202 - InfRandomness:infrandomness/rustdoc-fixes, r=RalfJung
...
Fix rustdoc warnings
This fixes the rustdoc warnings presented by the tool
2022-06-06 16:32:05 +00:00
infrandomness
3ba6456181
Fix rustdoc warnings
2022-06-06 18:30:15 +02:00
Ralf Jung
b39e4c729a
rustup
2022-06-06 12:10:40 -04:00
Ralf Jung
7f5cfa54d9
port some tests away from flags we want to remove
2022-06-06 11:44:36 -04:00
Ralf Jung
b1b3836172
fix rustup-toolchain without arguments
2022-06-06 11:44:27 -04:00
Ralf Jung
34d4928dce
addr no longer exposes :)
2022-06-06 11:43:25 -04:00
Ralf Jung
63625b0397
adjust for better provenance control
2022-06-06 11:43:25 -04:00
bors
1c711a10a9
Auto merge of #2201 - RalfJung:arg-parsing, r=RalfJung
...
argument parsing: make better use of strip_prefix
This gets rid of lots of `unwrap`. :)
2022-06-06 15:09:47 +00:00
Ralf Jung
f31a8e0951
argument parsing: make better use of strip_prefix
2022-06-06 11:07:25 -04:00
bors
fc8631a737
Auto merge of #2198 - InfRandomness:UNIX-refactor, r=RalfJung
...
Refactor POSIX to UNIX
This renames the directories containing posix to unix; where applicable,
it also rename functions with the word "posix" to "unix"
Fixes https://github.com/rust-lang/miri/issues/2012
2022-06-06 12:45:32 +00:00
infrandomness
d0a0369a24
Refactor POSIX to UNIX
...
This renames the directory containing posix to unix; where applicable,
it also rename functions with the word "posix" to "unix"
2022-06-05 22:46:34 +02:00
bors
2eae474673
Auto merge of #2197 - RalfJung:round-robin, r=RalfJung
...
make Miri's scheduler proper round-robin
When thread N blocks or yields, we activate thread N+1 next, rather than always activating thread 0. This should guarantee that as long as all threads regularly yield, each thread eventually takes a step again.
Fixes the "multiple loops that yield playing ping-pong" part of https://github.com/rust-lang/miri/issues/1388 .
`@cbeuw` I hope this doesn't screw up the scheduler-dependent tests you are adding in your PR.
2022-06-05 18:37:07 +00:00
Ralf Jung
34b359be1e
more spin-loop-tests
2022-06-05 14:36:49 -04:00
Ralf Jung
47745380cd
make Miri's scheduler proper round-robin
2022-06-05 14:22:00 -04:00
bors
0fbe710012
Auto merge of #2194 - RalfJung:race, r=RalfJung
...
add interesting data race test
This interesting testcase came up in https://github.com/rust-lang/miri/issues/2192 .
2022-06-05 16:38:53 +00:00
Ralf Jung
b2832008e2
add interesting data race test
2022-06-05 12:38:34 -04:00
bors
d312b34feb
Auto merge of #2193 - RalfJung:strict, r=RalfJung
...
do not use int2ptr casts in strict provenance tests
2022-06-05 15:49:55 +00:00
Ralf Jung
4a852126b9
do not use int2ptr casts in strict provenance tests
2022-06-05 11:47:39 -04:00
bors
5f988ab553
Auto merge of #2189 - RalfJung:clippy, r=RalfJung
...
run Clippy on CI
and fix some things it complains about. Also use `rustup-toolchain` script on CI (reduces code duplication, and good thing to make sure it keeps working, since we recommend it in the docs).
I left `ui_test` out for now; I'll leave those nits to `@oli-obk.` ;)
2022-06-05 15:18:39 +00:00
bors
5a1b09eb9f
Auto merge of #2190 - RalfJung:rustup, r=RalfJung
...
rustup
Cc https://github.com/rust-lang/rust/issues/97745
2022-06-04 23:44:29 +00:00
Ralf Jung
32c03080f1
rustup
2022-06-04 19:43:46 -04:00
Ralf Jung
3d30aece83
clippy: cargo-miri
2022-06-04 13:37:37 -04:00
Ralf Jung
151b6b13e0
clippy: main crate
2022-06-04 13:29:00 -04:00
Ralf Jung
bd7f83dc37
run clippy on CI
2022-06-04 13:25:54 -04:00
bors
92c2e3c0bc
Auto merge of #2186 - matthiaskrgr:clippy, r=RalfJung
...
clippy fixes
clippy::redundant_closure
clippy::unnecessary_mut_passed
clippy::single_char_pattern
clippy::clone_on_copy
clippy::into_iter_on_ref
clippy::extra_unused_lifetimes
2022-06-04 15:17:17 +00:00
Matthias Krüger
bcc491a6ba
clippy fixes
...
clippy::redundant_closure
clippy::unnecessary_mut_passed
clippy::single_char_pattern
clippy::clone_on_copy
clippy::into_iter_on_ref
clippy::extra_unused_lifetimes
2022-06-04 17:10:32 +02:00
bors
f8840e683e
Auto merge of #2184 - RalfJung:readme, r=RalfJung
...
fix dangling reference in the README
2022-06-03 18:49:13 +00:00
Ralf Jung
625b4ed341
fix dangling reference in the README
2022-06-03 14:48:45 -04:00
bors
53a2b2f1c3
Auto merge of #2180 - RalfJung:stale, r=RalfJung
...
delete stale stderr files
`@oli-obk` can we do anything to detect them? Not sure if compiletest does anything smart here.
2022-06-03 12:10:32 +00:00
Ralf Jung
2b9c45f96f
delete stale stderr files
2022-06-03 08:10:09 -04:00
bors
8bcb8064dd
Auto merge of #2178 - RalfJung:double-ref, r=RalfJung
...
do not pass TyCtxt by reference
2022-06-02 19:11:46 +00:00
Ralf Jung
e79a331fea
do not pass TyCtxt by reference
2022-06-02 15:11:22 -04:00
bors
7f4f6072aa
Auto merge of #2177 - DrMeepster:global_allocator_backtrace_test, r=RalfJung
...
add test for backtrace with global allocator
closes #1996
2022-06-02 11:37:11 +00:00
DrMeepster
0b7a148ad9
add test for backtrace with global allocator
2022-06-01 17:32:01 -07:00
bors
232260bbdc
Auto merge of #2176 - RalfJung:test-dirs, r=oli-obk
...
rename test suite directories
Fixes https://github.com/rust-lang/miri/issues/2154
2022-06-01 15:41:11 +00:00
Ralf Jung
3d634c975c
rename test suite directories
2022-06-01 10:53:38 -04:00
bors
749efd2956
Auto merge of #2174 - RalfJung:summary, r=oli-obk
...
print list of failed tests in summary
compiletest does this and it is quite useful; see e.g. [here](https://github.com/rust-lang/rust/runs/6473917188?check_suite_focus=true ). Example output:
![image](https://user-images.githubusercontent.com/330628/171382085-21674f46-9db4-49ef-9c52-2be06b307e28.png )
2022-06-01 13:01:22 +00:00
Ralf Jung
9b9edc7440
print list of failed tests in summary
2022-06-01 08:59:34 -04:00
bors
40306ba6c3
Auto merge of #2175 - RalfJung:xargo, r=oli-obk
...
bump Xargo
Also use that as a clue to refresh our CI caches.
Fixes https://github.com/rust-lang/miri/issues/705
2022-06-01 12:39:28 +00:00