Code

Miri subtree update#117011

Code

Merged

bors merged 48 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboardOct 21, 2023

+1,512-182

Commits

Commits on Oct 9, 2023

• add test for self-assignment on call through reference

  RalfJung

  committed
  fc4aa4e

• add test to ensure RET assignments do not get propagated on unwinding

  RalfJung

  committed
  e6aa233

• return_pointer_aliasing2 should also run with SB

  RalfJung

  committed
  e6637cb

• Auto merge of rust-lang#3114 - RalfJung:fn-call-tests, r=RalfJung

  Show description for ec1db97
  bors

  committed
  ec1db97

• Implement llvm.x86.aesni.* intrinsics

  eduardosm

  committed
  700bc97

• Auto merge of rust-lang#3101 - eduardosm:x86-aes-intrinsics, r=RalfJung

  Show description for aaba0a5
  bors

  committed
  aaba0a5

Commits on Oct 10, 2023

• avoid confusing loop in catch_panic test

  RalfJung

  committed
  d3b761a

• Auto merge of rust-lang#3117 - RalfJung:catch-panic-loop, r=RalfJung

  Show description for 2b0c8a7
  bors

  committed
  2b0c8a7

Commits on Oct 12, 2023

• Preparing for merge from rustc

  RalfJung

  committed
  e3c2b66

• Merge from rustc

  RalfJung

  committed
  461d19b

• fmt

  RalfJung

  committed
  35de5bb

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

  Show description for eba1f5b
  bors

  committed
  eba1f5b

Commits on Oct 14, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  c4b45c5

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  2383a00

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

  Show description for 99d6cd4
  bors

  committed
  99d6cd4

Commits on Oct 15, 2023

• Implement llvm.x86.sse41.* intrinsics

  eduardosm

  committed
  949bb64

• Auto merge of rust-lang#3118 - eduardosm:intrinsics-x86-sse41, r=RalfJung

  Show description for b800211
  bors

  committed
  b800211

Commits on Oct 16, 2023

• triagebot: re-enable merge commit check

  RalfJung

  committed
  1c928f9

• Auto merge of rust-lang#3123 - RalfJung:triagebot, r=RalfJung

  Show description for c1dbc19
  bors

  committed
  c1dbc19

Commits on Oct 17, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  8fa1b6a

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  2ca415c

• fmt

  

  The Miri Conjob Bot

  committed
  d6f52bf

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

  Show description for f408492
  bors

  committed
  f408492

• Fix rounding mode check in SSE4.1 round functions

  Show description for a8aa303
  eduardosm

  committed
  a8aa303

• Auto merge of rust-lang#3124 - eduardosm:fix-sse41-round, r=RalfJung

  Show description for 2366a90
  bors

  committed
  2366a90

Commits on Oct 18, 2023

• Bump rustix from 0.38.17 to 0.38.19

  Show description for 0036d40
  dependabot[bot]

  authored
  0036d40

• Auto merge of rust-lang#3127 - rust-lang:dependabot/cargo/rustix-0.38.19, r=RalfJung

  Show description for 8c5ff75
  bors

  committed
  8c5ff75

• Bump rustix from 0.38.17 to 0.38.19 in /cargo-miri

  Show description for 277ab78
  dependabot[bot]

  authored
  277ab78

• Auto merge of rust-lang#3128 - rust-lang:dependabot/cargo/cargo-miri/rustix-0.38.19, r=RalfJung

  Show description for fb39dd4
  bors

  committed
  fb39dd4

• Bump rustix from 0.38.17 to 0.38.19 in /miri-script

  Show description for 53fff96
  dependabot[bot]

  authored
  53fff96

Commits on Oct 19, 2023

• Auto merge of rust-lang#3129 - rust-lang:dependabot/cargo/miri-script/rustix-0.38.19, r=RalfJung

  Show description for e120dea
  bors

  committed
  e120dea

• Preparing for merge from rustc

  RalfJung

  committed
  8fb03fb

• Merge from rustc

  RalfJung

  committed
  d5d8a51

• fmt

  RalfJung

  committed
  b01c480

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

  Show description for 5d62040
  bors

  committed
  5d62040

• intptrcast: only find strictly in-bounds pointers when we are not hitting the base address

  RalfJung

  committed
  f386329

• switch intptrcast to helper trait pattern like everything else

  RalfJung

  committed
  55ce55d

• remove allocations from int_to_ptr_map and exposed when they get freed

  RalfJung

  committed
  b325f31

• clarify comment

  RalfJung

  committed
  ecaf828

• Auto merge of rust-lang#3122 - RalfJung:intrptrcast-clean, r=saethlin

  Show description for 1e71277
  bors

  committed
  1e71277

Commits on Oct 20, 2023

• Preparing for merge from rustc

  RalfJung

  committed
  464135d

• Merge from rustc

  RalfJung

  committed
  20fe485

• ignore deny lints in josh

  RalfJung

  committed
  b824bb1

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

  Show description for c51ce16
  bors

  committed
  c51ce16

Commits on Oct 21, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  ee54d83

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  8044a59

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

  Show description for 49056df
  bors

  committed
  49056df

• update lockfile

  RalfJung

  committed
  49e8acb