1 use clippy_utils::consts::{constant, Constant};
2 use clippy_utils::diagnostics::span_lint;
3 use clippy_utils::expr_or_init;
4 use clippy_utils::ty::{get_discriminant_value, is_isize_or_usize};
6 use rustc_attr::IntType;
7 use rustc_hir::def::{DefKind, Res};
8 use rustc_hir::{BinOpKind, Expr, ExprKind};
9 use rustc_lint::LateContext;
10 use rustc_middle::ty::{self, FloatTy, Ty};
12 use super::{utils, CAST_ENUM_TRUNCATION, CAST_POSSIBLE_TRUNCATION};
14 fn constant_int(cx: &LateContext<'_>, expr: &Expr<'_>) -> Option<u128> {
15 if let Some((Constant::Int(c), _)) = constant(cx, cx.typeck_results(), expr) {
22 fn get_constant_bits(cx: &LateContext<'_>, expr: &Expr<'_>) -> Option<u64> {
23 constant_int(cx, expr).map(|c| u64::from(128 - c.leading_zeros()))
26 fn apply_reductions(cx: &LateContext<'_>, nbits: u64, expr: &Expr<'_>, signed: bool) -> u64 {
27 match expr_or_init(cx, expr).kind {
28 ExprKind::Cast(inner, _) => apply_reductions(cx, nbits, inner, signed),
29 ExprKind::Block(block, _) => block.expr.map_or(nbits, |e| apply_reductions(cx, nbits, e, signed)),
30 ExprKind::Binary(op, left, right) => match op.node {
32 apply_reductions(cx, nbits, left, signed).saturating_sub(if signed {
33 // let's be conservative here
36 // by dividing by 1, we remove 0 bits, etc.
37 get_constant_bits(cx, right).map_or(0, |b| b.saturating_sub(1))
40 BinOpKind::Rem | BinOpKind::BitAnd => get_constant_bits(cx, right)
41 .unwrap_or(u64::max_value())
42 .min(apply_reductions(cx, nbits, left, signed)),
43 BinOpKind::Shr => apply_reductions(cx, nbits, left, signed)
44 .saturating_sub(constant_int(cx, right).map_or(0, |s| u64::try_from(s).expect("shift too high"))),
47 ExprKind::MethodCall(method, left, [right], _) => {
51 let max_bits = if method.ident.as_str() == "min" {
52 get_constant_bits(cx, right)
56 apply_reductions(cx, nbits, left, signed).min(max_bits.unwrap_or(u64::max_value()))
58 ExprKind::MethodCall(method, _, [lo, hi], _) => {
59 if method.ident.as_str() == "clamp" {
60 //FIXME: make this a diagnostic item
61 if let (Some(lo_bits), Some(hi_bits)) = (get_constant_bits(cx, lo), get_constant_bits(cx, hi)) {
62 return lo_bits.max(hi_bits);
67 ExprKind::MethodCall(method, _value, [], _) => {
68 if method.ident.name.as_str() == "signum" {
69 0 // do not lint if cast comes from a `signum` function
78 pub(super) fn check(cx: &LateContext<'_>, expr: &Expr<'_>, cast_expr: &Expr<'_>, cast_from: Ty<'_>, cast_to: Ty<'_>) {
79 let msg = match (cast_from.kind(), cast_to.is_integral()) {
80 (ty::Int(_) | ty::Uint(_), true) => {
81 let from_nbits = apply_reductions(
83 utils::int_ty_to_nbits(cast_from, cx.tcx),
85 cast_from.is_signed(),
87 let to_nbits = utils::int_ty_to_nbits(cast_to, cx.tcx);
89 let (should_lint, suffix) = match (is_isize_or_usize(cast_from), is_isize_or_usize(cast_to)) {
90 (true, true) | (false, false) => (to_nbits < from_nbits, ""),
94 " on targets with 64-bit wide pointers"
99 (false, true) => (from_nbits == 64, " on targets with 32-bit wide pointers"),
106 format!("casting `{cast_from}` to `{cast_to}` may truncate the value{suffix}",)
109 (ty::Adt(def, _), true) if def.is_enum() => {
110 let (from_nbits, variant) = if let ExprKind::Path(p) = &cast_expr.kind
111 && let Res::Def(DefKind::Ctor(..), id) = cx.qpath_res(p, cast_expr.hir_id)
113 let i = def.variant_index_with_ctor_id(id);
114 let variant = def.variant(i);
115 let nbits = utils::enum_value_nbits(get_discriminant_value(cx.tcx, *def, i));
116 (nbits, Some(variant))
118 (utils::enum_ty_to_nbits(*def, cx.tcx), None)
120 let to_nbits = utils::int_ty_to_nbits(cast_to, cx.tcx);
122 let cast_from_ptr_size = def.repr().int.map_or(true, |ty| {
125 IntType::SignedInt(ast::IntTy::Isize) | IntType::UnsignedInt(ast::UintTy::Usize)
128 let suffix = match (cast_from_ptr_size, is_isize_or_usize(cast_to)) {
129 (false, false) if from_nbits > to_nbits => "",
130 (true, false) if from_nbits > to_nbits => "",
131 (false, true) if from_nbits > 64 => "",
132 (false, true) if from_nbits > 32 => " on targets with 32-bit wide pointers",
136 if let Some(variant) = variant {
139 CAST_ENUM_TRUNCATION,
142 "casting `{cast_from}::{}` to `{cast_to}` will truncate the value{suffix}",
148 format!("casting `{cast_from}` to `{cast_to}` may truncate the value{suffix}",)
151 (ty::Float(_), true) => {
152 format!("casting `{cast_from}` to `{cast_to}` may truncate the value")
155 (ty::Float(FloatTy::F64), false) if matches!(cast_to.kind(), &ty::Float(FloatTy::F32)) => {
156 "casting `f64` to `f32` may truncate the value".to_string()
162 span_lint(cx, CAST_POSSIBLE_TRUNCATION, expr.span, &msg);