Code

[MIR] Implement overflow checking#33905

Code

Merged

bors merged 18 commits intorust-lang:masterrust-lang/rust:masterfrom eddyb:mir-overfloweddyb/rust:mir-overflowCopy head branch name to clipboardJun 5, 2016

+1,363-431

Commits

Commits on Jun 5, 2016

• Check arithmetic in the MIR

  Show description for 73f3054
  

  Aatch

  authored and

  eddyb

  committed
  73f3054

• Add a with_cond method

  Show description for f2c983b
  

  Aatch

  authored and

  eddyb

  committed
  f2c983b

• Enable the overflow-related tests for MIR

  

  Aatch

  authored and

  eddyb

  committed
  bcdb260

• Change with_cond to build_cond_br

  Show description for 7fbff36
  

  Aatch

  authored and

  eddyb

  committed
  7fbff36

• Add a new Assert terminator to MIR for bounds & arithmetic checks.

  eddyb

  committed
  156b1fb

• trans: generalize OperandValue::FatPtr to all pairs of immediates.

  eddyb

  committed
  f1f453c

• trans: support uses of projections of immediate pairs.

  eddyb

  committed
  cab35ff

• mir: report when overflow checks would be missing cross-crate.

  eddyb

  committed
  4adc967

• core: mark relevant functions with #[rustc_inherit_overflow_checks].

  eddyb

  committed
  702c47b

• Respect #[rustc_inherit_overflow_checks] in mir::build and trans.

  eddyb

  committed
  d8dddbf

• rustc_const_eval: remove unused arithmetic ErrKind variants.

  eddyb

  committed
  b6ce2aa

• rustc_const_eval: strings are not indexable in Rust 1.x.

  eddyb

  committed
  afc598e

• rustc_const_eval: track the length and index in IndexOutOfBounds.

  eddyb

  committed
  1447fbf

• trans: use the same messages for both MIR and old arithmetic checks.

  eddyb

  committed
  b8c5053

• trans: implement CheckedBinaryOp in mir::constant.

  eddyb

  committed
  d735f6b

• trans: report as many errors as possible for constants.

  eddyb

  committed
  e71f6d8

• [MIR] Handle call return values that need to be casted properly.

  

  luqmana

  authored and

  eddyb

  committed
  da081e1

• trans: update Luqmana's patch for generalized pair handling.

  eddyb

  committed
  cee244d