Code

Miri subtree update#124193

Code

Merged

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

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

Apr 21, 2024

Commits

Commits on Apr 16, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  20f4182

  Copy full SHA for 20f4182

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  a1f523d

  Copy full SHA for a1f523d

• bless test-cargo-miri

  RalfJung

  committed
  3d3a584

  Copy full SHA for 3d3a584

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

  Show description for 88d1a1c
  bors

  committed
  88d1a1c

  Copy full SHA for 88d1a1c

• threads: keep track of why we are blocked, and sanity-check that when waking up

  RalfJung

  committed
  3d5aceb

  Copy full SHA for 3d5aceb

• Auto merge of #3471 - RalfJung:blocked, r=RalfJung

  Show description for 1129fac
  bors

  committed
  1129fac

  Copy full SHA for 1129fac

• deadlock: show backtrace for all threads

  RalfJung

  committed
  811d4de

  Copy full SHA for 811d4de

• Auto merge of #3472 - RalfJung:deadlock, r=RalfJung

  Show description for fee494b
  bors

  committed
  fee494b

  Copy full SHA for fee494b

• no_std works on Windows now

  RalfJung

  committed
  a7db628

  Copy full SHA for a7db628

• Auto merge of #3477 - RalfJung:win-no-std, r=RalfJung

  Show description for 7197990
  bors

  committed
  7197990

  Copy full SHA for 7197990

• implement support for __rust_alloc_error_handler

  RalfJung

  committed
  f325c8d

  Copy full SHA for f325c8d

• Auto merge of #3478 - RalfJung:alloc_error_handler, r=RalfJung

  Show description for 8ad72b2
  bors

  committed
  8ad72b2

  Copy full SHA for 8ad72b2

Commits on Apr 17, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  af28716

  Copy full SHA for af28716

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  e873988

  Copy full SHA for e873988

• fmt

  

  The Miri Cronjob Bot

  committed
  2cb03ef

  Copy full SHA for 2cb03ef

• alloc_error_handler tests: directly call handle_alloc_error; test more codepaths

  RalfJung

  committed
  d10f613

  Copy full SHA for d10f613

• tests/utils: add fmt::Write implementations for miri's native stdout/stderr

  RalfJung

  committed
  d7f79cc

  Copy full SHA for d7f79cc

• no need to use miri's native stderr here

  RalfJung

  committed
  9f156d3

  Copy full SHA for 9f156d3

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

  Show description for 14701ef
  bors

  committed
  14701ef

  Copy full SHA for 14701ef

• Auto merge of #3480 - RalfJung:alloc_error_handler, r=RalfJung

  Show description for 9776f64
  bors

  committed
  9776f64

  Copy full SHA for 9776f64

• Preparing for merge from rustc

  RalfJung

  committed
  6a108a7

  Copy full SHA for 6a108a7

• Merge from rustc

  RalfJung

  committed
  3d3550f

  Copy full SHA for 3d3550f

• fmt

  RalfJung

  committed
  7c3c271

  Copy full SHA for 7c3c271

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

  Show description for d261b53
  bors

  committed
  d261b53

  Copy full SHA for d261b53

Commits on Apr 18, 2024

• add test for Drop terminator on non-drop type

  RalfJung

  committed
  5c352a4

  Copy full SHA for 5c352a4

• Auto merge of #3483 - RalfJung:drop, r=RalfJung

  Show description for 0f44382
  bors

  committed
  0f44382

  Copy full SHA for 0f44382

• move read_byte_slice to general helpers file, next to read_c_str

  RalfJung

  committed
  62e84d5

  Copy full SHA for 62e84d5

• Auto merge of #3485 - RalfJung:read_byte_slice, r=RalfJung

  Show description for 5697f73
  bors

  committed
  5697f73

  Copy full SHA for 5697f73

• add test checking that we do run MIR validation

  RalfJung

  committed
  5ef38ac

  Copy full SHA for 5ef38ac

• Auto merge of #3486 - RalfJung:mir-validate, r=RalfJung

  Show description for 5c9924a
  bors

  committed
  5c9924a

  Copy full SHA for 5c9924a

• make realloc with a size of zero fail

  RalfJung

  committed
  73e333a

  Copy full SHA for 73e333a

• move allocator shim logic into its own file

  RalfJung

  committed
  5ff9b2b

  Copy full SHA for 5ff9b2b

• Auto merge of #3484 - RalfJung:realloc, r=RalfJung

  Show description for 1ce64e7
  bors

  committed
  1ce64e7

  Copy full SHA for 1ce64e7

• when an address gets reused, establish a happens-before link in the data race model

  RalfJung

  committed
  48fd549

  Copy full SHA for 48fd549

• do not reuse stack addresses; make reuse rate configurable

  RalfJung

  committed
  d7916fc

  Copy full SHA for d7916fc

• comment clarification and typo fix

  RalfJung

  committed
  5067dd2

  Copy full SHA for 5067dd2

• Auto merge of #3488 - RalfJung:os_str_comment, r=RalfJung

  Show description for 39f0c4f
  bors

  committed
  39f0c4f

  Copy full SHA for 39f0c4f

• when reusing an address, most of the time only reuse from the current thread

  RalfJung

  committed
  9b419a1

  Copy full SHA for 9b419a1

Commits on Apr 19, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  c1cf0a3

  Copy full SHA for c1cf0a3

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  d0783e8

  Copy full SHA for d0783e8

• share code between win-to-unix and unix-to-win path conversion

  RalfJung

  committed
  b9ed4cd

  Copy full SHA for b9ed4cd

• Auto merge of #3490 - RalfJung:paths, r=RalfJung

  Show description for 134ee30
  bors

  committed
  134ee30

  Copy full SHA for 134ee30

• make test not leak rustc crate hash

  RalfJung

  committed
  fecd7fc

  Copy full SHA for fecd7fc

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

  Show description for 95ae2dd
  bors

  committed
  95ae2dd

  Copy full SHA for 95ae2dd

• Auto merge of #3475 - RalfJung:reduce-reuse-recycle, r=RalfJung

  Show description for e9ebc6f
  bors

  committed
  e9ebc6f

  Copy full SHA for e9ebc6f

Commits on Apr 20, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  29e41fb

  Copy full SHA for 29e41fb

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  b63bb1b

  Copy full SHA for b63bb1b

• fix clippy warning

  RalfJung

  committed
  8e1f18d

  Copy full SHA for 8e1f18d

• re-bless tests

  RalfJung

  committed
  7952316

  Copy full SHA for 7952316

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

  Show description for 9713ff4
  bors

  committed
  9713ff4

  Copy full SHA for 9713ff4

• data_race: make the release/acquire API more clear

  RalfJung

  committed
  7dcfb54

  Copy full SHA for 7dcfb54

• reuse_pool: only do acquire_clock if we reused from a different thread

  RalfJung

  committed
  cb1b4a6

  Copy full SHA for cb1b4a6

• restrict VClock API surface

  RalfJung

  committed
  8cab0d5

  Copy full SHA for 8cab0d5

• Auto merge of #3495 - RalfJung:data-race-clocks, r=RalfJung

  Show description for 6b0ce8b
  bors

  committed
  6b0ce8b

  Copy full SHA for 6b0ce8b

• ensure the ICE-to-file logic does not affect our test

  RalfJung

  committed
  61a7d3d

  Copy full SHA for 61a7d3d

Commits on Apr 21, 2024

• the mir-validation ICE test behaves strangely on Windows hosts

  Show description for ae37b6e
  RalfJung

  committed
  ae37b6e

  Copy full SHA for ae37b6e