Multiple bounds checking elision failures

[SUPERCILEX]

I tried this code:

pub fn foo(buf: &[u8], alloced_size: usize) -> &[u8] {
    if alloced_size.checked_add(1).map(|total| buf.len() < total).unwrap_or(true) {
        return &[];
    }
    let size = buf[0];
    &buf[1..1 + usize::min(alloced_size, usize::from(size))]
}

The assembly code has two generated panics here when none can happen.

[veera-sivarajan]

fixed since rustc 1.81.0: https://rust.godbolt.org/z/bvEKh8ahe

@rustbot label +e-needs-test

[moxian]

fixed by #126852 most likely