Code

Miri subtree update#117579

Code

Merged

bors merged 24 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboardNov 4, 2023

+574-255

Commits

Commits on Oct 27, 2023

• add aarch64-apple-darwin to list of supported targets

  RalfJung

  committed
  c2f232e

• Auto merge of rust-lang#3144 - RalfJung:supported, r=oli-obk

  Show description for 5f3d81a
  bors

  committed
  5f3d81a

• data-race: preserve structured access information longer, and don't upper-case access types

  RalfJung

  committed
  052539e

• give some more help for the unusual data races

  RalfJung

  committed
  278965a

Commits on Oct 28, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  e298453

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  d7e49c0

• fmt

  

  The Miri Conjob Bot

  committed
  293501b

• Auto merge of rust-lang#3147 - rust-lang:rustup-2023-10-28, r=saethlin

  Show description for 6212cc6
  bors

  committed
  6212cc6

• atomic_op → atomic_rmw_op

  RalfJung

  committed
  0b6c30a

• consolidate and extend testing for _ patterns discarding the place

  RalfJung

  committed
  9b5b4dd

• add some tests specifically for validity checks arising from match binders

  RalfJung

  committed
  d176900

• Auto merge of rust-lang#3148 - RalfJung:underscore-patterns, r=RalfJung

  Show description for fb028cb
  bors

  committed
  fb028cb

• accept some atomic loads from read-only memory

  RalfJung

  committed
  bd81a58

• Auto merge of rust-lang#3149 - RalfJung:atomic-readonly-loads, r=RalfJung

  Show description for 2c9baab
  bors

  committed
  2c9baab

Commits on Oct 30, 2023

• make sure we catch UB with _ pattern in various syntactic positions

  RalfJung

  committed
  98eb384

• Auto merge of rust-lang#3150 - RalfJung:undercore-match, r=RalfJung

  Show description for de09bf5
  bors

  committed
  de09bf5

Commits on Nov 2, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  4c3eb37

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  869827f

• Auto merge of rust-lang#3153 - rust-lang:rustup-2023-11-02, r=RalfJung

  Show description for 1a08886
  bors

  committed
  1a08886

Commits on Nov 4, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  99417f2

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  fad8536

• fmt

  

  The Miri Conjob Bot

  committed
  5b18703

• Auto merge of rust-lang#3154 - rust-lang:rustup-2023-11-04, r=RalfJung

  Show description for 1b2e4a9
  bors

  committed
  1b2e4a9

• Auto merge of rust-lang#3145 - RalfJung:data-race-error, r=RalfJung

  Show description for 2ef639d
  bors

  committed
  2ef639d