about summary refs log tree commit diff
path: root/tests/codegen/slice-pointer-nonnull-unwrap.rs
blob: 48bf8fa88a06d358ac231760d3d5e759bdaaaa0d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
//@ compile-flags: -O
//@ min-llvm-version: 18
#![crate_type = "lib"]

use std::ptr::NonNull;

// CHECK-LABEL: @slice_ptr_len_1
// CHECK-NEXT: {{.*}}:
// CHECK-NEXT: ret i64 %ptr.1
#[no_mangle]
pub fn slice_ptr_len_1(ptr: *const [u8]) -> usize {
    let ptr = ptr.cast_mut();
    if let Some(ptr) = NonNull::new(ptr) {
        ptr.len()
    } else {
        // We know ptr is null, so we know ptr.wrapping_byte_add(1) is not null.
        NonNull::new(ptr.wrapping_byte_add(1)).unwrap().len()
    }
}