Unnecessary assertion inside while i < *::MAX loop

pub fn test() {
    let mut i = 1u32;
    while i < u32::MAX {
        assert_ne!(i, 0, "No way...");
        i += 1;
    }
}

The assertion disappears when comparing against a non-MAX value for a given type, or with mir-opt-level 2 and above.

@rustbot

Another LLVM issue, probably because of wrapping around integers:
C version: https://godbolt.org/z/688dhv
@rustbot modify labels: A-LLVM

The assertion disappears ... with mir-opt-level 2 and above

Now it also requires -Zunsound-mir-opts

The example is fixed on nightly, probably by #81451

Rollup merge of rust-lang#82874 - erikdesjardins:cgtests, r=nagisa

Navigation Menu