Implement posix_fallocate with set_len() functionality

[LorrensP-2158466]

should close #4464.

I used this man page for the implementation.
Changes included in this pr:

• impl posix_fallocate and posix_fallocate64 (same as truncate versions because of libc::off_t)
• use the impl in unix/foreign_items.
• tests in pass-dep/libc/libc-fs.rs.

[rustbot]

Thank you for contributing to Miri!
Please remember to not force-push to the PR branch except when you need to rebase due to a conflict or when the reviewer asks you for it.

[RalfJung]

Thanks for the PR!

View changes since this review

[rustbot]

This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

[LorrensP-2158466]

Had to rebase because of the new Os enum.

[LorrensP-2158466]

@rustbot ready

[LorrensP-2158466]

@rustbot author

[rustbot]

Reminder, once the PR becomes ready for a review, use @rustbot ready.

[LorrensP-2158466]

@rustbot ready

[RalfJung]

Thanks, just some minor nits. :)

View changes since this review

[LorrensP-2158466]

@rustbot ready

[RalfJung]

This looks great, thanks! Please squash the commits. You can squash manually if there are multiple independent commits you want to preserve, or use ./miri squash (make sure to pick a suitable commit message). Then write @rustbot ready after you force-pushed the squashed PR.

@rustbot author

[LorrensP-2158466]

@rustbot ready

outdated