Code

update Miri#104989

Code

Merged

bors merged 40 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboardNov 28, 2022

+893-500

Commits

Commits on Nov 20, 2022

• add a weak form of protection that justifies Box noalias

  RalfJung

  committed
  7225524

  Copy full SHA for 7225524

• some things don't need to be mutable

  RalfJung

  committed
  bf9e73f

  Copy full SHA for bf9e73f

• tweaks

  RalfJung

  committed
  32e9d00

  Copy full SHA for 32e9d00

Commits on Nov 21, 2022

• Auto merge of rust-lang#2684 - RalfJung:stack-borrows-weak-protectors, r=saethlin

  Show description for 105dba7
  bors

  committed
  105dba7

  Copy full SHA for 105dba7

• Incrementally track which frame to use for diagnostics

  saethlin

  committed
  23270ae

  Copy full SHA for 23270ae

Commits on Nov 22, 2022

• ensure current getrandom works with strict provenance

  RalfJung

  committed
  859310a

  Copy full SHA for 859310a

• update test_dependencies

  RalfJung

  committed
  8061e2f

  Copy full SHA for 8061e2f

• Auto merge of rust-lang#2687 - RalfJung:getrandom, r=RalfJung

  Show description for 8b0b2d1
  bors

  committed
  8b0b2d1

  Copy full SHA for 8b0b2d1

• Document is_user_relevant

  Show description for 1ca3c29
  

  saethlin

  and

  RalfJung

  authored
  1ca3c29

  Copy full SHA for 1ca3c29

Commits on Nov 23, 2022

• Update src/machine.rs

  Show description for a312329
  

  saethlin

  and

  RalfJung

  authored
  a312329

  Copy full SHA for a312329

Commits on Nov 25, 2022

• replace a borrow_mut by get_mut

  RalfJung

  committed
  448f044

  Copy full SHA for 448f044

• Auto merge of rust-lang#2691 - RalfJung:get_mut, r=RalfJung

  Show description for fe81522
  bors

  committed
  fe81522

  Copy full SHA for fe81522

• Test a small cargo-miri smoke test even in run_tests_minimal

  Show description for 2c456b5
  Noratrieb

  committed
  2c456b5

  Copy full SHA for 2c456b5

• Use None when the stack is empty

  saethlin

  committed
  8961e13

  Copy full SHA for 8961e13

Commits on Nov 26, 2022

• caller_span only makes sense when there are 2 frames on the stack

  RalfJung

  committed
  726b9d0

  Copy full SHA for 726b9d0

• Auto merge of rust-lang#2647 - saethlin:current-span, r=RalfJung

  Show description for 7d0db1e
  bors

  committed
  7d0db1e

  Copy full SHA for 7d0db1e

• update lockfile

  RalfJung

  committed
  166e60e

  Copy full SHA for 166e60e

• Auto merge of rust-lang#2690 - Nilstrieb:cargo-miri-smoke-test-ci-so-that-cargo-miri-actually-works-kinda, r=RalfJung

  Show description for 4d3e565
  bors

  committed
  4d3e565

  Copy full SHA for 4d3e565

• prettify our CI logs

  RalfJung

  committed
  56a1d07

  Copy full SHA for 56a1d07

• Auto merge of rust-lang#2695 - RalfJung:ci-pretty, r=RalfJung

  Show description for b3e4402
  bors

  committed
  b3e4402

  Copy full SHA for b3e4402

• add namespace to resolve_path

  

  beepster4096

  authored and

  RalfJung

  committed
  0822c31

  Copy full SHA for 0822c31

• refactor try_resolve_did and also support resolving crates/modules

  RalfJung

  committed
  245857b

  Copy full SHA for 245857b

• support no_std on Windows

  RalfJung

  committed
  3158a8d

  Copy full SHA for 3158a8d

• Auto merge of rust-lang#2696 - RalfJung:no-std-windows, r=RalfJung

  Show description for 144b485
  bors

  committed
  144b485

  Copy full SHA for 144b485

• !Unpin retags must still be reads, to check dereferenceable

  Show description for f479404
  RalfJung

  committed
  f479404

  Copy full SHA for f479404

• slightly adjust and synchronize Machine passing for SB and DataRace

  RalfJung

  committed
  a7f7221

  Copy full SHA for a7f7221

• make Stacked Borrows retags act like data races

  RalfJung

  committed
  a3bd578

  Copy full SHA for a3bd578

• nits

  RalfJung

  committed
  edf8154

  Copy full SHA for edf8154

Commits on Nov 27, 2022

• Use .wasm extension when building for wasm in cargo-miri

  Show description for 958d591
  Noratrieb

  committed
  958d591

  Copy full SHA for 958d591

• CI: fix begingroup printing

  RalfJung

  committed
  b20efbd

  Copy full SHA for b20efbd

• Auto merge of rust-lang#2700 - RalfJung:begingroup, r=RalfJung

  Show description for 5a14c5a
  bors

  committed
  5a14c5a

  Copy full SHA for 5a14c5a

• run_tests_minimal: actually run the smoke test on the desired target

  RalfJung

  committed
  c6587b0

  Copy full SHA for c6587b0

• Auto merge of rust-lang#2701 - RalfJung:smoke, r=RalfJung

  Show description for 9f8df93
  bors

  committed
  9f8df93

  Copy full SHA for 9f8df93

• Auto merge of rust-lang#2685 - Nilstrieb:cargo-miri-wasm, r=RalfJung

  Show description for a83b105
  bors

  committed
  a83b105

  Copy full SHA for a83b105

• Auto merge of rust-lang#2694 - RalfJung:retag-deref-check, r=saethlin

  Show description for 66354f0
  bors

  committed
  66354f0

  Copy full SHA for 66354f0

• Preparing for merge from rustc

  RalfJung

  committed
  187ba67

  Copy full SHA for 187ba67

• Merge from rustc

  RalfJung

  committed
  7c12ed1

  Copy full SHA for 7c12ed1

• advice on josh pushing

  RalfJung

  committed
  6d1e99e

  Copy full SHA for 6d1e99e

• clippy

  RalfJung

  committed
  598c3da

  Copy full SHA for 598c3da

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

  Show description for f8fbc6d
  bors

  committed
  f8fbc6d

  Copy full SHA for f8fbc6d