1 // Make sure redundant testing paths in `match` expressions are sorted out.
3 #![feature(exclusive_range_pattern)]
9 // When `(0..=10).contains(x) && !b`, we should jump to the last arm
10 // without testing two other candidates.
20 // START rustc.main.SimplifyCfg-initial.after.mir
23 // switchInt(move _6) -> [false: bb6, otherwise: bb5];
26 // falseEdges -> [real: bb9, imaginary: bb2];
29 // falseEdges -> [real: bb12, imaginary: bb3];
32 // falseEdges -> [real: bb13, imaginary: bb4];
39 // _7 = Lt(_1, const 10i32);
40 // switchInt(move _7) -> [false: bb6, otherwise: bb1];
43 // _4 = Le(const 10i32, _1);
44 // switchInt(move _4) -> [false: bb8, otherwise: bb7];
47 // _5 = Le(_1, const 20i32);
48 // switchInt(move _5) -> [false: bb8, otherwise: bb2];
51 // switchInt(_1) -> [-1i32: bb3, otherwise: bb4];
57 // FakeRead(ForMatchGuard, _8);
58 // switchInt(move _9) -> [false: bb11, otherwise: bb10];
67 // falseEdges -> [real: bb4, imaginary: bb2];
83 // END rustc.main.SimplifyCfg-initial.after.mir