Skip to content

Commit d050730

Browse files
committed
Auto merge of rust-lang#130540 - veera-sivarajan:fix-87525, r=estebank
Add a Lint for Pointer to Integer Transmutes in Consts Fixes rust-lang#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#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#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
2 parents a0653c5 + 98b59a1 commit d050730

File tree

2 files changed

+12
-6
lines changed

2 files changed

+12
-6
lines changed

tests/ui/transmutes_expressible_as_ptr_casts.fixed

+6-3
Original file line numberDiff line numberDiff line change
@@ -84,8 +84,11 @@ fn issue_10449() {
8484
}
8585

8686
// Pointers cannot be cast to integers in const contexts
87+
#[allow(ptr_to_integer_transmute_in_consts, reason = "This is tested in the compiler test suite")]
8788
const fn issue_12402<P>(ptr: *const P) {
88-
unsafe { transmute::<*const i32, usize>(&42i32) };
89-
unsafe { transmute::<fn(*const P), usize>(issue_12402) };
90-
let _ = unsafe { transmute::<_, usize>(ptr) };
89+
// This test exists even though the compiler lints against it
90+
// to test that clippy's transmute lints do not trigger on this.
91+
unsafe { std::mem::transmute::<*const i32, usize>(&42i32) };
92+
unsafe { std::mem::transmute::<fn(*const P), usize>(issue_12402) };
93+
let _ = unsafe { std::mem::transmute::<_, usize>(ptr) };
9194
}

tests/ui/transmutes_expressible_as_ptr_casts.rs

+6-3
Original file line numberDiff line numberDiff line change
@@ -84,8 +84,11 @@ fn issue_10449() {
8484
}
8585

8686
// Pointers cannot be cast to integers in const contexts
87+
#[allow(ptr_to_integer_transmute_in_consts, reason = "This is tested in the compiler test suite")]
8788
const fn issue_12402<P>(ptr: *const P) {
88-
unsafe { transmute::<*const i32, usize>(&42i32) };
89-
unsafe { transmute::<fn(*const P), usize>(issue_12402) };
90-
let _ = unsafe { transmute::<_, usize>(ptr) };
89+
// This test exists even though the compiler lints against it
90+
// to test that clippy's transmute lints do not trigger on this.
91+
unsafe { std::mem::transmute::<*const i32, usize>(&42i32) };
92+
unsafe { std::mem::transmute::<fn(*const P), usize>(issue_12402) };
93+
let _ = unsafe { std::mem::transmute::<_, usize>(ptr) };
9194
}

0 commit comments

Comments
 (0)