]> git.lizzy.rs Git - rust.git/commit
Check arithmetic in the MIR
authorJames Miller <james@aatch.net>
Thu, 31 Mar 2016 05:50:07 +0000 (18:50 +1300)
committerEduard Burtescu <edy.burt@gmail.com>
Sun, 5 Jun 2016 11:02:24 +0000 (14:02 +0300)
commit73f3054288ee34b50c1f72404b24fdeb12a38f66
tree84b5fe92d515da937e4bbfbc5eeee8f90a821980
parentf97c411548f2b64f74f2bcb84dcc37075c05e2a0
Check arithmetic in the MIR

Add, Sub, Mul, Shl, and Shr are checked using a new Rvalue:
CheckedBinaryOp, while Div, Rem and Neg are handled with explicit checks
in the MIR.
src/librustc/mir/repr.rs
src/librustc/mir/tcx.rs
src/librustc/mir/visit.rs
src/librustc_borrowck/borrowck/mir/gather_moves.rs
src/librustc_mir/build/expr/as_rvalue.rs
src/librustc_mir/build/expr/stmt.rs
src/librustc_mir/build/misc.rs
src/librustc_mir/build/mod.rs
src/librustc_mir/transform/qualify_consts.rs
src/librustc_trans/mir/rvalue.rs