Code

Miri subtree update#131286

Code

Merged

bors merged 26 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miri-syncRalfJung/rust:miri-syncCopy head branch name to clipboardOct 5, 2024

Commits

Commits on Sep 30, 2024

• Refactor return_read_bytes_and_count and return_written_byte_count_or_error

  tiif

  committed
  df6c27d

  Copy full SHA for df6c27d

Commits on Oct 1, 2024

• Auto merge of rust-lang#3923 - tiif:refactor, r=RalfJung

  Show description for c37539d
  bors

  committed
  c37539d

  Copy full SHA for c37539d

• move io error handling helpers to their own file

  RalfJung

  committed
  88c7452

  Copy full SHA for 88c7452

• make set_last_error directly callable on a bunch of ways to represent errors

  RalfJung

  committed
  9c21fd4

  Copy full SHA for 9c21fd4

• add set_last_error_and_return_i32 helper and use it in a few places

  RalfJung

  committed
  4f4e1d4

  Copy full SHA for 4f4e1d4

• Auto merge of rust-lang#3929 - RalfJung:io-error, r=RalfJung

  Show description for 97510cd
  bors

  committed
  97510cd

  Copy full SHA for 97510cd

Commits on Oct 2, 2024

• epoll: add data_race test

  Show description for 3e089b0
  

  FrankReh

  authored and

  oli-obk

  committed
  3e089b0

  Copy full SHA for 3e089b0

• epoll: remove unnecessary instructions

  Show description for 1b622f4
  

  FrankReh

  authored and

  oli-obk

  committed
  1b622f4

  Copy full SHA for 1b622f4

• epoll: add vector clock to the epoll ready_list

  Show description for 86bb137
  

  FrankReh

  authored and

  oli-obk

  committed
  86bb137

  Copy full SHA for 86bb137

• epoll: remove extraneous clone of ready_list

  Show description for 81202c8
  

  FrankReh

  authored and

  oli-obk

  committed
  81202c8

  Copy full SHA for 81202c8

• Auto merge of rust-lang#3932 - rust-lang:epoll-with-vector-clock, r=oli-obk

  Show description for 52aa98a
  bors

  committed
  52aa98a

  Copy full SHA for 52aa98a

Commits on Oct 3, 2024

• Preparing for merge from rustc

  RalfJung

  committed
  be819d4

  Copy full SHA for be819d4

• Merge from rustc

  RalfJung

  committed
  6280e26

  Copy full SHA for 6280e26

• fmt

  RalfJung

  committed
  32d4968

  Copy full SHA for 32d4968

• make sure we also detect mixed-size races that begin at different addresses

  RalfJung

  committed
  9b35886

  Copy full SHA for 9b35886

• Auto merge of rust-lang#3935 - RalfJung:rustup, r=RalfJung

  Show description for bf71d65
  bors

  committed
  bf71d65

  Copy full SHA for bf71d65

Commits on Oct 4, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  d19bd66

  Copy full SHA for d19bd66

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  7014ae8

  Copy full SHA for 7014ae8

• clippy

  RalfJung

  committed
  dc88a6a

  Copy full SHA for dc88a6a

• Auto merge of rust-lang#3938 - rust-lang:rustup-2024-10-04, r=RalfJung

  Show description for 6602a23
  bors

  committed
  6602a23

  Copy full SHA for 6602a23

• Implement LLVM x86 gfni intrinsics

  TDecking

  committed
  d00b754

  Copy full SHA for d00b754

• Auto merge of rust-lang#3895 - TDecking:gfni, r=RalfJung

  Show description for f7400c3
  bors

  committed
  f7400c3

  Copy full SHA for f7400c3

• Prefer refutable slice patterns over len check + index op

  oli-obk

  committed
  f46e162

  Copy full SHA for f46e162

Commits on Oct 5, 2024

• pthread mutex: better error in reentrant-locking-UB, also test PTHREAD_MUTEX_INITIALIZER

  RalfJung

  committed
  1553805

  Copy full SHA for 1553805

• Auto merge of rust-lang#3943 - RalfJung:pthread-mutex-reentrant, r=RalfJung

  Show description for eb97047
  bors

  committed
  eb97047

  Copy full SHA for eb97047

• Auto merge of rust-lang#3940 - rust-lang:refutable_slice, r=RalfJung

  Show description for 3b418b1
  bors

  committed
  3b418b1

  Copy full SHA for 3b418b1