Upstream:

• https://github.com/rust-lang/rust/issues/128243
• https://github.com/rust-lang/rust/pull/128271

Jump threading was enabled in Rust 1.78, but this bug with floating point comparisons was only discovered 2 weeks ago. It was deemed important enough by the upstream compiler team to justify the 1.80.1 point release, and I think we should strongly consider it for RHEL's upcoming 1.79 builds as well.

The minimized reproducer prints "ok" in debug mode and "bug" in release mode (rustc -O).

fn main() {
    let tmp = if true { -0.0 } else { 1.0 };
    if tmp == 0.0 {
        println!("ok");
    } else {
        println!("bug")
    }
}