Code

Atomics must be mutable#2464

Code

Merged

bors merged 5 commits intorust-lang:masterrust-lang/miri:masterfrom RalfJung:atomic-must-be-mutableRalfJung/miri:atomic-must-be-mutableCopy head branch name to clipboardAug 9, 2022

+204-144

Commits

Commits on Aug 9, 2022

• move atomic access alginment check to helper function and inside atomic access lib

  RalfJung

  committed
  d630671

  Copy full SHA for d630671

• ensure atomics happen on mutable allocations, and fix futex test

  RalfJung

  committed
  cd2edbf

  Copy full SHA for cd2edbf

• make some operations private to the data race detector / atomic intrinsic file

  RalfJung

  committed
  927ab19

  Copy full SHA for 927ab19

• more detailed error message

  RalfJung

  committed
  43d3963

  Copy full SHA for 43d3963

• rustup

  RalfJung

  committed
  a1f5a75

  Copy full SHA for a1f5a75