Skip to content

Tighten soundness of addr_of! uses#1617

Merged
joshlf merged 1 commit intomainfrom
addr-of-safety
Sep 7, 2024
Merged

Tighten soundness of addr_of! uses#1617
joshlf merged 1 commit intomainfrom
addr-of-safety

Conversation

@joshlf
Copy link
Member

@joshlf joshlf commented Sep 7, 2024

Closes #1607

@joshlf joshlf requested a review from jswrenn September 7, 2024 22:10
@joshlf joshlf enabled auto-merge September 7, 2024 22:10
@joshlf joshlf added this pull request to the merge queue Sep 7, 2024
@codecov-commenter
Copy link

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 87.83%. Comparing base (d66705a) to head (17b34cc).
Report is 1 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #1617      +/-   ##
==========================================
+ Coverage   87.77%   87.83%   +0.06%     
==========================================
  Files          15       15              
  Lines        5594     5623      +29     
==========================================
+ Hits         4910     4939      +29     
  Misses        684      684              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Merged via the queue into main with commit 403a890 Sep 7, 2024
@joshlf joshlf deleted the addr-of-safety branch September 7, 2024 22:45
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.

Audit uses of addr_of! for read-only-ness

3 participants