Code

Miri subtree update#124368

Code

Merged

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

RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboard

Apr 25, 2024

Commits

Commits on Apr 20, 2024

• global allocations: don't make up a super-high VectorIdx, just use the main thread

  RalfJung

  committed
  465dcf1

  Copy full SHA for 465dcf1

• more consistently talk about the 'active thread', not the 'current thread'

  RalfJung

  committed
  b562faa

  Copy full SHA for b562faa

• Auto merge of #3496 - RalfJung:thread-vector-idx, r=RalfJung

  Show description for bc1538d
  bors

  committed
  bc1538d

  Copy full SHA for bc1538d

Commits on Apr 21, 2024

• Add `-Zmiri-env-set` to set environment variables without modifying the host environment

  Show description for 9b9c548
  eduardosm

  committed
  9b9c548

  Copy full SHA for 9b9c548

Commits on Apr 22, 2024

• Add localtime_r shim

  tiif

  committed
  fde24ed

  Copy full SHA for fde24ed

• Auto merge of #3461 - tiif:add_localtime_r_shim, r=RalfJung

  Show description for 2ca5524
  bors

  committed
  2ca5524

  Copy full SHA for 2ca5524

Commits on Apr 23, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  fb2396c

  Copy full SHA for fb2396c

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  cc1bf5e

  Copy full SHA for cc1bf5e

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

  Show description for 9120dc2
  bors

  committed
  9120dc2

  Copy full SHA for 9120dc2

• Missing word at the end of sentence

  oli-obk

  authored
  4bcd5af

  Copy full SHA for 4bcd5af

• Auto merge of #3493 - eduardosm:env-set, r=oli-obk

  Show description for 3b5d663
  bors

  committed
  3b5d663

  Copy full SHA for 3b5d663

• chore: fix some typos in comments

  Show description for 15a1b0d
  forcedebug

  committed
  15a1b0d

  Copy full SHA for 15a1b0d

• add Windows TLS bug to trophy case

  RalfJung

  committed
  ed36dde

  Copy full SHA for ed36dde

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

  Show description for 579940c
  bors

  committed
  579940c

  Copy full SHA for 579940c

• Auto merge of #3504 - forcedebug:master, r=RalfJung

  Show description for 26faaa3
  bors

  committed
  26faaa3

  Copy full SHA for 26faaa3

• CI: don't run cron-fail-notify when the job just got canceled

  Show description for 5d1654a
  RalfJung

  committed
  5d1654a

  Copy full SHA for 5d1654a

• Implement LLVM x86 AVX2 intrinsics

  eduardosm

  committed
  799a4de

  Copy full SHA for 799a4de

• Configure clippy not to generate warnings about arithmetic operations on `rustc_target::abi::Size`

  eduardosm

  committed
  ed15716

  Copy full SHA for ed15716

• Fix wording in shift functions doc comments

  eduardosm

  committed
  4dbc4f8

  Copy full SHA for 4dbc4f8

Commits on Apr 24, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  b3affd3

  Copy full SHA for b3affd3

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  7e96835

  Copy full SHA for 7e96835

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

  Show description for a3fddf2
  bors

  committed
  a3fddf2

  Copy full SHA for a3fddf2

• windows: basic support for GetUserProfileDirectoryW

  RalfJung

  committed
  342943b

  Copy full SHA for 342943b

• windows buffer size protocol: turns out std resets last_error to 0; let's require that in general

  RalfJung

  committed
  00acfab

  Copy full SHA for 00acfab

• make the obsucre truncating variant of this.write_os_str_to_wide_str a non-default function

  RalfJung

  committed
  ccb43b6

  Copy full SHA for ccb43b6

• avoid some unnecessary Scalar-i32-Scalar roundtrips

  RalfJung

  committed
  ccb87f1

  Copy full SHA for ccb87f1

• Auto merge of #3502 - RalfJung:GetUserProfileDirectoryW, r=RalfJung

  Show description for 6c34d46
  bors

  committed
  6c34d46

  Copy full SHA for 6c34d46

• avoid 'let _' in tests where we actually want the value to be computed

  RalfJung

  committed
  193b37d

  Copy full SHA for 193b37d

• Auto merge of #3507 - RalfJung:let-underscore, r=RalfJung

  Show description for bd6766f
  bors

  committed
  bd6766f

  Copy full SHA for bd6766f

• Auto merge of #3492 - eduardosm:intrinsics-x86-avx2, r=oli-obk

  Show description for c1073fb
  bors

  committed
  c1073fb

  Copy full SHA for c1073fb

• unix_sigpipe: don't inline DEFAULT, just use it from rustc

  RalfJung

  committed
  aa19679

  Copy full SHA for aa19679

• Auto merge of #3510 - RalfJung:sigpipe-default, r=RalfJung

  Show description for f3dfaa7
  bors

  committed
  f3dfaa7

  Copy full SHA for f3dfaa7

• Upgrade to `actions/checkout@v4` in `ci.yml`.

  Show description for 8b0ab42
  obi1kenobi

  authored
  8b0ab42

  Copy full SHA for 8b0ab42

• Auto merge of #3511 - obi1kenobi:patch-1, r=RalfJung

  Show description for 246ba3b
  bors

  committed
  246ba3b

  Copy full SHA for 246ba3b

• make miri-script a workspace root

  RalfJung

  committed
  8c24fe1

  Copy full SHA for 8c24fe1

Commits on Apr 25, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  bed7caf

  Copy full SHA for bed7caf

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  ff6fc75

  Copy full SHA for ff6fc75

• fmt

  

  The Miri Cronjob Bot

  committed
  258e504

  Copy full SHA for 258e504

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

  Show description for c69c79d
  bors

  committed
  c69c79d

  Copy full SHA for c69c79d

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

  Show description for 9d7a47f
  bors

  committed
  9d7a47f

  Copy full SHA for 9d7a47f

• Auto merge of #3512 - RalfJung:miri-script-build, r=RalfJung

  Show description for e22a73c
  bors

  committed
  e22a73c

  Copy full SHA for e22a73c

• weak memory outdated loads: show where the load was from

  RalfJung

  committed
  f38dba6

  Copy full SHA for f38dba6

• add a test for the TLS memory leak

  RalfJung

  committed
  ea9cff2

  Copy full SHA for ea9cff2

• run many-seeds tests at least a few times on all tier 1 targets

  RalfJung

  committed
  247e82c

  Copy full SHA for 247e82c

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

  Show description for 9713294
  bors

  committed
  9713294

  Copy full SHA for 9713294

• CI: run benches with hyperfine rather than bash

  RalfJung

  committed
  505e4dd

  Copy full SHA for 505e4dd

• Auto merge of #3514 - RalfJung:hyperfine, r=RalfJung

  Show description for d93f9ae
  bors

  committed
  d93f9ae

  Copy full SHA for d93f9ae

• update lockfile

  RalfJung

  committed
  9f7194b

  Copy full SHA for 9f7194b