Repository navigation

miri subtree update - #165331

Merged

rust-bors[bot] merged 129 commits into

rust-lang:mainfrom

Nov 3, 2026

Merged

miri subtree update#165331
rust-bors[bot] merged 129 commits into
rust-lang:mainfrom
RalfJung:miri

Commits on Oct 24, 2026
- Use trusted pointee types in lgamma shims
  darkraider01
  committed
  4825e5f
- Use the checked pointer type for TCP FIONBIO
  darkraider01
  committed
  b2a1832
Commits on Oct 25, 2026
Commits on Oct 26, 2026
- use deref_pointer instead of deref_pointer_as
  programskillforverification
  committed
  599e4b1
- add back i686-pc-windows-msvc tests
  RalfJung
  committed
  fd71a95
- test benchmarks on more targets
  RalfJung
  committed
  7fe0de8
- run float tests natively
  RalfJung
  committed
  35489bb
- make mse benchmark work on big-endian
  RalfJung
  committed
  0443fdf
- float test can only work with enough f16/f128 support
  RalfJung
  committed
  5b347ae
- Merge pull request #5490 from RalfJung/ci
  RalfJung
  authored
  0aa8efa
- Merge pull request #5483 from darkraider01/math
  RalfJung
  authored
  33ea505
- Merge pull request #5484 from darkraider01/tcp
  RalfJung
  authored
  bed2fac
- Merge pull request #5491 from RalfJung/float-tests
  RalfJung
  authored
  892dbb1
- Prepare for merging from rust-lang/rust
  RalfJung
  committed
  3828f39
- Merge ref 'aaf324d50a7d' from rust-lang/rust
  RalfJung
  committed
  4a52704
- Merge pull request #5495 from RalfJung/rustup
  RalfJung
  authored
  08cdf6b
- float native testing: fix cfg
  RalfJung
  committed
  f6025d8
- we do not actually need the ports mirrors currently
  RalfJung
  committed
  5a5b55a
- Merge pull request #5498 from RalfJung/ports-mirrors
  RalfJung
  authored
  5dfc6a6
- linux-futex: add a bit more wait time slack
  RalfJung
  committed
  4ce4bb9
- Merge pull request #5496 from RalfJung/float-native
  RalfJung
  authored
  de141e0
Commits on Oct 27, 2026
- Add libc direct tests for pread64, pwrite64, lseek and lseek64
  mehmettoplu-rs
  committed
  de4a9db
- CI: move the solaris test
  RalfJung
  committed
  2c397b9
- Merge pull request #5469 from mehmettoplu-rs/test-offset-64
  RalfJung
  authored
  0f5c8dd
- Merge pull request #5502 from RalfJung/ci
  RalfJung
  authored
  49e14fd
- use errno_check and errno_result in random
  josetorrs
  committed
  f225f6a
- Merge pull request #5460 from josetorrs/use-errno-in-random
  RalfJung
  authored
  f4a6d1c
- use deref_pointer instead of deref_pointer_as
  mehmettoplu-rs
  committed
  b374b3b
- return proper error on invalid FD numbers in dup
  RalfJung
  committed
  184c45a
- Merge pull request #5506 from RalfJung/fd-num-validity
  RalfJung
  authored
  cdf35cb
- Merge pull request #5492 from programskillforverification/deref-pointer-windows-fs-sync
  RalfJung
  authored
  84b4c08
Commits on Oct 28, 2026
Commits on Oct 29, 2026
- Prepare for merging from rust-lang/rust
  The Miri Cronjob Bot
  committed
  41dd3ec
- Merge ref '92ffebeceaa0' from rust-lang/rust
  The Miri Cronjob Bot
  committed
  78e8fab
- Merge pull request #5513 from rust-lang/rustup-2026-10-29
  RalfJung
  authored
  3304e1b
- replace some this → ecx
  RalfJung
  committed
  0a2b28d
- Merge pull request #5514 from RalfJung/ecx
  RalfJung
  authored
  734bb76
- Use trusted pointee types in socket address shims
  
  darkraider01
  authored and
  RalfJung
  committed
  64e0eb2
- Remove deref_pointer_as helper
  
  darkraider01
  authored and
  RalfJung
  committed
  1fa4513
- Merge pull request #5511 from darkraider01/deref-pointer-socket-address
  RalfJung
  authored
  0cbd5f6
- Add direct libc tests for mkdir and rmdir
  eduardorittner
  committed
  f441736
Commits on Oct 30, 2026
- Prepare for merging from rust-lang/rust
  The Miri Cronjob Bot
  committed
  e1cd26c
- Merge ref '92b5b8c87c61' from rust-lang/rust
  The Miri Cronjob Bot
  committed
  6bb08c3
- remove stabilized feature
  RalfJung
  committed
  8817e5b
- cargo update
  RalfJung
  committed
  eca64fd
- detect when 'exit' is called more than once
  RalfJung
  committed
  4a75e84
- Merge pull request #5519 from rust-lang/rustup-2026-10-30
  RalfJung
  authored
  81d71b4
- Merge pull request #5521 from RalfJung/cargo-update
  RalfJung
  authored
  479acc7
- Add shared non-blocking socket tests, implement `ioctl` using `fcntl`
  WhySoBad
  committed
  00f3ea7
- Merge pull request #5468 from eduardorittner/test-dir-ops
  RalfJung
  authored
  455b5db
- Merge pull request #5497 from WhySoBad/udp-ioctl
  RalfJung
  authored
  78bb6a8
Commits on Oct 31, 2026
- return EINVAL to avoid ICE
  programskillforverification
  committed
  544faa8
- tweak test and add one for read as well
  RalfJung
  committed
  ce01075
- Merge pull request #5524 from programskillforverification/readv-writev-iov-len-einval
  RalfJung
  authored
  8cb4e98
- add support for libc::pause
  RalfJung
  committed
  7a1e8cf
- Merge pull request #5525 from RalfJung/pause
  RalfJung
  authored
  48e8c79
- ci: Pin `actions/checkout` to 6.1.0 hash
  hashcatHitman
  committed
  6ca69b5
- ci: Pin `actions/cache` to 5.1.0 hash
  hashcatHitman
  committed
  3cc5569
- ci: Pin `actions/upload-artifact` to 7.0.2 hash
  hashcatHitman
  committed
  ac7f376
- ci: Pin `actions/download-artifact` to 8.0.2 hash
  hashcatHitman
  committed
  163e212
- ci: Pin `actions/create-github-app-token` to 3.3.0 hash
  hashcatHitman
  committed
  3d9d957
- ci: Pin `vmactions/freebsd-vm` to 1.5.9 hash
  hashcatHitman
  committed
  3da6f2d
- ci: Disable credential persistence
  hashcatHitman
  committed
  918f0a7
- ci: Use dedicated self-repository syntax
  hashcatHitman
  committed
  92743af
- ci: Move permissions documentation
  hashcatHitman
  committed
  b24e3d0
- ci: Expand `inputs.toolchain_flags` in `env`
  hashcatHitman
  committed
  6f19d79
- ci: Expand `github.event_name` in `env`
  hashcatHitman
  committed
  dcae5c9
- ci: Expand `matrix.gcc_cross` in `env`
  hashcatHitman
  committed
  028b636
- ci: Prefer shell expansion for `matrix.host_target`
  hashcatHitman
  committed
  61ec13c
- ci: Expand `matrix.multiarch` in `env`
  hashcatHitman
  committed
  f60f05c
- ci: Expand `toJson(needs)` in `env`
  hashcatHitman
  committed
  ebbe7e5
- genmc: Fix GenMC API for RMWs
  michaliskok
  committed
  38453bf
- genmc: Do not truncate integers returned by GenMC
  
  Michalis Kokologiannakis
  authored and
  michaliskok
  committed
  e70f72d
- Enable MacOS support for GenMC mode.
  
  Patrick-6
  authored and
  michaliskok
  committed
  fb60d17
- ci: Restrict GitHub app token permissions
  hashcatHitman
  committed
  9293708
- Merge pull request #5522 from hashcatHitman/zizmor
  RalfJung
  authored
  6c35669
- genmc: Update the documented compiler requirements
  michaliskok
  committed
  9f41e8f
- genmc/build: Update GenMC to v0.20.0
  michaliskok
  committed
  39ee16a
- Merge pull request #5527 from michaliskok/genmc-rmw-and-macos-fixes
  RalfJung
  authored
  983461b
- run a bunch more tests natively
  RalfJung
  committed
  f35c100
- Merge pull request #5530 from RalfJung/native
  RalfJung
  authored
  7a3797b
Commits on Nov 1, 2026
- replace sync obj by more general meta obj mechanism
  RalfJung
  committed
  7f1a9e9
- make pthread_mutexattr, pthread_condattr also opaque meta objs
  RalfJung
  committed
  09000be
- socket_address: ptr_to_mplace is more clear than .offset here
  RalfJung
  committed
  69f9fe1
- Merge pull request #5531 from RalfJung/meta-obj
  RalfJung
  authored
  80f45ee
- ci: Allow manual dispatch of `cron-rustc-pull`
  hashcatHitman
  committed
  b239c81
- ci: Configure `git` to use the app token in `cron-rustc-pull`
  hashcatHitman
  committed
  d1a39d4
- Prepare for merging from rust-lang/rust
  RalfJung
  committed
  fc9518d
- Merge ref '349bba62f183' from rust-lang/rust
  RalfJung
  committed
  2023805
- Merge pull request #5520 from RalfJung/exit-twice
  RalfJung
  authored
  4c06fe4
- silence an incorrect clippy lint
  RalfJung
  committed
  21af5c4
- update CONTRIBUTING guidance regarding force pushes
  RalfJung
  committed
  f941d77
- Merge pull request #5539 from hashcatHitman/fix-rustc-pull
  RalfJung
  authored
  6c1e1a2
- fix time accounting in a futex test
  RalfJung
  committed
  e44dc45
- Merge pull request #5538 from RalfJung/rustup
  RalfJung
  authored
  8cf4179
Commits on Nov 2, 2026
- Merge pull request #5528 from RalfJung/force-pushes
  RalfJung
  authored
  024eb50
- fix permission bits reported by stat on non-Unix hosts
  programskillforverification
  committed
  815b602
- expand more of the tests
  RalfJung
  committed
  221d21e
- Merge pull request #5536 from programskillforverification/fix-windows-host-stat-mode
  RalfJung
  authored
  8eb247e
- add issue reference for why we have GVN disabled
  RalfJung
  committed
  42a6ec6
- Merge pull request #5542 from RalfJung/gvn-comment
  RalfJung
  authored
  54f781d
- fix futex implementations skipping SC fence
  RalfJung
  committed
  4650447
- shims/fs test: also call stream_position
  RalfJung
  committed
  c40e039
- another case of wrong time accounting
  RalfJung
  committed
  9087481
- Merge pull request #5546 from RalfJung/test-stream-position
  RalfJung
  authored
  b83e84c
- Merge pull request #5545 from RalfJung/futex-sc-fence
  RalfJung
  authored
  a201f04
- update lockfile
  RalfJung
  committed
  740523c