Code

Add MIR Validate statement#43403

Code

Merged

bors merged 30 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:mir-validateRalfJung/rust:mir-validateCopy head branch name to clipboard

Aug 4, 2017

Commits

Commits on Jul 30, 2017

• add new instructions for asserting when values are valid, and to describe when we can rely on them being locked in memory

  RalfJung

  committed
  5264103

  Copy full SHA for 5264103

• add a pass for validation commands; for now just emit the initial AcquireValid

  RalfJung

  committed
  735ace9

  Copy full SHA for 735ace9

• CleanEndRegions: do not clean regions that occur in types in validation statements

  RalfJung

  committed
  33585f4

  Copy full SHA for 33585f4

• emit validation for function calls and Ref

  RalfJung

  committed
  82786b2

  Copy full SHA for 82786b2

• add_validation: handle drop

  RalfJung

  committed
  24a2ac9

  Copy full SHA for 24a2ac9

• only emit Suspend validation for mutable paths

  RalfJung

  committed
  511b88c

  Copy full SHA for 511b88c

• respect lifetime rendering when rendering Suspend validation op

  RalfJung

  committed
  a233afa

  Copy full SHA for a233afa

• when suspending, we need to specify for which lifetime to recover

  Show description for 60096b9
  RalfJung

  committed
  60096b9

  Copy full SHA for 60096b9

• make ValidationOperand generic so that we can reuse it in miri with a different Lvalue type

  RalfJung

  committed
  e869cf2

  Copy full SHA for e869cf2

• add -Z flag for AddValidation pass

  RalfJung

  committed
  23cd90e

  Copy full SHA for 23cd90e

• please the tidy

  RalfJung

  committed
  b6816b2

  Copy full SHA for b6816b2

• after a Ref, only acquire the Deref'd destination

  RalfJung

  committed
  04f962a

  Copy full SHA for 04f962a

• Reorder passes so that AddValidation can run after ElaborateDrops

  RalfJung

  committed
  b934506

  Copy full SHA for b934506

• also release/validate around non-Misc casts

  RalfJung

  committed
  7ec50df

  Copy full SHA for 7ec50df

• Add tests for emitting validation statements

  RalfJung

  committed
  57958d1

  Copy full SHA for 57958d1

• silence tidy

  RalfJung

  committed
  29ed317

  Copy full SHA for 29ed317

• do not use doc comments inside functions

  RalfJung

  committed
  6641415

  Copy full SHA for 6641415

Commits on Jul 31, 2017

• more documentation

  RalfJung

  committed
  6ff7c8f

  Copy full SHA for 6ff7c8f

• CleanEndRegions: use default impl where possible

  RalfJung

  committed
  6135461

  Copy full SHA for 6135461

• optionally only emit basic validation for functions containing unsafe block / unsafe function

  RalfJung

  committed
  5e426e1

  Copy full SHA for 5e426e1

• more readable printing of validation operands

  RalfJung

  committed
  09cbe58

  Copy full SHA for 09cbe58

• tidy

  RalfJung

  committed
  26ca0d1

  Copy full SHA for 26ca0d1

Commits on Aug 1, 2017

• fix AddValidation on methods

  RalfJung

  committed
  e73d314

  Copy full SHA for e73d314

• Handle closures. Add some more tests.

  RalfJung

  committed
  584d823

  Copy full SHA for 584d823

• handle tuple struct ctors

  RalfJung

  committed
  4310edb

  Copy full SHA for 4310edb

• handle trait items as well

  RalfJung

  committed
  8f910bc

  Copy full SHA for 8f910bc

• use FnLike to recognize functions for us

  RalfJung

  committed
  c5154d0

  Copy full SHA for c5154d0

• add a closure inside an unsafe fn to the tests

  RalfJung

  committed
  a8129d1

  Copy full SHA for a8129d1

Commits on Aug 2, 2017

• closure unsafety check: stop moving up when we hit an item

  RalfJung

  committed
  321a72c

  Copy full SHA for 321a72c

• also release-validate return value before a call

  RalfJung

  committed
  7d8dc7a

  Copy full SHA for 7d8dc7a