Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

#![deny(clippy::undocumented_unsafe_blocks)]: Add and fix existing safety comments #1305

Merged
merged 4 commits into from
Jul 11, 2024

Conversation

kkysen
Copy link
Collaborator

@kkysen kkysen commented Jul 10, 2024

This adds #![deny(clippy::undocumented_unsafe_blocks)] to the librav1d crate. Since we don't yet run clippy in CI, this doesn't do anything yet, but that's good, since we can turn that on once we fix all of the errors. This PR only turns on the lint and fixes the existing safety comments into ones that the lint recognizes.

@kkysen kkysen force-pushed the kkysen/deny-unsafe_op_in_unsafe_fn branch from f575f39 to 6c4dad4 Compare July 10, 2024 22:11
@kkysen kkysen force-pushed the kkysen/deny-clippy-undocumented_unsafe_blocks branch from 7388f20 to 4fd4893 Compare July 10, 2024 22:11
@kkysen kkysen force-pushed the kkysen/deny-clippy-undocumented_unsafe_blocks branch from 4fd4893 to 3ceb813 Compare July 10, 2024 22:12
@kkysen kkysen force-pushed the kkysen/deny-unsafe_op_in_unsafe_fn branch from 6c4dad4 to 998c8d6 Compare July 10, 2024 22:12
Base automatically changed from kkysen/deny-unsafe_op_in_unsafe_fn to main July 10, 2024 23:13
src/refmvs.rs Show resolved Hide resolved
@kkysen kkysen merged commit c34d308 into main Jul 11, 2024
@kkysen kkysen deleted the kkysen/deny-clippy-undocumented_unsafe_blocks branch July 11, 2024 16:44
kkysen added a commit that referenced this pull request Jul 11, 2024
* Fixes `#![deny(clippy::missing_safety_doc)]` of #1270.

This already passes without errors, unlike
`#![deny(clippy::undocumented_unsafe_blocks)]` in #1305.
@kkysen kkysen mentioned this pull request Sep 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants