tests/ui/codegen/match-enum-range-metadata-misopt.rs

//! Regression test for <https://github.com/rust-lang/rust/issues/26468>.
//! Range bug in LLVM misoptimized second `if let` inside `for _ in 0..1` away.
//@ run-pass

#![allow(dead_code)]

enum FooMode {
    Check = 0x1001,
}

enum BarMode {
    Check = 0x2001,
}

enum Mode {
    Foo(FooMode),
    Bar(BarMode),
}

#[inline(never)]
fn broken(mode: &Mode) -> u32 {
    for _ in 0..1 {
        if let Mode::Foo(FooMode::Check) = *mode { return 17 }
        if let Mode::Bar(BarMode::Check) = *mode { return 19 }
    }
    return 42;
}

fn main() {
    let mode = Mode::Bar(BarMode::Check);
    assert_eq!(broken(&mode), 19);
}