Code

miri: ICE on invalid terminators#69830

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miri-invalid-terminatorRalfJung/rust:miri-invalid-terminatorCopy head branch name to clipboardMar 12, 2020

+19-7

Commits

Commits on Mar 8, 2020

• miri: ICE on invalid terminators

  RalfJung

  committed
  4897594

  Copy full SHA for 4897594

Commits on Mar 9, 2020

• miri: add machine hook for Abort terminator

  RalfJung

  committed
  8a8870f

  Copy full SHA for 8a8870f

• also handle abort intrinsic with new machine hook

  RalfJung

  committed
  911c75f

  Copy full SHA for 911c75f