Skip to content

Commit

Permalink
Auto merge of #130540 - veera-sivarajan:fix-87525, r=estebank
Browse files Browse the repository at this point in the history
Add a Lint for Pointer to Integer Transmutes in Consts

Fixes #87525

This PR adds a MirLint for pointer to integer transmutes in const functions and associated consts. The implementation closely follows this comment: rust-lang/rust#85769 (comment). More details about the implementation can be found in the comments.

Note: This could break some sound code as mentioned by RalfJung in rust-lang/rust#85769 (comment):

> ... technically const-code could transmute/cast an int to a ptr and then transmute it back and that would be correct -- so the lint will deny some sound code. Does not seem terribly likely though.

References:
1. https://doc.rust-lang.org/std/mem/fn.transmute.html
2. https://doc.rust-lang.org/reference/items/associated-items.html#associated-constants
  • Loading branch information
bors committed Oct 6, 2024
2 parents d03c751 + 29b74a2 commit b1cc7b0
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit b1cc7b0

Please sign in to comment.