Skip to content

Fix warnings and errors from Clippy and Miri#44

Merged
anderslanglands merged 2 commits intoanderslanglands:masterfrom
orzogc:fix-miri
Sep 30, 2024
Merged

Fix warnings and errors from Clippy and Miri#44
anderslanglands merged 2 commits intoanderslanglands:masterfrom
orzogc:fix-miri

Conversation

@orzogc
Copy link
Copy Markdown
Contributor

@orzogc orzogc commented May 3, 2024

  • Fix Clippy's warnings.
  • Fix Miri's integer-to-pointer cast warning and the borrow stack error.
  • Fix a panic in string_cache_iter() if the string cache is empty, and add a corresponding test.

@anderslanglands anderslanglands merged commit 744bfeb into anderslanglands:master Sep 30, 2024
@anderslanglands
Copy link
Copy Markdown
Owner

Thanks!

@orzogc orzogc deleted the fix-miri branch September 30, 2024 22:07
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