Files
rust/tests/ui/codegen/match-enum-range-metadata-misopt.rs
2026-06-23 00:51:39 +02:00

33 lines
627 B
Rust

//! 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);
}