Code

Miri error reform#69839

Code

Merged

bors merged 10 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miri-error-cleanupRalfJung/rust:miri-error-cleanupCopy head branch name to clipboardMar 19, 2020

+420-470

Commits

Commits on Mar 11, 2020

• miri: categorize errors into "unsupported" and "UB"

  Show description for f5efb68
  RalfJung

  committed
  f5efb68

  Copy full SHA for f5efb68

• fmt, tweak messages and bless

  RalfJung

  committed
  d02543a

  Copy full SHA for d02543a

• generalize InvalidNullPointerUsage to InvalidIntPointerUsage

  RalfJung

  committed
  9a95b01

  Copy full SHA for 9a95b01

• fmt, and fix rustfmt-induced rebase hickup

  RalfJung

  committed
  3ebcd78

  Copy full SHA for 3ebcd78

• start Miri messages lower-case

  RalfJung

  committed
  2764d3d

  Copy full SHA for 2764d3d

• explain why we catch PointerUseAfterFree

  RalfJung

  committed
  3e61442

  Copy full SHA for 3e61442

• avoid boolean inversion

  RalfJung

  committed
  d8f8168

  Copy full SHA for d8f8168

• we are on 2018 edition, use try block

  RalfJung

  committed
  9681422

  Copy full SHA for 9681422

• make error message less confusing

  RalfJung

  committed
  93436d8

  Copy full SHA for 93436d8

• fmt

  RalfJung

  committed
  e219dd4

  Copy full SHA for e219dd4