Code

Miri: expand frame hooks#71100

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miri-frame-hookRalfJung/rust:miri-frame-hookCopy head branch name to clipboardApr 15, 2020

+88-46

Commits

Commits on Apr 13, 2020

• Miri: let push_frame hook also access and mutate the rest of the frame data

  RalfJung

  committed
  1a3bda6

  Copy full SHA for 1a3bda6

• add after_stack_push hook; add public ImmTy::from_immediate method, and make ImmTy::imm field private

  RalfJung

  committed
  7b90ff9

  Copy full SHA for 7b90ff9

• fmt

  RalfJung

  committed
  f2d4c93

  Copy full SHA for f2d4c93