Code

Fix potential UB#524

Code

Merged

Robbepop merged 5 commits intomasterwasmi-labs/wasmi:masterfrom rf-fix-potential-ubwasmi-labs/wasmi:rf-fix-potential-ubCopy head branch name to clipboardOct 20, 2022

+13-11

Commits

Commits on Oct 18, 2022

• fix potential UB as reported by miri

  Robbepop

  committed
  0d67ed5

  Copy full SHA for 0d67ed5

• add miri --doc CI testing

  Robbepop

  committed
  c3c5017

  Copy full SHA for c3c5017

Commits on Oct 19, 2022

• make miri aware of non-UB in InstructionPtr::new

  Robbepop

  committed
  37bf60f

  Copy full SHA for 37bf60f

• apply rustfmt

  Robbepop

  committed
  c7fd2cd

  Copy full SHA for c7fd2cd

Commits on Oct 20, 2022

• refactor InstructionPtr constructor

  Robbepop

  committed
  a832341

  Copy full SHA for a832341