miri::helpers

Function windows_check_buffer_size

Source
pub(crate) fn windows_check_buffer_size((success, len): (bool, u64)) -> u32
Expand description

Check whether an operation that writes to a target buffer was successful. Accordingly select return value. Local helper function to be used in Windows shims.