Ownership analysis may mark local mut as ref

[TheDan64]

#[no_mangle]
pub unsafe extern "C" fn mymemset(mut s: *mut wchar_t, mut c: wchar_t,
                                  n: size_t) {
    let mut i: size_t = 0;
    let mut p: *mut wchar_t = 0 as *mut wchar_t;
    p = s;
    i = 0i32 as size_t;
    while i < n { *p = c; p = p.offset(1isize); i = i.wrapping_add(1) }
    return;
}

p will be marked as "ref" by OA even though it gets assigned *p = c;

[TheDan64]

Possibly the same issue:

fn array_ref() {
    let mut q: [u32; 4] = [0; 4];

    #[nonnull]
    #[slice]
    let mut r = q.as_mut_ptr();

    *r.offset(0) = 1;
}

r isn't marked as mutable