Code

Miri subtree update#129785

Code

Merged

bors merged 55 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miri-syncRalfJung/rust:miri-syncCopy head branch name to clipboardAug 31, 2024

+1,197-441

Commits

Commits on Aug 19, 2024

• provenance_gc: fix comment

  RalfJung

  committed
  4abdcd7

• make the cleanup functions private

  Show description for 4001f59
  RalfJung

  committed
  4001f59

Commits on Aug 22, 2024

• fix a misleading comment in TB tests

  sun-jacobi

  committed
  e698ca1

• Avoid extra copy by using retain_mut and moving the deletion into the closure

  JoJoDeveloping

  committed
  3a423fc

• Auto merge of rust-lang#3834 - sun-jacobi:tb-comment, r=RalfJung

  Show description for e881c42
  bors

  committed
  e881c42

• Auto merge of rust-lang#3835 - JoJoDeveloping:tb-fix-stack-overflow, r=RalfJung

  Show description for b8c02eb
  bors

  committed
  b8c02eb

Commits on Aug 24, 2024

• fix calling pipe, pipe2, socketpair with a pointer-to-array

  RalfJung

  committed
  7f968ba

• Auto merge of rust-lang#3840 - RalfJung:pipe-to-array, r=RalfJung

  Show description for 17659eb
  bors

  committed
  17659eb

• epoll: Add EINVAL case

  tiif

  committed
  14f22c6

• Auto merge of rust-lang#3836 - tiif:einval_ctl, r=oli-obk

  Show description for 3a9e63c
  bors

  committed
  3a9e63c

• Handle edge case for epoll_ctl

  tiif

  committed
  23f308b

• Auto merge of rust-lang#3829 - tiif:edgecase, r=oli-obk

  Show description for dbfd066
  bors

  committed
  dbfd066

• Support blocking for epoll

  tiif

  committed
  f71cdbb

• Improve comment

  Show description for e8175a4
  

  tiif

  and

  RalfJung

  committed
  e8175a4

• Pass dest place reference to epoll_wait

  tiif

  committed
  41ab4ec

• Rename event to events

  tiif

  committed
  36235b9

• Fix error in the timeout value error message

  tiif

  committed
  cd67e47

• Change timeout value

  tiif

  committed
  8f178e4

• Check if the thread is blocked before waking them up

  tiif

  committed
  7aff711

• Fix error introduced by rebase

  tiif

  committed
  a4d7564

• Remove thread_id from epoll::thread_ids after timeout

  tiif

  committed
  7e8ca57

• Make blocking_epoll_callback a private function

  tiif

  committed
  25ca855

• Add 0 preemption rate flag for blocking test and fix comment

  tiif

  committed
  7d5be06

• Add 0 preemption rate flag

  tiif

  committed
  09993ce

Commits on Aug 25, 2024

• Add test for triggering notification after timeout

  tiif

  committed
  0ed13eb

Commits on Aug 26, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  e01bc04

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  55fba66

• silence an overreaching clippy lint

  RalfJung

  committed
  9fb611c

• Auto merge of rust-lang#3844 - rust-lang:rustup-2024-08-26, r=RalfJung

  Show description for 2f13379
  bors

  committed
  2f13379

• Disable tree traversal optimization that is wrong due to lazy nodes.

  Show description for 25e5ac4
  JoJoDeveloping

  committed
  25e5ac4

Commits on Aug 27, 2024

• Auto merge of rust-lang#3827 - RalfJung:gc-comment, r=RalfJung

  Show description for eb7bf6e
  bors

  committed
  eb7bf6e

• tree_borrows test: ensure we can actually read the variable

  RalfJung

  committed
  6f8fb3c

• Auto merge of rust-lang#3849 - RalfJung:tb-test, r=RalfJung

  Show description for 9f35309
  bors

  committed
  9f35309

• Add testcase for rust-lang#3846

  JoJoDeveloping

  committed
  664640f

• Auto merge of rust-lang#3847 - JoJoDeveloping:master, r=RalfJung

  Show description for 9b82f3b
  bors

  committed
  9b82f3b

• Make TB tree traversal bottom-up

  Show description for 2765444
  JoJoDeveloping

  committed
  2765444

• Add explanation to TB's "piecewise bottom-up" traversal

  JoJoDeveloping

  committed
  5be5cec

• Auto merge of rust-lang#3843 - JoJoDeveloping:tb-bottom-up-iteration, r=RalfJung

  Show description for 4318bfe
  bors

  committed
  4318bfe

• Make Tree Borrows Provenance GC compact the tree

  Show description for e26779e
  JoJoDeveloping

  committed
  e26779e

• Auto merge of rust-lang#3804 - tiif:blockit, r=oli-obk

  Show description for 2d69baa
  bors

  committed
  2d69baa

Commits on Aug 28, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  ae3c270

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  f4f3447

• Auto merge of rust-lang#3850 - rust-lang:rustup-2024-08-28, r=RalfJung

  Show description for 3a655aa
  bors

  committed
  3a655aa

• Add test for tokio file io and mpsc

  tiif

  committed
  abcfc17

• Auto merge of rust-lang#3848 - tiif:tokiotest, r=RalfJung

  Show description for 79115f5
  bors

  committed
  79115f5

• Add benchmark for TB slowdown

  JoJoDeveloping

  committed
  e34f35e

• address nits

  JoJoDeveloping

  committed
  84134c6

• Auto merge of rust-lang#3837 - JoJoDeveloping:tb-compacting-provenance-gc, r=RalfJung

  Show description for 9ad0f65
  bors

  committed
  9ad0f65

Commits on Aug 29, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  b0c3324

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  a10633a

• fix wasm test

  RalfJung

  committed
  b5be3ab

• Auto merge of rust-lang#3851 - rust-lang:rustup-2024-08-29, r=RalfJung

  Show description for ad7a1aa
  bors

  committed
  ad7a1aa

Commits on Aug 30, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  0453d9b

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  23f4eae

• Auto merge of rust-lang#3853 - rust-lang:rustup-2024-08-30, r=saethlin

  Show description for f03c7b2
  bors

  committed
  f03c7b2