Code

Miri subtree update#124727

Code

Merged

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

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

May 5, 2024

Commits

Commits on Apr 27, 2024

• josh rustc-pull: check that no new root commits get created

  RalfJung

  committed
  2681edf

  Copy full SHA for 2681edf

• fix: usage of `deprecated` version of `Node.js`

  hamirmahal

  committed
  39f7a46

  Copy full SHA for 39f7a46

• Auto merge of #3519 - hamirmahal:fix/usage-of-deprecated-version-of-nodejs, r=RalfJung

  Show description for f5ceb4e
  bors

  committed
  f5ceb4e

  Copy full SHA for f5ceb4e

• Auto merge of #3520 - RalfJung:josh-check, r=RalfJung

  Show description for 45d9394
  bors

  committed
  45d9394

  Copy full SHA for 45d9394

• Add doc comment to `pack_generic`

  eduardosm

  committed
  ee47a8e

  Copy full SHA for ee47a8e

• Clarify behavior of AVX2 gather when dest and offsets have different numbers of elements

  eduardosm

  committed
  b3b1b49

  Copy full SHA for b3b1b49

• Do not implement x86 SIMD abs with host integers

  eduardosm

  committed
  b261535

  Copy full SHA for b261535

Commits on Apr 28, 2024

• Auto merge of #3521 - eduardosm:avx2-2, r=RalfJung

  Show description for 5c6f95c
  bors

  committed
  5c6f95c

  Copy full SHA for 5c6f95c

• file descriptors: make write take &mut self

  RalfJung

  committed
  b5482aa

  Copy full SHA for b5482aa

• Auto merge of #3524 - RalfJung:fd-write, r=RalfJung

  Show description for bc8ea93
  bors

  committed
  bc8ea93

  Copy full SHA for bc8ea93

• Use the interpreted program's TZ variable in localtime_r

  saethlin

  committed
  622f697

  Copy full SHA for 622f697

• Refactor UnixEnvVars::get so that it can be reused by getenv

  saethlin

  committed
  9bed19e

  Copy full SHA for 9bed19e

Commits on Apr 29, 2024

• don't leak UnixEnvVars impl details into get_env_var

  RalfJung

  committed
  7afef08

  Copy full SHA for 7afef08

• Auto merge of #3523 - saethlin:localtime_r-env, r=RalfJung

  Show description for 1c7e827
  bors

  committed
  1c7e827

  Copy full SHA for 1c7e827

Commits on May 1, 2024

• Don’t print `Preparing a sysroot` when `-q`/`--quiet` is passed

  narpfel

  committed
  1cf951e

  Copy full SHA for 1cf951e

• fix usage example for `--print-sysroot`

  narpfel

  committed
  4b42626

  Copy full SHA for 4b42626

• no longer strip `Preparing a sysroot` message from test output

  narpfel

  committed
  a2b3211

  Copy full SHA for a2b3211

• Auto merge of #3531 - narpfel:quiet-sysroot, r=RalfJung

  Show description for b0bdbcc
  bors

  committed
  b0bdbcc

  Copy full SHA for b0bdbcc

Commits on May 2, 2024

• Tree Borrows: first apply transition, then check protector with new 'initialized'

  RalfJung

  committed
  aa986f0

  Copy full SHA for aa986f0

• Auto merge of #3532 - RalfJung:tb-protectors, r=RalfJung

  Show description for ca3defe
  bors

  committed
  ca3defe

  Copy full SHA for ca3defe

• update host-float comments

  RalfJung

  committed
  36caaa9

  Copy full SHA for 36caaa9

• Auto merge of #3535 - RalfJung:host-float, r=RalfJung

  Show description for f6c0090
  bors

  committed
  f6c0090

  Copy full SHA for f6c0090

• Add assign

  tiif

  committed
  56bb517

  Copy full SHA for 56bb517

Commits on May 3, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  aeef180

  Copy full SHA for aeef180

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  3e2164f

  Copy full SHA for 3e2164f

• update comments and URL

  RalfJung

  authored
  b348e41

  Copy full SHA for b348e41

• Auto merge of #3536 - tiif:add_rustbot_feat, r=RalfJung

  Show description for 3c6d194
  bors

  committed
  3c6d194

  Copy full SHA for 3c6d194

• update lockfile

  RalfJung

  committed
  4af1ba0

  Copy full SHA for 4af1ba0

• Auto merge of #3537 - rust-lang:rustup-2024-05-03, r=RalfJung

  Show description for 5ce8532
  bors

  committed
  5ce8532

  Copy full SHA for 5ce8532

• run clippy on a Windows host

  RalfJung

  committed
  03589bf

  Copy full SHA for 03589bf

• Auto merge of #3542 - RalfJung:clippy-win, r=RalfJung

  Show description for 8a31014
  bors

  committed
  8a31014

  Copy full SHA for 8a31014

• Preparing for merge from rustc

  RalfJung

  committed
  0de07d8

  Copy full SHA for 0de07d8

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

  Show description for dcf956c
  bors

  committed
  dcf956c

  Copy full SHA for dcf956c

• ./miri run: support -v flag to print what it is doing

  RalfJung

  committed
  eaf30ce

  Copy full SHA for eaf30ce

• Auto merge of #3545 - RalfJung:miri-run, r=RalfJung

  Show description for 692b769
  bors

  committed
  692b769

  Copy full SHA for 692b769

• CI: no need to surround if: condition in expansion braces

  RalfJung

  committed
  aa71f9b

  Copy full SHA for aa71f9b

• Auto merge of #3547 - RalfJung:ci, r=RalfJung

  Show description for 74701dc
  bors

  committed
  74701dc

  Copy full SHA for 74701dc

Commits on May 4, 2024

• make many-seeds a mode of ./miri run rather than a separate command

  RalfJung

  committed
  6ce00aa

  Copy full SHA for 6ce00aa

• remove a hack that is no longer needed

  RalfJung

  committed
  f7a3aa9

  Copy full SHA for f7a3aa9

• Auto merge of #3548 - RalfJung:many-seeds, r=RalfJung

  Show description for 38715f7
  bors

  committed
  38715f7

  Copy full SHA for 38715f7

• tls dtors: treat all unixes uniformly

  RalfJung

  committed
  6559342

  Copy full SHA for 6559342

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

  Show description for 82456b4
  bors

  committed
  82456b4

  Copy full SHA for 82456b4

• macos: use getentropy from libc

  RalfJung

  committed
  07a517a

  Copy full SHA for 07a517a

• Auto merge of #3551 - RalfJung:getentropy, r=RalfJung

  Show description for 705d48c
  bors

  committed
  705d48c

  Copy full SHA for 705d48c

• Make file descriptors into refcount references

  Show description for 459c6ce
  

  Luv-Ray

  and

  RalfJung

  committed
  459c6ce

  Copy full SHA for 459c6ce

• speed up Windows runner: don't run GC_STRESS test

  RalfJung

  committed
  d130eaa

  Copy full SHA for d130eaa

• show time taken in run_tests_minimal

  RalfJung

  committed
  502ed49

  Copy full SHA for 502ed49

• Auto merge of #3533 - Luv-Ray:file-descriptors-to-refcount-references, r=RalfJung

  Show description for 7b57f12
  bors

  committed
  7b57f12

  Copy full SHA for 7b57f12

• move available-parallelism tests into shims/ folder

  RalfJung

  committed
  be874a4

  Copy full SHA for be874a4

• rename integer test

  RalfJung

  committed
  57ff16b

  Copy full SHA for 57ff16b

• move intrinsics implementations and tests into dedicated folder

  Show description for 3046dbe
  RalfJung

  committed
  3046dbe

  Copy full SHA for 3046dbe

• fix grouping of target-specific LLVM shims

  RalfJung

  committed
  a4355bb

  Copy full SHA for a4355bb

• move some minimal targets over to the macOS runner, to even out CI times

  RalfJung

  committed
  52bf84f

  Copy full SHA for 52bf84f

• Auto merge of #3556 - RalfJung:intrinsics, r=RalfJung

  Show description for 9d4eea1
  bors

  committed
  9d4eea1

  Copy full SHA for 9d4eea1

• Auto merge of #3552 - RalfJung:ci, r=RalfJung

  Show description for 49cd705
  bors

  committed
  49cd705

  Copy full SHA for 49cd705

• Revert "moving out sched_getaffinity interception from linux'shim, FreeBSD supporting it too."

  Show description for e1c3d67
  RalfJung

  committed
  e1c3d67

  Copy full SHA for e1c3d67

• update 'unsupported' message

  RalfJung

  committed
  8b4b259

  Copy full SHA for 8b4b259

• freebsd: test std threadname and fs APIs

  Show description for 6df585a
  RalfJung

  committed
  6df585a

  Copy full SHA for 6df585a

• document unofficially supported OSes

  RalfJung

  committed
  38598e6

  Copy full SHA for 38598e6

• make some tests not need output (so they work on wasm)

  RalfJung

  committed
  05e7850

  Copy full SHA for 05e7850

• Auto merge of #3558 - RalfJung:unsupported, r=RalfJung

  Show description for fd15dc3
  bors

  committed
  fd15dc3

  Copy full SHA for fd15dc3

• Auto merge of #3554 - RalfJung:freebsd, r=RalfJung

  Show description for 3a6faee
  bors

  committed
  3a6faee

  Copy full SHA for 3a6faee

• add helper function to declare an extern static for a weak symbol

  RalfJung

  committed
  823e31d

  Copy full SHA for 823e31d

• make statx a regular function (so we don't need to support the syscall)

  RalfJung

  committed
  19aa8a0

  Copy full SHA for 19aa8a0

• Auto merge of #3559 - RalfJung:weak-extern-static, r=RalfJung

  Show description for 37537d1
  bors

  committed
  37537d1

  Copy full SHA for 37537d1

• sync: better error in invalid synchronization primitive ID

  RalfJung

  committed
  98bb8ac

  Copy full SHA for 98bb8ac

• factor some pthread offset into constants

  RalfJung

  committed
  86d7dff

  Copy full SHA for 86d7dff

• also test pthread_condattr_getclock

  RalfJung

  committed
  9503c41

  Copy full SHA for 9503c41

• Auto merge of #3560 - RalfJung:sync-check-id, r=RalfJung

  Show description for c3f2701
  bors

  committed
  c3f2701

  Copy full SHA for c3f2701

• Preparing for merge from rustc

  RalfJung

  committed
  adb74ae

  Copy full SHA for adb74ae

• Merge from rustc

  RalfJung

  committed
  0c98929

  Copy full SHA for 0c98929

• bless and fmt

  RalfJung

  committed
  c6e273c

  Copy full SHA for c6e273c

• remove some dead code

  RalfJung

  committed
  a040df7

  Copy full SHA for a040df7

• Auto merge of #3557 - RalfJung:getaffinity, r=RalfJung

  Show description for 7eda989
  bors

  committed
  7eda989

  Copy full SHA for 7eda989

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

  Show description for d0e7772
  bors

  committed
  d0e7772

  Copy full SHA for d0e7772

• only show the 'basic API common for this target' message when this is a missing foreign function

  RalfJung

  committed
  cdf3f3c

  Copy full SHA for cdf3f3c

• Auto merge of #3562 - RalfJung:unsupported, r=RalfJung

  Show description for 82a8059
  bors

  committed
  82a8059

  Copy full SHA for 82a8059

• Preparing for merge from rustc

  RalfJung

  committed
  89e8288

  Copy full SHA for 89e8288

• Merge from rustc

  RalfJung

  committed
  8db37a3

  Copy full SHA for 8db37a3

• rustc_pull: explain order of operations

  RalfJung

  committed
  ef5a574

  Copy full SHA for ef5a574

• fix/extend some comments

  RalfJung

  committed
  85e061a

  Copy full SHA for 85e061a

• make ExitProcess Windows-only

  RalfJung

  committed
  745e3f2

  Copy full SHA for 745e3f2

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

  Show description for e3fe30d
  bors

  committed
  e3fe30d

  Copy full SHA for e3fe30d

• update lockfile

  RalfJung

  committed
  b5051c5

  Copy full SHA for b5051c5