// MIR for `const_dividend` after PreCodegen fn const_dividend(_1: i32) -> i32 { debug a => _1; // in scope 0 at $DIR/div_overflow.rs:+0:23: +0:24 let mut _0: i32; // return place in scope 0 at $DIR/div_overflow.rs:+0:34: +0:37 let mut _2: bool; // in scope 0 at $DIR/div_overflow.rs:+1:5: +1:12 bb0: { _2 = Eq(_1, const 0_i32); // scope 0 at $DIR/div_overflow.rs:+1:5: +1:12 assert(!move _2, "attempt to divide `{}` by zero", const 256_i32) -> bb1; // scope 0 at $DIR/div_overflow.rs:+1:5: +1:12 } bb1: { _0 = Div(const 256_i32, move _1); // scope 0 at $DIR/div_overflow.rs:+1:5: +1:12 return; // scope 0 at $DIR/div_overflow.rs:+2:2: +2:2 } }