Code

Miri subtree update#131727

Code

Merged

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

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

Oct 15, 2024

Commits

Commits on Oct 5, 2024

• avoid pthread_attr_t in tests

  RalfJung

  committed
  885ec88

  Copy full SHA for 885ec88

• Auto merge of #3945 - RalfJung:pthread_attr_t, r=RalfJung

  Show description for 58e0fba
  bors

  committed
  58e0fba

  Copy full SHA for 58e0fba

• Added rust-analyzer instructions for Helix

  YohDeadfall

  committed
  35eb2da

  Copy full SHA for 35eb2da

Commits on Oct 6, 2024

• tweak the hint

  RalfJung

  committed
  6f84740

  Copy full SHA for 6f84740

• Auto merge of #3936 - YohDeadfall:rust-analyzer-conf, r=RalfJung

  Show description for c5f3c60
  bors

  committed
  c5f3c60

  Copy full SHA for c5f3c60

Commits on Oct 7, 2024

• bump rustc_tools_util version

  RalfJung

  committed
  bf2d46d

  Copy full SHA for bf2d46d

• Auto merge of #3949 - RalfJung:rustc_tools_util, r=RalfJung

  Show description for ee491b3
  bors

  committed
  ee491b3

  Copy full SHA for ee491b3

• Fix spelling in README

  JakeRoggenbuck

  committed
  0130edd

  Copy full SHA for 0130edd

Commits on Oct 8, 2024

• fix behavior of release_clock()

  RalfJung

  committed
  4e9554d

  Copy full SHA for 4e9554d

• Auto merge of #3951 - RalfJung:release-clock, r=RalfJung

  Show description for edc5c1e
  bors

  committed
  edc5c1e

  Copy full SHA for edc5c1e

Commits on Oct 9, 2024

• epoll: test case showing too much clock sync

  FrankReh

  committed
  6f854ce

  Copy full SHA for 6f854ce

• explain the review bot use

  RalfJung

  committed
  f90c97c

  Copy full SHA for f90c97c

• Auto merge of #3955 - RalfJung:review-bot, r=RalfJung

  Show description for 87058a4
  bors

  committed
  87058a4

  Copy full SHA for 87058a4

• epoll: rename blocking_epoll_callback since it is not just called after unblocking

  RalfJung

  committed
  7a9a9cb

  Copy full SHA for 7a9a9cb

• Fixed pthread_getname_np impl for glibc

  YohDeadfall

  committed
  f64c9c6

  Copy full SHA for f64c9c6

• Auto merge of #3953 - YohDeadfall:glibc-thread-name, r=RalfJung

  Show description for 8e8dd57
  bors

  committed
  8e8dd57

  Copy full SHA for 8e8dd57

• epoll: change clock to be per event

  FrankReh

  committed
  4560606

  Copy full SHA for 4560606

• Auto merge of #3946 - FrankReh:fix-over-synchronization-of-epoll, r=RalfJung

  Show description for 5cdee07
  bors

  committed
  5cdee07

  Copy full SHA for 5cdee07

• syscall/eventfd2: add failing test

  Show description for f04d1f6
  FrankReh

  committed
  f04d1f6

  Copy full SHA for f04d1f6

• syscall/eventfd2: add support

  FrankReh

  committed
  2675f14

  Copy full SHA for 2675f14

• Auto merge of #3937 - FrankReh:syscall-eventfd2, r=RalfJung

  Show description for 26ce30d
  bors

  committed
  26ce30d

  Copy full SHA for 26ce30d

Commits on Oct 10, 2024

• Auto merge of #3959 - JakeRoggenbuck:fix-spelling-in-readme, r=saethlin

  Show description for faf8c14
  bors

  committed
  faf8c14

  Copy full SHA for faf8c14

• epoll event adding: no need to join, there's no old clock here

  RalfJung

  committed
  eb76079

  Copy full SHA for eb76079

• Auto merge of #3961 - RalfJung:event-release-clock-join, r=RalfJung

  Show description for 66fda4a
  bors

  committed
  66fda4a

  Copy full SHA for 66fda4a

• Auto merge of #3956 - RalfJung:epoll-ready-list, r=RalfJung

  Show description for c7bfc44
  bors

  committed
  c7bfc44

  Copy full SHA for c7bfc44

• remove handle_unsupported_foreign_item helper

  RalfJung

  committed
  7e21dce

  Copy full SHA for 7e21dce

• remove -Zmiri-panic-on-unsupported flag

  RalfJung

  committed
  9e2688c

  Copy full SHA for 9e2688c

• Auto merge of #3950 - RalfJung:handle_unsupported_foreign_item, r=RalfJung,saethlin,oli-obk

  Show description for e58a406
  bors

  committed
  e58a406

  Copy full SHA for e58a406

• Pipe minor changes: diagnostics, flag support and comments

  

  tiif

  authored and

  RalfJung

  committed
  37698a9

  Copy full SHA for 37698a9

• add libc-pipe test to CI for freebsd, solarish

  RalfJung

  committed
  1df7a0f

  Copy full SHA for 1df7a0f

• Auto merge of #3960 - tiif:smallchange, r=RalfJung

  Show description for 256d63f
  bors

  committed
  256d63f

  Copy full SHA for 256d63f

Commits on Oct 11, 2024

• simplify Tree Borrows write-during-2phase example

  RalfJung

  committed
  ccdea3e

  Copy full SHA for ccdea3e

• Auto merge of #3964 - RalfJung:write-during-2phase, r=RalfJung

  Show description for 2eda6a4
  bors

  committed
  2eda6a4

  Copy full SHA for 2eda6a4

Commits on Oct 12, 2024

• Fixed pthread get/set name for macOS

  YohDeadfall

  committed
  56c0612

  Copy full SHA for 56c0612

• Fixed get thread name behavior for FreeBSD

  YohDeadfall

  committed
  a495a79

  Copy full SHA for a495a79

Commits on Oct 13, 2024

• rework threadname test for more consistency

  RalfJung

  committed
  b2b0d24

  Copy full SHA for b2b0d24

• Auto merge of #3957 - YohDeadfall:macos-thread-name, r=RalfJung

  Show description for 15f0242
  bors

  committed
  15f0242

  Copy full SHA for 15f0242

Commits on Oct 14, 2024

• Preparing for merge from rustc

  RalfJung

  committed
  5e6170b

  Copy full SHA for 5e6170b

• Merge from rustc

  RalfJung

  committed
  9d579f5

  Copy full SHA for 9d579f5

• clippy

  RalfJung

  committed
  543d226

  Copy full SHA for 543d226

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

  Show description for bd8f2af
  bors

  committed
  bd8f2af

  Copy full SHA for bd8f2af

• pthread_mutex: store mutex ID outside adressable memory, so it can be trusted

  RalfJung

  committed
  89323bf

  Copy full SHA for 89323bf

• pthread_rwlock: also store ID outside addressable memory

  RalfJung

  committed
  1389bb9

  Copy full SHA for 1389bb9

• pthread_cond: also store ID outside addressable memory

  RalfJung

  committed
  17f0aed

  Copy full SHA for 17f0aed

• macOS os_unfair_lock: also store ID outside addressable memory

  RalfJung

  committed
  8f342ed

  Copy full SHA for 8f342ed

• Windows InitOnce: also store ID outside addressable memory

  RalfJung

  committed
  0f7d321

  Copy full SHA for 0f7d321

• make lazy_sync_get_data also take a closure to initialize if needed

  RalfJung

  committed
  e3cfe45

  Copy full SHA for e3cfe45

• turns out relaxed accesses suffice here

  RalfJung

  committed
  9265a6e

  Copy full SHA for 9265a6e

• pick more clear names for the types

  RalfJung

  committed
  ba95d52

  Copy full SHA for ba95d52

• Auto merge of #3966 - RalfJung:dont-trust-the-user, r=RalfJung

  Show description for d183660
  bors

  committed
  d183660

  Copy full SHA for d183660

• Avoid some needless monomorphizations

  oli-obk

  committed
  1412993

  Copy full SHA for 1412993

• Auto merge of #3972 - rust-lang:eager_dyn, r=RalfJung

  Show description for d3c1036
  bors

  committed
  d3c1036

  Copy full SHA for d3c1036

• Added a variadic argument helper

  YohDeadfall

  committed
  64259a7

  Copy full SHA for 64259a7

• add test ensuring a moved mutex deadlocks

  RalfJung

  committed
  af98424

  Copy full SHA for af98424

• Auto merge of #3968 - YohDeadfall:variadic-arg-helper, r=RalfJung

  Show description for 2b020bf
  bors

  committed
  2b020bf

  Copy full SHA for 2b020bf

• move lazy_sync helper methods to be with InterpCx

  RalfJung

  committed
  4e14ad6

  Copy full SHA for 4e14ad6

• ensure that a macOS os_unfair_lock that is moved while being held is not implicitly unlocked

  RalfJung

  committed
  a802fd9

  Copy full SHA for a802fd9

• Auto merge of #3973 - RalfJung:os-unfair-lock, r=RalfJung

  Show description for b7c06b4
  bors

  committed
  b7c06b4

  Copy full SHA for b7c06b4

• use new check_min_arg_count helper in more places

  RalfJung

  committed
  413ea99

  Copy full SHA for 413ea99

• Auto merge of #3974 - RalfJung:check_min_arg_count, r=RalfJung

  Show description for eb5ca5f
  bors

  committed
  eb5ca5f

  Copy full SHA for eb5ca5f

Commits on Oct 15, 2024

• update lockfile

  RalfJung

  committed
  1f501a7

  Copy full SHA for 1f501a7