Code

Miri subtree update#117165

Code

Merged

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

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

Oct 25, 2023

Commits

Commits on Oct 22, 2023

• avoid a linear scan over the entire int_to_ptr_map on each deallocation

  RalfJung

  committed
  48445b9

  Copy full SHA for 48445b9

• Auto merge of #3134 - RalfJung:log-not-lin, r=saethlin

  Show description for 74092c5
  bors

  committed
  74092c5

  Copy full SHA for 74092c5

Commits on Oct 23, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  a80b5c0

  Copy full SHA for a80b5c0

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  624f68d

  Copy full SHA for 624f68d

• fmt

  

  The Miri Conjob Bot

  authored and

  RalfJung

  committed
  dd683dd

  Copy full SHA for dd683dd

• Auto merge of #3136 - rust-lang:rustup-2023-10-23, r=RalfJung

  Show description for d32b158
  bors

  committed
  d32b158

  Copy full SHA for d32b158

• data_race: clarify and slightly refactor non-atomic handling

  RalfJung

  committed
  a4e42ad

  Copy full SHA for a4e42ad

• data_race: detect races between atomic and non-atomic accesses, even if both are reads

  RalfJung

  committed
  f99566e

  Copy full SHA for f99566e

• detect mixed-size atomic accesses

  RalfJung

  committed
  1e5f9eb

  Copy full SHA for 1e5f9eb

• clean up imperfect overlap detection in weak-mem emulation

  RalfJung

  committed
  369c6d1

  Copy full SHA for 369c6d1

• don't talk about 'Data race' when both accesses are atomic

  RalfJung

  committed
  e94c18e

  Copy full SHA for e94c18e

Commits on Oct 24, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  e42a8d8

  Copy full SHA for e42a8d8

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  ddc76e2

  Copy full SHA for ddc76e2

• Auto merge of #3138 - rust-lang:rustup-2023-10-24, r=RalfJung

  Show description for cc13d04
  bors

  committed
  cc13d04

  Copy full SHA for cc13d04

• fix error read-read reporting when there's also an unsynchronized non-atomic read (which is fine)

  RalfJung

  committed
  f15b563

  Copy full SHA for f15b563

• futex text: avoid spurious non-atomic reads

  RalfJung

  committed
  d3a8281

  Copy full SHA for d3a8281

• we don't support thread::scope on freebsd

  RalfJung

  committed
  900b5ef

  Copy full SHA for 900b5ef

• Auto merge of #3137 - RalfJung:data-race, r=oli-obk

  Show description for a15eb7e
  bors

  committed
  a15eb7e

  Copy full SHA for a15eb7e

Commits on Oct 25, 2023

• add some more gamma function tests

  RalfJung

  committed
  e83c8c1

  Copy full SHA for e83c8c1

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  c612ba8

  Copy full SHA for c612ba8

• Auto merge of #3140 - RalfJung:gamma, r=RalfJung

  Show description for 9c793e1
  bors

  committed
  9c793e1

  Copy full SHA for 9c793e1

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  3751fb0

  Copy full SHA for 3751fb0

• CLOCK_UPTIME_RAW exists on all macos targets, not just the ARM ones

  RalfJung

  committed
  19c4fa6

  Copy full SHA for 19c4fa6

• Auto merge of #3141 - rust-lang:rustup-2023-10-25, r=RalfJung

  Show description for 51ae1fe
  bors

  committed
  51ae1fe

  Copy full SHA for 51ae1fe