Repository navigation

Miri error reform - #69839

Merged

bors merged 10 commits into

rust-lang:masterfrom

RalfJung:miri-error-cleanup

Mar 19, 2020

Merged

Miri error reform#69839
bors merged 10 commits into
rust-lang:masterfrom
RalfJung:miri-error-cleanup

Commits on Mar 11, 2020
- miri: categorize errors into "unsupported" and "UB"
  RalfJung
  committed
  f5efb68
- fmt, tweak messages and bless
  RalfJung
  committed
  d02543a
- generalize InvalidNullPointerUsage to InvalidIntPointerUsage
  RalfJung
  committed
  9a95b01
- fmt, and fix rustfmt-induced rebase hickup
  RalfJung
  committed
  3ebcd78
- start Miri messages lower-case
  RalfJung
  committed
  2764d3d
- explain why we catch PointerUseAfterFree
  RalfJung
  committed
  3e61442
- avoid boolean inversion
  RalfJung
  committed
  d8f8168
- we are on 2018 edition, use try block
  RalfJung
  committed
  9681422
- make error message less confusing
  RalfJung
  committed
  93436d8
- fmt
  RalfJung
  committed
  e219dd4