Code

update Miri#114560

Code

Merged

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

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

Aug 7, 2023

Commits

Commits on Jul 30, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  8ddc72e

  Copy full SHA for 8ddc72e

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  16816aa

  Copy full SHA for 16816aa

• fmt

  

  The Miri Conjob Bot

  committed
  a4bfcbe

  Copy full SHA for a4bfcbe

• Auto merge of #2996 - rust-lang:rustup-2023-07-30, r=oli-obk

  Show description for 2183cda
  bors

  committed
  2183cda

  Copy full SHA for 2183cda

• refactor tests/utils a bit, and move some FS functions there

  RalfJung

  committed
  e565624

  Copy full SHA for e565624

• Auto merge of #2997 - RalfJung:test-utils, r=RalfJung

  Show description for a95a432
  bors

  committed
  a95a432

  Copy full SHA for a95a432

• rewrite miri script in Rust

  

  osiewicz

  authored and

  RalfJung

  committed
  7f2eca6

  Copy full SHA for 7f2eca6

Commits on Jul 31, 2023

• miri-script refactor

  RalfJung

  committed
  3f952f4

  Copy full SHA for 3f952f4

• port to hand-rolled parser, since clap doesn't behave just the right way

  RalfJung

  committed
  efbd2a5

  Copy full SHA for efbd2a5

• Auto merge of #2909 - osiewicz:rewrite-miri-script-in-rust-2883, r=RalfJung

  Show description for e1071af
  bors

  committed
  e1071af

  Copy full SHA for e1071af

• add some interesting tests for alignment corner cases

  RalfJung

  committed
  a63db6d

  Copy full SHA for a63db6d

• Auto merge of #3001 - RalfJung:align, r=RalfJung

  Show description for 10d77b9
  bors

  committed
  10d77b9

  Copy full SHA for 10d77b9

• fix oversight from new miri-script

  RalfJung

  committed
  26fc26f

  Copy full SHA for 26fc26f

• Auto merge of #3002 - RalfJung:miri-script, r=RalfJung

  Show description for 320cd7d
  bors

  committed
  320cd7d

  Copy full SHA for 320cd7d

Commits on Aug 2, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  552700a

  Copy full SHA for 552700a

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  743be66

  Copy full SHA for 743be66

• fmt

  

  The Miri Conjob Bot

  committed
  2d01258

  Copy full SHA for 2d01258

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

  Show description for f128057
  bors

  committed
  f128057

  Copy full SHA for f128057

• add write_does_not_invalidate_all_aliases test, and enable direct_mut_to_const_raw test in TB

  RalfJung

  committed
  c951208

  Copy full SHA for c951208

• miri-script: simplify flag computation a bit

  RalfJung

  committed
  42269c3

  Copy full SHA for 42269c3

• add local_addr_of_mut test

  RalfJung

  committed
  df3b25f

  Copy full SHA for df3b25f

• Auto merge of #3005 - RalfJung:miriscript, r=RalfJung

  Show description for 0ea879f
  bors

  committed
  0ea879f

  Copy full SHA for 0ea879f

• Auto merge of #3004 - RalfJung:borrow-tests, r=RalfJung

  Show description for 0640ae9
  bors

  committed
  0640ae9

  Copy full SHA for 0640ae9

• no need to forward all env vars

  RalfJung

  committed
  751cfa8

  Copy full SHA for 751cfa8

• fix miri-script being silent when running './miri test'

  RalfJung

  committed
  27377cb

  Copy full SHA for 27377cb

• Command debug printing prints the environment these days, we can kill some custom debugging code

  RalfJung

  committed
  7fc0cbb

  Copy full SHA for 7fc0cbb

• cargo-miri: avoid set_env

  RalfJung

  committed
  6e9479f

  Copy full SHA for 6e9479f

• Auto merge of #3006 - RalfJung:miri-script-shell, r=RalfJung

  Show description for 042cfd8
  bors

  committed
  042cfd8

  Copy full SHA for 042cfd8

Commits on Aug 3, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  0728354

  Copy full SHA for 0728354

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  adb446c

  Copy full SHA for adb446c

• fmt

  

  The Miri Conjob Bot

  committed
  9bb8b66

  Copy full SHA for 9bb8b66

• Auto merge of #3007 - rust-lang:rustup-2023-08-03, r=oli-obk

  Show description for 460e92b
  bors

  committed
  460e92b

  Copy full SHA for 460e92b

• Avoid infinite recursion for auto-fmt and auto-clippy

  oli-obk

  committed
  7956dbd

  Copy full SHA for 7956dbd

• add test checking that overlapping assignments work

  RalfJung

  committed
  3c39dc2

  Copy full SHA for 3c39dc2

• Auto merge of #3010 - RalfJung:assign_overlapping, r=RalfJung

  Show description for b8cfa76
  bors

  committed
  b8cfa76

  Copy full SHA for b8cfa76

• Auto merge of #3009 - oli-obk:auto_actions, r=oli-obk

  Show description for f8d75a4
  bors

  committed
  f8d75a4

  Copy full SHA for f8d75a4

• A bit of spell-checking

  saethlin

  committed
  3df2884

  Copy full SHA for 3df2884

Commits on Aug 4, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  325dc92

  Copy full SHA for 325dc92

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  1a803a0

  Copy full SHA for 1a803a0

• Auto merge of #3012 - rust-lang:rustup-2023-08-04, r=oli-obk

  Show description for 15c05fe
  bors

  committed
  15c05fe

  Copy full SHA for 15c05fe

• Auto merge of #3011 - saethlin:spellck, r=RalfJung

  Show description for 646f564
  bors

  committed
  646f564

  Copy full SHA for 646f564

Commits on Aug 5, 2023

• Preparing for merge from rustc

  RalfJung

  committed
  b3a8e8e

  Copy full SHA for b3a8e8e

• Merge from rustc

  RalfJung

  committed
  e4540ed

  Copy full SHA for e4540ed

• fmt

  RalfJung

  committed
  621aeeb

  Copy full SHA for 621aeeb

• Auto merge of #3014 - RalfJung:rustup, r=RalfJung

  Show description for 3d9e8f1
  bors

  committed
  3d9e8f1

  Copy full SHA for 3d9e8f1

• fix return place protection when the place is given as a local

  RalfJung

  committed
  a73c86d

  Copy full SHA for a73c86d

• borrow tracking: simplify provenance updating

  RalfJung

  committed
  e55f494

  Copy full SHA for e55f494

• ensure we allow zero-sized references to functions and vtables

  RalfJung

  committed
  f0cbc7d

  Copy full SHA for f0cbc7d

• tree borrows: consider some retags as writes for the purpose of data races

  RalfJung

  committed
  ee674e7

  Copy full SHA for ee674e7

• add a test ensuring that we enforce noalias on accesses

  RalfJung

  committed
  36716dc

  Copy full SHA for 36716dc

• Auto merge of #3013 - RalfJung:tree-borrow-data-races, r=RalfJung

  Show description for d1174a9
  bors

  committed
  d1174a9

  Copy full SHA for d1174a9