miri subtree update - #159548

Merged

rust-bors[bot] merged 85 commits into

rust-lang:mainfrom

Jul 19, 2026

Commits on Jul 12, 2026

Implement `fallocate` for linux, only supporting the default mode, this is the same behaviour as `posix_fallocate`.
LorrensP-2158466
committed
b2c848a
Merge pull request #5147 from LorrensP-2158466/linux-fallocate
RalfJung
authored
954bc43
Use read/write helpers from libc_utils
TheDoctor314
committed
6e97f13
Merge pull request #5148 from TheDoctor314/refactor-libc-tests
RalfJung
authored
984c35c
memcmp: add tests and update comments
RalfJung
committed
a1c3242
Merge pull request #5178 from RalfJung/memcmp
RalfJung
authored
d449d78

Commits on Jul 13, 2026

Prepare for merging from rust-lang/rust
RalfJung
committed
d5fbe96
Merge ref '48c2cee70232' from rust-lang/rust
RalfJung
committed
becbf2c
weak linkage extern statics need to be managed deparately due to their extra indirection
RalfJung
committed
e04f9b9
make 'environ' available as weak symbol on FreeBSD
RalfJung
committed
f59064c
Merge pull request #5180 from RalfJung/rustup
RalfJung
authored
a19e2ec
FileDescription: make destroy a NOP by default and document the risks
RalfJung
committed
6dce531
Merge pull request #5183 from RalfJung/file-description-destroy
RalfJung
authored
1d916ae
tests: socketpair-data-race: utilize shared helpers
faukah
committed
9e925f1
tests: socketpair_block_read_twice: utilize shared helpers
faukah
committed
23b5d94
tests: socketpair_block_write_twice: utilize shared helpers
faukah
committed
485d963

Commits on Jul 14, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
c635087
Merge ref '55b6bd8ecbed' from rust-lang/rust
The Miri Cronjob Bot
committed
1419d99
clippy
RalfJung
committed
38167b8
Merge pull request #5190 from rust-lang/rustup-2026-07-14
RalfJung
authored
03f5fde
remove bogus sanity check from weak memory mixed-size logic
RalfJung
committed
9aad4a2
more consistent name for some MemoryCellClocks methods
RalfJung
committed
5bd74ba
explain why there is no sanity check
RalfJung
committed
5a083e5
Merge pull request #5188 from RalfJung/mixed-size-ice
RalfJung
authored
bd82439
move scheduler into its own file
RalfJung
committed
2d224b6
Lazily remove dropped readiness watchers
WhySoBad
committed
9726f1d
Merge pull request #5195 from RalfJung/scheduler
RalfJung
authored
977820b
Merge pull request #5172 from WhySoBad/tokio-on-poll-selector
RalfJung
authored
0c087b1

Commits on Jul 15, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
466390e
Merge ref '38a0576951fb' from rust-lang/rust
The Miri Cronjob Bot
committed
9dd4d83
Lazily destroy source file descriptions

WhySoBad
authored and
RalfJung
committed
b6cb5a1
Merge pull request #5196 from rust-lang/rustup-2026-07-15
RalfJung
authored
56d55d5
Merge pull request #5192 from WhySoBad/network-socket-lazy-destroy
RalfJung
authored
65f3915
de-duplicate EmulateItemResult handling
RalfJung
committed
26cd724
ensure all fields of a callback implement VisitProvenance
RalfJung
committed
9a82a4d
socketpair: keep strong ref while blocking
RalfJung
committed
f410c4a
add eventfd closed-while-blocked test
RalfJung
committed
a179e4c
consistently hold strong refs in blocking FD callbacks
RalfJung
committed
bf25169
use eventfd helpers for eventfd tests
RalfJung
committed
a684941
add test for unblocking eventfd via a dup'ed FD
RalfJung
committed
e7307fc
Merge pull request #5197 from RalfJung/close-while-block
RalfJung
authored
cdbca7c
move LLVM intrinsic implementations to intrinsics module
RalfJung
committed
56bc850
use shared EmulateItemResult infrastructure for LLVM intrinsics
RalfJung
committed
3eb0e21
Merge pull request #5198 from RalfJung/llvm-intrinsics
RalfJung
authored
d10e903
ensure we test simd_shr on both signed and unsigned types
RalfJung
committed
622d855
Merge pull request #5200 from RalfJung/simd_shr
RalfJung
authored
852e49b
add test for epoll watching an FD that is kept alive by a thread blocked on it
RalfJung
committed
5dcbd23
introduce delayed readiness updates to VirtualSocket can register an update in its destructor
RalfJung
committed
4e66447
Remove FileHandle::destroy
RalfJung
committed
57a0a2e
Remove FileDescription::destroy
RalfJung
committed
568b218
fix outdated comment (already outdated before this PR)
RalfJung
committed
e312e88
Merge pull request #5201 from RalfJung/drop-not-destroy
RalfJung
authored
f525a45

Commits on Jul 16, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
60aa3f6
Merge ref 'fcbe7917ba18' from rust-lang/rust
The Miri Cronjob Bot
committed
8ec86c2
Merge pull request #5205 from rust-lang/rustup-2026-07-16
RalfJung
authored
df05fd5
fix delayed readiness update sometimes being too late
RalfJung
committed
0f6c0bf
test eventfd initval
RalfJung
committed
98617fd
add test for closing an FD that is being actively watched
RalfJung
committed
d52478e
keep weak ref to watched FD in readiness interest table
RalfJung
committed
ac7b24d
delay removing watched FDs that are being closed from the interest
RalfJung
committed
203300e
we do not need ReadinessWatcherId any more
RalfJung
committed
6034457
actually retry 'apt update' when fetching something fails
RalfJung
committed
de935d4
Merge pull request #5207 from RalfJung/delay-watched-fd-close-cleanup
RalfJung
authored
0ace5e4
Merge pull request #5189 from faukah/faukah/push-quwzmrnzkxuu
RalfJung
authored
1fb01bf
epoll tests: use eventfd helpers
RalfJung
committed
e1e3698
Merge pull request #5209 from RalfJung/test-helpers
RalfJung
authored
917b9bd

Commits on Jul 17, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
168ba92
Merge ref '4a9d5368df64' from rust-lang/rust
The Miri Cronjob Bot
committed
d0a2458
Merge pull request #5211 from rust-lang/rustup-2026-07-17
oli-obk
authored
19f69a1
add AI policy
RalfJung
committed
af45e4c
FdTable: fix insert_with_min_num logic
RalfJung
committed
4bc6739
replace global readiness watcher table by per-FD state
RalfJung
committed
de8cb1c
move readiness vector clock tracking into per-FD state so it works even when there is no interest (yet)
RalfJung
committed
e21b92a
clean up epoll interest lists immediately when FD gets dropped
RalfJung
committed
45d0d7a
epoll: implement Illumos semantics for closed file descriptors
RalfJung
committed
5594e81
do not treat host IO events as 'release' events from the current thread
RalfJung
committed
8fd5811
Merge pull request #5210 from RalfJung/readiness-watched
RalfJung
authored
07f8418
fix: fix typo in `ReadinessWatched` doc comment
WhySoBad
committed
a8776f3
test: add data race test for `poll`
WhySoBad
committed
ef737e7
Merge pull request #5213 from WhySoBad/poll-data-race-test
RalfJung
authored
170320e

Commits on Jul 18, 2026