]> git.proxmox.com Git - rustc.git/blame - src/tools/clippy/clippy_lints/src/transmute/transmute_num_to_bytes.rs
New upstream version 1.66.0+dfsg1
[rustc.git] / src / tools / clippy / clippy_lints / src / transmute / transmute_num_to_bytes.rs
CommitLineData
3c0e092e
XL
1use super::TRANSMUTE_NUM_TO_BYTES;
2use clippy_utils::diagnostics::span_lint_and_then;
3use clippy_utils::sugg;
4use rustc_errors::Applicability;
5use rustc_hir::Expr;
6use rustc_lint::LateContext;
7use rustc_middle::ty::{self, Ty, UintTy};
8
9/// Checks for `transmute_int_to_float` lint.
10/// Returns `true` if it's triggered, otherwise returns `false`.
11pub(super) fn check<'tcx>(
12 cx: &LateContext<'tcx>,
13 e: &'tcx Expr<'_>,
14 from_ty: Ty<'tcx>,
15 to_ty: Ty<'tcx>,
5099ac24 16 arg: &'tcx Expr<'_>,
3c0e092e
XL
17 const_context: bool,
18) -> bool {
19 match (&from_ty.kind(), &to_ty.kind()) {
20 (ty::Int(_) | ty::Uint(_) | ty::Float(_), ty::Array(arr_ty, _)) => {
21 if !matches!(arr_ty.kind(), ty::Uint(UintTy::U8)) {
22 return false;
23 }
24 if matches!(from_ty.kind(), ty::Float(_)) && const_context {
25 // TODO: Remove when const_float_bits_conv is stabilized
26 // rust#72447
27 return false;
28 }
29
30 span_lint_and_then(
31 cx,
32 TRANSMUTE_NUM_TO_BYTES,
33 e.span,
2b03887a 34 &format!("transmute from a `{from_ty}` to a `{to_ty}`"),
3c0e092e 35 |diag| {
5099ac24 36 let arg = sugg::Sugg::hir(cx, arg, "..");
3c0e092e
XL
37 diag.span_suggestion(
38 e.span,
39 "consider using `to_ne_bytes()`",
2b03887a 40 format!("{arg}.to_ne_bytes()"),
3c0e092e
XL
41 Applicability::Unspecified,
42 );
43 },
44 );
45 true
46 },
47 _ => false,
48 }
49}