tests/mir-opt/dataflow-const-prop/mult_by_zero.rs


1
2
3
4
5
6
7
8
9
10
11
12

//@ unit-test: DataflowConstProp

// EMIT_MIR mult_by_zero.test.DataflowConstProp.diff
// CHECK-LABEL: fn test(
fn test(x : i32) -> i32 {
  x * 0
  // CHECK: _0 = const 0_i32;
}

fn main() {
    test(10);
}