Code

Miri subtree update#129230

Code

Merged

bors merged 85 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-syncRalfJung/rust:miri-syncCopy head branch name to clipboard

Aug 18, 2024

Commits

Commits on Jul 24, 2024

• Make unused states of Reserved unrepresentable

  Vanille-N

  committed
  2c166f4

  Copy full SHA for 2c166f4

Commits on Aug 6, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  2431949

  Copy full SHA for 2431949

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  ac3e349

  Copy full SHA for ac3e349

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

  Show description for 5b2cdc1
  bors

  committed
  5b2cdc1

  Copy full SHA for 5b2cdc1

• add return-place-protection tail-call test, and fix previous test

  RalfJung

  committed
  7d066c4

  Copy full SHA for 7d066c4

• Auto merge of #3792 - RalfJung:test-typo, r=RalfJung

  Show description for c755314
  bors

  committed
  c755314

  Copy full SHA for c755314

Commits on Aug 7, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  0475bdd

  Copy full SHA for 0475bdd

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  630ad88

  Copy full SHA for 630ad88

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

  Show description for 384f858
  bors

  committed
  384f858

  Copy full SHA for 384f858

• remove some SSE/SSE2 intrinsics that are no longer used by stdarch

  RalfJung

  committed
  deeccf9

  Copy full SHA for deeccf9

• Auto merge of #3747 - RalfJung:sse-cleanup, r=RalfJung

  Show description for 2f405eb
  bors

  committed
  2f405eb

  Copy full SHA for 2f405eb

• allow all code to call getuid()

  RalfJung

  committed
  d480954

  Copy full SHA for d480954

• Auto merge of #3794 - RalfJung:getuid, r=RalfJung

  Show description for dc9f4e8
  bors

  committed
  dc9f4e8

  Copy full SHA for dc9f4e8

Commits on Aug 9, 2024

• Don't panic on `miri_print_borrow_state()` under `-Zmiri-disable-stacked-borrows`.

  zachs18

  committed
  21f9175

  Copy full SHA for 21f9175

• throw_unsup_format for alignment greater than 2^29 and refactor non-power-of-two alignment check

  tiif

  committed
  6552a82

  Copy full SHA for 6552a82

• miri_print_borrow_state: show error when AllocId is invalid

  RalfJung

  committed
  dc54f1d

  Copy full SHA for dc54f1d

• Auto merge of #3797 - zachs18:no-borrow-no-panic, r=RalfJung

  Show description for d36e157
  bors

  committed
  d36e157

  Copy full SHA for d36e157

Commits on Aug 10, 2024

• Auto merge of #3795 - tiif:ice-layout-limit, r=RalfJung

  Show description for bb04eab
  bors

  committed
  bb04eab

  Copy full SHA for bb04eab

• miri-script: use --remap-path-prefix to print errors relative to the right root

  RalfJung

  committed
  f7c938a

  Copy full SHA for f7c938a

• update suggested RA config; the './miri cargo' command is not needed any more

  RalfJung

  committed
  d2e0970

  Copy full SHA for d2e0970

• add './miri doc' command

  RalfJung

  committed
  118be41

  Copy full SHA for 118be41

• miri-script: pass around the relative crate dir, not the absolute path to the toml file

  RalfJung

  committed
  8197f07

  Copy full SHA for 8197f07

• CI: we now need the nightly toolchain as well

  RalfJung

  committed
  feab324

  Copy full SHA for feab324

• josh: wait until the socket is ready

  RalfJung

  committed
  1156d58

  Copy full SHA for 1156d58

• Auto merge of #3799 - RalfJung:josh-wait, r=RalfJung

  Show description for 3456432
  bors

  committed
  3456432

  Copy full SHA for 3456432

Commits on Aug 12, 2024

• josh-proxy: fix wait-for-josh logic

  RalfJung

  committed
  2b83935

  Copy full SHA for 2b83935

• Preparing for merge from rustc

  RalfJung

  committed
  3652011

  Copy full SHA for 3652011

• Merge from rustc

  RalfJung

  committed
  c0c6f28

  Copy full SHA for c0c6f28

• clippy fix

  RalfJung

  committed
  7383401

  Copy full SHA for 7383401

• fix tree borrows Unique test

  RalfJung

  committed
  14f9284

  Copy full SHA for 14f9284

• Auto merge of #3801 - RalfJung:rustup, r=RalfJung

  Show description for a25ec22
  bors

  committed
  a25ec22

  Copy full SHA for a25ec22

• Auto merge of #3798 - RalfJung:miri-script-remap-path-prefix, r=saethlin

  Show description for dd600ef
  bors

  committed
  dd600ef

  Copy full SHA for dd600ef

Commits on Aug 13, 2024

• borrow_tracker: update comments regarding protectors

  RalfJung

  committed
  10cb5aa

  Copy full SHA for 10cb5aa

• remove the concept of a Call ID

  RalfJung

  committed
  7db942b

  Copy full SHA for 7db942b

• Auto merge of #3802 - RalfJung:no-more-call-id, r=RalfJung

  Show description for 6ff09af
  bors

  committed
  6ff09af

  Copy full SHA for 6ff09af

Commits on Aug 14, 2024

• Preparing for merge from rustc

  RalfJung

  committed
  ef91e65

  Copy full SHA for ef91e65

• Merge from rustc

  RalfJung

  committed
  b65cdff

  Copy full SHA for b65cdff

• fmt

  RalfJung

  committed
  c964938

  Copy full SHA for c964938

• CI: need nightly toolchain for auto-rustup PR

  RalfJung

  committed
  db3f921

  Copy full SHA for db3f921

• Auto merge of #3803 - RalfJung:rustup, r=RalfJung

  Show description for f25ca7e
  bors

  committed
  f25ca7e

  Copy full SHA for f25ca7e

• Implement epoll shim

  tiif

  committed
  607c4f5

  Copy full SHA for 607c4f5

• Auto merge of #3712 - tiif:feat/epoll, r=oli-obk

  Show description for 86783be
  bors

  committed
  86783be

  Copy full SHA for 86783be

Commits on Aug 15, 2024

• add 'project' process guidlines for larger contributions

  RalfJung

  committed
  293be46

  Copy full SHA for 293be46

Commits on Aug 16, 2024

• FD: remove big surrounding RefCell, simplify socketpair

  RalfJung

  committed
  17cfbc6

  Copy full SHA for 17cfbc6

• buf_has_writer is not needed any more

  RalfJung

  committed
  82c39ff

  Copy full SHA for 82c39ff

• make ecx.check_and_update_readiness a truly private helper function

  RalfJung

  committed
  34aec7c

  Copy full SHA for 34aec7c

• epoll test cleanup

  RalfJung

  committed
  b4ab820

  Copy full SHA for b4ab820

• comment and test regarding notifications on writes that dont change readiness

  RalfJung

  committed
  edd1efb

  Copy full SHA for edd1efb

• more epoll test cleanup

  RalfJung

  committed
  9184eb5

  Copy full SHA for 9184eb5

• explain the behavior on closed peers

  RalfJung

  committed
  883e477

  Copy full SHA for 883e477

• Auto merge of #3754 - Vanille-N:master, r=RalfJung

  Show description for 1a51dd9
  bors

  committed
  1a51dd9

  Copy full SHA for 1a51dd9

• Auto merge of #3809 - RalfJung:fd-refcell, r=oli-obk

  Show description for 83f1b38
  bors

  committed
  83f1b38

  Copy full SHA for 83f1b38

• Add epoll EPOLLHUP flag support

  tiif

  committed
  0951107

  Copy full SHA for 0951107

Commits on Aug 17, 2024

• Move epoll_ready_events.epollhup = true up

  tiif

  committed
  f9a7d6e

  Copy full SHA for f9a7d6e

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  23b57e8

  Copy full SHA for 23b57e8

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  dc0faec

  Copy full SHA for dc0faec

• Auto merge of #3807 - RalfJung:projects, r=oli-obk

  Show description for 94e57fc
  bors

  committed
  94e57fc

  Copy full SHA for 94e57fc

• extend comments on HUP vs RDHUP

  RalfJung

  authored
  cab81d3

  Copy full SHA for cab81d3

• Auto merge of #3814 - tiif:epollhup, r=RalfJung

  Show description for 78dfb8a
  bors

  committed
  78dfb8a

  Copy full SHA for 78dfb8a

• implement pipe and pipe2

  RalfJung

  committed
  99d742e

  Copy full SHA for 99d742e

• socketpair: test behavior when one end got closed

  RalfJung

  committed
  5402be8

  Copy full SHA for 5402be8

• test cleanup

  RalfJung

  committed
  5d59bde

  Copy full SHA for 5d59bde

• SocketPair -> AnonSocket, because a single FD is not a pair

  RalfJung

  committed
  02a1166

  Copy full SHA for 02a1166

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

  Show description for db9a97f
  bors

  committed
  db9a97f

  Copy full SHA for db9a97f

• epoll test: further clean up check_epoll_wait

  RalfJung

  committed
  465df56

  Copy full SHA for 465df56

• Auto merge of #3815 - RalfJung:pipe, r=RalfJung

  Show description for a4222b9
  bors

  committed
  a4222b9

  Copy full SHA for a4222b9

• Auto merge of #3819 - RalfJung:epoll-test, r=RalfJung

  Show description for 0058752
  bors

  committed
  0058752

  Copy full SHA for 0058752

• tls_leak_main_thread_allowed: make test check target_thread_local

  RalfJung

  committed
  34e8245

  Copy full SHA for 34e8245

• run TLS tests on Solarish

  RalfJung

  committed
  bd4ef64

  Copy full SHA for bd4ef64

• Auto merge of #3822 - RalfJung:tls, r=RalfJung

  Show description for 3e698d0
  bors

  committed
  3e698d0

  Copy full SHA for 3e698d0

• simplify synchronization object creation logic

  RalfJung

  committed
  7c81120

  Copy full SHA for 7c81120

• Auto merge of #3823 - RalfJung:sync, r=RalfJung

  Show description for 6ac5bbb
  bors

  committed
  6ac5bbb

  Copy full SHA for 6ac5bbb

• Apply test fix

  Show description for 56eee8e
  tiif

  committed
  56eee8e

  Copy full SHA for 56eee8e

• Auto merge of #3813 - tiif:epollfix, r=RalfJung

  Show description for 8821108
  bors

  committed
  8821108

  Copy full SHA for 8821108

Commits on Aug 18, 2024

• Set EINVAL for epoll_wait maxevent value 0

  tiif

  committed
  c0e799d

  Copy full SHA for c0e799d

• Move the maxevents.try_into().unwrap() after value check

  tiif

  committed
  8ae118d

  Copy full SHA for 8ae118d

• make sure we read all arguments before returning early

  RalfJung

  committed
  f918de8

  Copy full SHA for f918de8

• Auto merge of #3824 - tiif:maxeventeinval, r=RalfJung

  Show description for aea3cfd
  bors

  committed
  aea3cfd

  Copy full SHA for aea3cfd

• epoll test_socketpair_read: explicitly check real and Miri behavior

  RalfJung

  committed
  e614d7d

  Copy full SHA for e614d7d

• Auto merge of #3825 - RalfJung:epoll-miri, r=RalfJung

  Show description for 8f2768b
  bors

  committed
  8f2768b

  Copy full SHA for 8f2768b

• epoll: iterate through output buffer then fetch an event from ready list

  tiif

  committed
  6702f15

  Copy full SHA for 6702f15

• Auto merge of #3818 - tiif:loseevents, r=RalfJung

  Show description for 9370020
  bors

  committed
  9370020

  Copy full SHA for 9370020

• Add EPOLLER support

  tiif

  committed
  483120d

  Copy full SHA for 483120d

• Auto merge of #3820 - tiif:epoller, r=RalfJung

  Show description for c74ffd8
  bors

  committed
  c74ffd8

  Copy full SHA for c74ffd8

• fix build with bootstrap compiler

  RalfJung

  committed
  0708b28

  Copy full SHA for 0708b28