1use rustc_ast::LitKind;
2use rustc_errors::Applicability;
3use rustc_hir::def::{DefKind, Res};
4use rustc_hir::def_id::LocalDefId;
5use rustc_hir::{self as hir};
6use rustc_macros::LintDiagnostic;
7use rustc_middle::ty::{self, Ty};
8use rustc_session::{declare_lint, impl_lint_pass};
9use rustc_span::sym;
10
11use crate::lints::{IntegerToPtrTransmutes, IntegerToPtrTransmutesSuggestion};
12use crate::{LateContext, LateLintPass};
13
14declare_lint! {
15 pub PTR_TO_INTEGER_TRANSMUTE_IN_CONSTS,
44 Warn,
45 "detects pointer to integer transmutes in const functions and associated constants",
46}
47
48declare_lint! {
49 pub UNNECESSARY_TRANSMUTES,
68 Warn,
69 "detects transmutes that can also be achieved by other operations"
70}
71
72declare_lint! {
73 pub INTEGER_TO_PTR_TRANSMUTES,
103 Warn,
104 "detects integer to pointer transmutes",
105}
106
107pub(crate) struct CheckTransmutes;
108
109impl_lint_pass!(CheckTransmutes => [PTR_TO_INTEGER_TRANSMUTE_IN_CONSTS, UNNECESSARY_TRANSMUTES, INTEGER_TO_PTR_TRANSMUTES]);
110
111impl<'tcx> LateLintPass<'tcx> for CheckTransmutes {
112 fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx hir::Expr<'tcx>) {
113 let hir::ExprKind::Call(callee, [arg]) = expr.kind else {
114 return;
115 };
116 let hir::ExprKind::Path(qpath) = callee.kind else {
117 return;
118 };
119 let Res::Def(DefKind::Fn, def_id) = cx.qpath_res(&qpath, callee.hir_id) else {
120 return;
121 };
122 if !cx.tcx.is_intrinsic(def_id, sym::transmute) {
123 return;
124 };
125 let body_owner_def_id = cx.tcx.hir_enclosing_body_owner(expr.hir_id);
126 let const_context = cx.tcx.hir_body_const_context(body_owner_def_id);
127 let args = cx.typeck_results().node_args(callee.hir_id);
128
129 let src = args.type_at(0);
130 let dst = args.type_at(1);
131
132 check_ptr_transmute_in_const(cx, expr, body_owner_def_id, const_context, src, dst);
133 check_unnecessary_transmute(cx, expr, callee, arg, const_context, src, dst);
134 check_int_to_ptr_transmute(cx, expr, arg, src, dst);
135 }
136}
137
138fn check_int_to_ptr_transmute<'tcx>(
142 cx: &LateContext<'tcx>,
143 expr: &'tcx hir::Expr<'tcx>,
144 arg: &'tcx hir::Expr<'tcx>,
145 src: Ty<'tcx>,
146 dst: Ty<'tcx>,
147) {
148 if !matches!(src.kind(), ty::Uint(_) | ty::Int(_)) {
149 return;
150 }
151 let (ty::Ref(_, inner_ty, mutbl) | ty::RawPtr(inner_ty, mutbl)) = dst.kind() else {
152 return;
153 };
154 if matches!(arg.kind, hir::ExprKind::Lit(hir::Lit { node: LitKind::Int(v, _), .. }) if v == 0) {
156 return;
157 }
158 let Ok(layout_inner_ty) = cx.tcx.layout_of(cx.typing_env().as_query_input(*inner_ty)) else {
160 return;
161 };
162 if layout_inner_ty.is_1zst() {
163 return;
164 }
165
166 let suffix = if mutbl.is_mut() { "_mut" } else { "" };
167 cx.tcx.emit_node_span_lint(
168 INTEGER_TO_PTR_TRANSMUTES,
169 expr.hir_id,
170 expr.span,
171 IntegerToPtrTransmutes {
172 suggestion: if layout_inner_ty.is_sized() {
173 Some(if dst.is_ref() {
174 IntegerToPtrTransmutesSuggestion::ToRef {
175 dst: *inner_ty,
176 suffix,
177 ref_mutbl: mutbl.prefix_str(),
178 start_call: expr.span.shrink_to_lo().until(arg.span),
179 }
180 } else {
181 IntegerToPtrTransmutesSuggestion::ToPtr {
182 dst: *inner_ty,
183 suffix,
184 start_call: expr.span.shrink_to_lo().until(arg.span),
185 }
186 })
187 } else {
188 None
191 },
192 },
193 );
194}
195
196fn check_ptr_transmute_in_const<'tcx>(
209 cx: &LateContext<'tcx>,
210 expr: &'tcx hir::Expr<'tcx>,
211 body_owner_def_id: LocalDefId,
212 const_context: Option<hir::ConstContext>,
213 src: Ty<'tcx>,
214 dst: Ty<'tcx>,
215) {
216 if matches!(const_context, Some(hir::ConstContext::ConstFn))
217 || matches!(cx.tcx.def_kind(body_owner_def_id), DefKind::AssocConst)
218 {
219 if src.is_raw_ptr() && dst.is_integral() {
220 cx.tcx.emit_node_span_lint(
221 PTR_TO_INTEGER_TRANSMUTE_IN_CONSTS,
222 expr.hir_id,
223 expr.span,
224 UndefinedTransmuteLint,
225 );
226 }
227 }
228}
229
230fn check_unnecessary_transmute<'tcx>(
235 cx: &LateContext<'tcx>,
236 expr: &'tcx hir::Expr<'tcx>,
237 callee: &'tcx hir::Expr<'tcx>,
238 arg: &'tcx hir::Expr<'tcx>,
239 const_context: Option<hir::ConstContext>,
240 src: Ty<'tcx>,
241 dst: Ty<'tcx>,
242) {
243 let callee_span = callee.span.find_ancestor_inside(expr.span).unwrap_or(callee.span);
244 let (sugg, help) = match (src.kind(), dst.kind()) {
245 (ty::Array(t, _), ty::Uint(_) | ty::Float(_) | ty::Int(_))
248 if *t.kind() == ty::Uint(ty::UintTy::U8) =>
249 {
250 (
251 Some(vec![(callee_span, format!("{dst}::from_ne_bytes"))]),
252 Some(
253 "there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order",
254 ),
255 )
256 }
257 (ty::Uint(_) | ty::Float(_) | ty::Int(_), ty::Array(t, _))
259 if *t.kind() == ty::Uint(ty::UintTy::U8) =>
260 {
261 (
262 Some(vec![(callee_span, format!("{src}::to_ne_bytes"))]),
263 Some(
264 "there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order",
265 ),
266 )
267 }
268 (ty::Char, ty::Uint(ty::UintTy::U32)) => {
270 (Some(vec![(callee_span, "u32::from".to_string())]), None)
271 }
272 (ty::Char, ty::Int(ty::IntTy::I32)) => (
274 Some(vec![
275 (callee_span, "u32::from".to_string()),
276 (expr.span.shrink_to_hi(), ".cast_signed()".to_string()),
277 ]),
278 None,
279 ),
280 (ty::Uint(ty::UintTy::U32), ty::Char) => (
282 Some(vec![(callee_span, "char::from_u32_unchecked".to_string())]),
283 Some("consider using `char::from_u32(…).unwrap()`"),
284 ),
285 (ty::Int(ty::IntTy::I32), ty::Char) => (
287 Some(vec![
288 (callee_span, "char::from_u32_unchecked(i32::cast_unsigned".to_string()),
289 (expr.span.shrink_to_hi(), ")".to_string()),
290 ]),
291 Some("consider using `char::from_u32(i32::cast_unsigned(…)).unwrap()`"),
292 ),
293 (ty::Uint(_), ty::Int(_)) => {
295 (Some(vec![(callee_span, format!("{src}::cast_signed"))]), None)
296 }
297 (ty::Int(_), ty::Uint(_)) => {
299 (Some(vec![(callee_span, format!("{src}::cast_unsigned"))]), None)
300 }
301 (ty::Float(_), ty::Uint(ty::UintTy::Usize) | ty::Int(ty::IntTy::Isize)) => (
303 Some(vec![
304 (callee_span, format!("{src}::to_bits")),
305 (expr.span.shrink_to_hi(), format!(" as {dst}")),
306 ]),
307 None,
308 ),
309 (ty::Float(_), ty::Int(..)) => (
311 Some(vec![
312 (callee_span, format!("{src}::to_bits")),
313 (expr.span.shrink_to_hi(), ".cast_signed()".to_string()),
314 ]),
315 None,
316 ),
317 (ty::Float(_), ty::Uint(..)) => {
319 (Some(vec![(callee_span, format!("{src}::to_bits"))]), None)
320 }
321 (ty::Uint(ty::UintTy::Usize) | ty::Int(ty::IntTy::Isize), ty::Float(_)) => (
323 Some(vec![
324 (callee_span, format!("{dst}::from_bits")),
325 (arg.span.shrink_to_hi(), " as _".to_string()),
326 ]),
327 None,
328 ),
329 (ty::Int(_), ty::Float(_)) => (
331 Some(vec![
332 (callee_span, format!("{dst}::from_bits({src}::cast_unsigned")),
333 (expr.span.shrink_to_hi(), ")".to_string()),
334 ]),
335 None,
336 ),
337 (ty::Uint(_), ty::Float(_)) => {
339 (Some(vec![(callee_span, format!("{dst}::from_bits"))]), None)
340 }
341 (ty::Bool, ty::Int(..) | ty::Uint(..)) if const_context.is_some() => (
345 Some(vec![
346 (callee_span, "".to_string()),
347 (expr.span.shrink_to_hi(), format!(" as {dst}")),
348 ]),
349 None,
350 ),
351 (ty::Bool, ty::Int(..) | ty::Uint(..)) => {
353 (Some(vec![(callee_span, format!("{dst}::from"))]), None)
354 }
355 _ => return,
356 };
357
358 cx.tcx.node_span_lint(UNNECESSARY_TRANSMUTES, expr.hir_id, expr.span, |diag| {
359 diag.primary_message("unnecessary transmute");
360 if let Some(sugg) = sugg {
361 diag.multipart_suggestion("replace this with", sugg, Applicability::MachineApplicable);
362 }
363 if let Some(help) = help {
364 diag.help(help);
365 }
366 });
367}
368
369#[derive(LintDiagnostic)]
370#[diag(lint_undefined_transmute)]
371#[note]
372#[note(lint_note2)]
373#[help]
374pub(crate) struct UndefinedTransmuteLint;