Clippy lints / Nursery
Clippy lint · Nursery · checked with Clippy 0.1.99
clippy::transmute_undefined_repr: transmute from `main::Foo<u32>` to `main::Foo<i32>`, both of which have an undefined layout
What it meansChecks for transmutes between types which do not have a representation defined relative to each other. It is in the nursery group and off by default.
What you see
warning: transmute from `main::Foo<u32>` to `main::Foo<i32>`, both of which have an undefined layout --> main.rs:4:18 | 4 | let _ = unsafe { core::mem::transmute::<Foo<u32>, Foo<i32>>(Foo(0u32, 0u32)) }; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: two instances of the same generic type (`Foo`) may have different layouts = help: for further information visit https://rust-lang.github.io/rust-clippy/stable/index.html#transmute_undefined_repr = note: `-W clippy::transmute-undefined-repr` implied by `-W clippy::nursery`
Real output of Clippy 0.1.99 (Rust 1.99) on the example below. Names and line numbers in yours will differ.
Does it matter?
The results of such a transmute are not defined.
New lints still being finished. Off by default and may have false positives.
How to fix it
Clippy does not fix this one automatically. Change the code by hand:
Flagged
struct Foo<T>(u32, T);
let _ = unsafe { core::mem::transmute::<Foo<u32>, Foo<i32>>(Foo(0u32, 0u32)) };
Write this instead
#[repr(C)]
struct Foo<T>(u32, T);
let _ = unsafe { core::mem::transmute::<Foo<u32>, Foo<i32>>(Foo(0u32, 0u32)) };
Turn it off, or on
It is off by default. To use it, set it to warn or deny:
Whole crate (Cargo.toml)
[lints.clippy]
transmute_undefined_repr = "warn"In code
#![warn(clippy::transmute_undefined_repr)]One run
cargo clippy -- -W clippy::transmute-undefined-reprThe [lints] table needs Rust 1.74 or newer. In a workspace, put it under [workspace.lints.clippy] and add [lints] workspace = true to each member.
Clippy's own documentation
What it does
Checks for transmutes between types which do not have a representation defined relative to each other.
Why is this bad?
The results of such a transmute are not defined.
Known problems
This lint has had multiple problems in the past and was moved to nursery. See issue
#8496 for more details.
Example
struct Foo<T>(u32, T);
let _ = unsafe { core::mem::transmute::<Foo<u32>, Foo<i32>>(Foo(0u32, 0u32)) };
Use instead:
#[repr(C)]
struct Foo<T>(u32, T);
let _ = unsafe { core::mem::transmute::<Foo<u32>, Foo<i32>>(Foo(0u32, 0u32)) };
From the Clippy lint list (0.1.99), part of the Rust project, MIT or Apache-2.0. Official entry.
Related lints
- redundant_cloneChecks for a redundant clone() (and its relatives) which clones an owned value that is going to be dropped without further use
- too_long_first_doc_paragraphChecks if the first paragraph in the documentation of items listed in the module page is too long
- trailing_empty_arraytrailing zero-sized array in a struct which is not marked with a `repr` attribute
- trait_duplication_in_boundsthis trait bound is already specified in the where clause
- trivial_regexChecks for trivial regex creation (with Regex::new, RegexBuilder::new, or RegexSet::new)
- tuple_array_conversionsit looks like you're trying to convert a tuple to an array
- type_repetition_in_boundstype `T` has already been used as a bound predicate
All 847 Clippy lints · Rust compiler errors · Cargo.toml checker
Up next
Related lintclippy::redundant_cloneChecks for a redundant clone() (and its relatives) which clones an owned value that is going to be dropped without further useRead it next →Did this answer your question?