Code

update Miri#106121

Code

Merged

bors merged 45 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboardDec 25, 2022

+1,526-608

Commits

Commits on Dec 8, 2022

• add graceful shim for the custom O_TMPFILE linux file opening flag plus test case

  Pointerbender

  committed
  20a4c73

Commits on Dec 9, 2022

• Preparing for merge from rustc

  RalfJung

  committed
  4e9f839

• Merge from rustc

  RalfJung

  committed
  aab3bce

• fmt and clippy

  RalfJung

  committed
  3ba51ac

• Auto merge of rust-lang#2718 - Pointerbender:o_tmpfile_flag, r=oli-obk

  Show description for 816ec1b
  bors

  committed
  816ec1b

• Auto merge of rust-lang#2719 - RalfJung:rustup, r=RalfJung

  Show description for 17b5fda
  bors

  committed
  17b5fda

Commits on Dec 11, 2022

• Preparing for merge from rustc

  RalfJung

  committed
  30e4359

• Merge from rustc

  RalfJung

  committed
  f25d8a6

• Auto merge of rust-lang#2723 - RalfJung:rustup, r=RalfJung

  Show description for 6d4dd6e
  bors

  committed
  6d4dd6e

• add support for variable page sizes to miri

  nia-e

  committed
  7949f21

• Auto merge of rust-lang#2721 - a-b-c-1-2-3:fix-pagesize, r=RalfJung

  Show description for f2ae9e5
  bors

  committed
  f2ae9e5

• add provenance-related test

  RalfJung

  committed
  a4b966a

• Auto merge of rust-lang#2726 - RalfJung:provenance-test, r=RalfJung

  Show description for 0876519
  bors

  committed
  0876519

Commits on Dec 12, 2022

• make flag checks reobust against multi-bit flags

  RalfJung

  committed
  c905ef4

• make eval_libc functions ICE on any problem

  RalfJung

  committed
  f0bb7c7

• Auto merge of rust-lang#2727 - RalfJung:flags-and-libc, r=RalfJung

  Show description for b8f972f
  bors

  committed
  b8f972f

• expose host-to-target path conversion to interpreted program

  RalfJung

  committed
  c19ca08

• More host/target path conversion tests:

  Show description for a66780b
  RalfJung

  committed
  a66780b

• make unix path handling on Windows hosts preserve absoluteness

  RalfJung

  committed
  802987d

• Windows targets: make sure current_dir is absolute

  RalfJung

  committed
  2949702

• Auto merge of rust-lang#2725 - RalfJung:host-to-target-path, r=RalfJung

  Show description for 8b19af0
  bors

  committed
  8b19af0

Commits on Dec 13, 2022

• implement minimal epoll_create1 shim

  DebugSteven

  committed
  1b51f37

Commits on Dec 14, 2022

• Auto merge of rust-lang#2357 - DebugSteven:epoll_create1-shim, r=oli-obk

  Show description for 7893132
  bors

  committed
  7893132

Commits on Dec 16, 2022

• Preparing for merge from rustc

  RalfJung

  committed
  33e5b95

• Merge from rustc

  RalfJung

  committed
  3d67703

• fmt

  RalfJung

  committed
  39bb865

• Auto merge of rust-lang#2731 - RalfJung:rustup, r=RalfJung

  Show description for e82a604
  bors

  committed
  e82a604

• Include a Span in VClock

  saethlin

  committed
  d1184ae

Commits on Dec 21, 2022

• Fix span management

  saethlin

  committed
  d2e1c37

• Re-enable the VClock ordering tests

  saethlin

  committed
  749b2b0

• update josh onstructions

  RalfJung

  committed
  90d8fc6

• Auto merge of rust-lang#2736 - RalfJung:josh, r=oli-obk

  Show description for 5b64c91
  bors

  committed
  5b64c91

Commits on Dec 22, 2022

• Clean up implementation, deduplicate in errors

  saethlin

  committed
  c2f459c

• Fix phrasing

  saethlin

  committed
  a2e09ba

• Add a (1) and (2) to the data race errors

  saethlin

  committed
  f4165be

Commits on Dec 23, 2022

• attempt to clarify what the backtrace belongs to when there could be ambiguity

  RalfJung

  committed
  19422fc

• Mention and number the components of a race in the order the interpreter sees them

  saethlin

  committed
  81fe37a

Commits on Dec 24, 2022

• Auto merge of rust-lang#2646 - saethlin:data-race-spans, r=RalfJung

  Show description for 245357f
  bors

  committed
  245357f

• Preparing for merge from rustc

  RalfJung

  committed
  0c14ad4

• Merge from rustc

  RalfJung

  committed
  9c01e9f

• fix warnings

  RalfJung

  committed
  e52e0d8

• Auto merge of rust-lang#2738 - RalfJung:rustup, r=RalfJung

  Show description for d23554f
  bors

  committed
  d23554f

Commits on Dec 25, 2022

• use cargo-install to install josh-proxy

  RalfJung

  committed
  fed7e2c

• enable some warnings that rustc bootstrap enables

  RalfJung

  committed
  92b6562

• Auto merge of rust-lang#2739 - RalfJung:misc, r=RalfJung

  Show description for d8b48d4
  bors

  committed
  d8b48d4