2022-06-30 08:50:09 +00:00
|
|
|
use clippy_utils::diagnostics::{span_lint, span_lint_and_sugg, span_lint_hir_and_then};
|
2021-03-25 18:29:11 +00:00
|
|
|
use clippy_utils::source::{snippet, snippet_opt};
|
2018-11-27 20:14:15 +00:00
|
|
|
use if_chain::if_chain;
|
2020-03-01 03:23:33 +00:00
|
|
|
use rustc_ast::ast::LitKind;
|
2018-12-29 15:04:45 +00:00
|
|
|
use rustc_errors::Applicability;
|
2020-01-09 07:13:22 +00:00
|
|
|
use rustc_hir::intravisit::FnKind;
|
2020-02-21 08:39:38 +00:00
|
|
|
use rustc_hir::{
|
2020-07-14 12:59:59 +00:00
|
|
|
self as hir, def, BinOpKind, BindingAnnotation, Body, Expr, ExprKind, FnDecl, HirId, Mutability, PatKind, Stmt,
|
2022-06-30 08:50:09 +00:00
|
|
|
StmtKind, TyKind,
|
2020-02-21 08:39:38 +00:00
|
|
|
};
|
2020-01-12 06:08:41 +00:00
|
|
|
use rustc_lint::{LateContext, LateLintPass};
|
2020-11-05 13:29:48 +00:00
|
|
|
use rustc_middle::lint::in_external_macro;
|
2020-01-11 11:37:08 +00:00
|
|
|
use rustc_session::{declare_lint_pass, declare_tool_lint};
|
2020-04-26 22:12:51 +00:00
|
|
|
use rustc_span::hygiene::DesugaringKind;
|
2020-01-04 10:00:00 +00:00
|
|
|
use rustc_span::source_map::{ExpnKind, Span};
|
2015-05-06 08:01:49 +00:00
|
|
|
|
2021-03-25 18:29:11 +00:00
|
|
|
use clippy_utils::sugg::Sugg;
|
2022-06-30 08:50:09 +00:00
|
|
|
use clippy_utils::{get_parent_expr, in_constant, iter_input_pats, last_path_segment, SpanlessEq};
|
2019-01-31 01:15:29 +00:00
|
|
|
|
2018-03-28 13:24:26 +00:00
|
|
|
declare_clippy_lint! {
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### What it does
|
|
|
|
/// Checks for function arguments and let bindings denoted as
|
2019-03-05 16:50:33 +00:00
|
|
|
/// `ref`.
|
|
|
|
///
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### Why is this bad?
|
|
|
|
/// The `ref` declaration makes the function take an owned
|
2019-03-05 16:50:33 +00:00
|
|
|
/// value, but turns the argument into a reference (which means that the value
|
|
|
|
/// is destroyed when exiting the function). This adds not much value: either
|
|
|
|
/// take a reference type, or take an owned value and create references in the
|
|
|
|
/// body.
|
|
|
|
///
|
|
|
|
/// For let bindings, `let x = &foo;` is preferred over `let ref x = foo`. The
|
|
|
|
/// type of `x` is more obvious with the former.
|
|
|
|
///
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### Known problems
|
|
|
|
/// If the argument is dereferenced within the function,
|
2019-03-05 16:50:33 +00:00
|
|
|
/// removing the `ref` will lead to errors. This can be fixed by removing the
|
2019-01-31 01:15:29 +00:00
|
|
|
/// dereferences, e.g., changing `*x` to `x` within the function.
|
2019-03-05 16:50:33 +00:00
|
|
|
///
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### Example
|
2022-06-16 15:39:06 +00:00
|
|
|
/// ```rust
|
|
|
|
/// fn foo(ref _x: u8) {}
|
|
|
|
/// ```
|
2020-06-09 14:36:01 +00:00
|
|
|
///
|
2022-06-16 15:39:06 +00:00
|
|
|
/// Use instead:
|
|
|
|
/// ```rust
|
|
|
|
/// fn foo(_x: &u8) {}
|
2019-03-05 16:50:33 +00:00
|
|
|
/// ```
|
2021-12-06 11:33:31 +00:00
|
|
|
#[clippy::version = "pre 1.29.0"]
|
2016-08-06 08:18:36 +00:00
|
|
|
pub TOPLEVEL_REF_ARG,
|
2018-03-28 13:24:26 +00:00
|
|
|
style,
|
2016-08-06 08:18:36 +00:00
|
|
|
"an entire binding declared as `ref`, in a function argument or a `let` statement"
|
2016-02-05 23:13:29 +00:00
|
|
|
}
|
2018-03-28 13:24:26 +00:00
|
|
|
declare_clippy_lint! {
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### What it does
|
|
|
|
/// Checks for the use of bindings with a single leading
|
2019-03-05 16:50:33 +00:00
|
|
|
/// underscore.
|
|
|
|
///
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### Why is this bad?
|
|
|
|
/// A single leading underscore is usually used to indicate
|
2019-03-05 16:50:33 +00:00
|
|
|
/// that a binding will not be used. Using such a binding breaks this
|
|
|
|
/// expectation.
|
|
|
|
///
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### Known problems
|
|
|
|
/// The lint does not work properly with desugaring and
|
2019-03-05 16:50:33 +00:00
|
|
|
/// macro, it has been allowed in the mean time.
|
|
|
|
///
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### Example
|
2019-03-05 16:50:33 +00:00
|
|
|
/// ```rust
|
|
|
|
/// let _x = 0;
|
|
|
|
/// let y = _x + 1; // Here we are using `_x`, even though it has a leading
|
|
|
|
/// // underscore. We should rename `_x` to `x`
|
|
|
|
/// ```
|
2021-12-06 11:33:31 +00:00
|
|
|
#[clippy::version = "pre 1.29.0"]
|
2016-08-24 19:47:46 +00:00
|
|
|
pub USED_UNDERSCORE_BINDING,
|
2018-03-28 13:24:26 +00:00
|
|
|
pedantic,
|
2016-08-24 19:47:46 +00:00
|
|
|
"using a binding which is prefixed with an underscore"
|
|
|
|
}
|
|
|
|
|
2018-03-28 13:24:26 +00:00
|
|
|
declare_clippy_lint! {
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### What it does
|
|
|
|
/// Checks for the use of short circuit boolean conditions as
|
2019-03-05 16:50:33 +00:00
|
|
|
/// a
|
|
|
|
/// statement.
|
|
|
|
///
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### Why is this bad?
|
|
|
|
/// Using a short circuit boolean condition as a statement
|
2019-03-05 16:50:33 +00:00
|
|
|
/// may hide the fact that the second part is executed or not depending on the
|
|
|
|
/// outcome of the first part.
|
|
|
|
///
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### Example
|
2019-08-02 06:13:54 +00:00
|
|
|
/// ```rust,ignore
|
2019-03-05 16:50:33 +00:00
|
|
|
/// f() && g(); // We should write `if f() { g(); }`.
|
|
|
|
/// ```
|
2021-12-06 11:33:31 +00:00
|
|
|
#[clippy::version = "pre 1.29.0"]
|
2016-12-29 23:00:55 +00:00
|
|
|
pub SHORT_CIRCUIT_STATEMENT,
|
2018-03-28 13:24:26 +00:00
|
|
|
complexity,
|
2016-12-29 23:00:55 +00:00
|
|
|
"using a short circuit boolean condition as a statement"
|
|
|
|
}
|
|
|
|
|
2018-03-28 13:24:26 +00:00
|
|
|
declare_clippy_lint! {
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### What it does
|
|
|
|
/// Catch casts from `0` to some pointer type
|
2019-03-05 16:50:33 +00:00
|
|
|
///
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### Why is this bad?
|
|
|
|
/// This generally means `null` and is better expressed as
|
2019-03-05 16:50:33 +00:00
|
|
|
/// {`std`, `core`}`::ptr::`{`null`, `null_mut`}.
|
|
|
|
///
|
2021-07-29 10:16:06 +00:00
|
|
|
/// ### Example
|
2019-03-09 07:51:23 +00:00
|
|
|
/// ```rust
|
|
|
|
/// let a = 0 as *const u32;
|
2022-06-16 15:39:06 +00:00
|
|
|
/// ```
|
2020-06-09 14:36:01 +00:00
|
|
|
///
|
2022-06-16 15:39:06 +00:00
|
|
|
/// Use instead:
|
|
|
|
/// ```rust
|
2020-06-09 14:36:01 +00:00
|
|
|
/// let a = std::ptr::null::<u32>();
|
2019-03-05 16:50:33 +00:00
|
|
|
/// ```
|
2021-12-06 11:33:31 +00:00
|
|
|
#[clippy::version = "pre 1.29.0"]
|
2017-03-07 11:58:07 +00:00
|
|
|
pub ZERO_PTR,
|
2018-03-28 13:24:26 +00:00
|
|
|
style,
|
2020-01-06 06:30:43 +00:00
|
|
|
"using `0 as *{const, mut} T`"
|
2017-03-07 11:58:07 +00:00
|
|
|
}
|
|
|
|
|
2019-04-08 20:43:55 +00:00
|
|
|
declare_lint_pass!(MiscLints => [
|
|
|
|
TOPLEVEL_REF_ARG,
|
|
|
|
USED_UNDERSCORE_BINDING,
|
|
|
|
SHORT_CIRCUIT_STATEMENT,
|
|
|
|
ZERO_PTR,
|
|
|
|
]);
|
2014-12-24 23:15:22 +00:00
|
|
|
|
2020-06-25 20:41:36 +00:00
|
|
|
impl<'tcx> LateLintPass<'tcx> for MiscLints {
|
2016-12-21 11:14:54 +00:00
|
|
|
fn check_fn(
|
|
|
|
&mut self,
|
2020-06-25 20:41:36 +00:00
|
|
|
cx: &LateContext<'tcx>,
|
2016-12-21 11:14:54 +00:00
|
|
|
k: FnKind<'tcx>,
|
2019-12-30 04:02:10 +00:00
|
|
|
decl: &'tcx FnDecl<'_>,
|
2019-12-22 14:42:41 +00:00
|
|
|
body: &'tcx Body<'_>,
|
2020-11-05 13:29:48 +00:00
|
|
|
span: Span,
|
2019-02-20 10:11:11 +00:00
|
|
|
_: HirId,
|
2016-12-21 11:14:54 +00:00
|
|
|
) {
|
2020-11-27 08:24:42 +00:00
|
|
|
if let FnKind::Closure = k {
|
2015-08-16 11:54:03 +00:00
|
|
|
// Does not apply to closures
|
2016-01-04 04:26:12 +00:00
|
|
|
return;
|
2015-08-16 11:54:03 +00:00
|
|
|
}
|
2020-11-05 13:29:48 +00:00
|
|
|
if in_external_macro(cx.tcx.sess, span) {
|
|
|
|
return;
|
|
|
|
}
|
2017-01-04 21:46:41 +00:00
|
|
|
for arg in iter_input_pats(decl, body) {
|
2020-06-09 14:36:01 +00:00
|
|
|
if let PatKind::Binding(BindingAnnotation::Ref | BindingAnnotation::RefMut, ..) = arg.pat.kind {
|
|
|
|
span_lint(
|
|
|
|
cx,
|
|
|
|
TOPLEVEL_REF_ARG,
|
|
|
|
arg.pat.span,
|
|
|
|
"`ref` directly on a function argument is ignored. \
|
2021-03-12 14:30:50 +00:00
|
|
|
Consider using a reference type instead",
|
2020-06-09 14:36:01 +00:00
|
|
|
);
|
2014-12-24 23:15:22 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2016-08-24 19:47:46 +00:00
|
|
|
|
2020-06-25 20:41:36 +00:00
|
|
|
fn check_stmt(&mut self, cx: &LateContext<'tcx>, stmt: &'tcx Stmt<'_>) {
|
2017-10-23 19:18:02 +00:00
|
|
|
if_chain! {
|
2020-11-05 13:29:48 +00:00
|
|
|
if !in_external_macro(cx.tcx.sess, stmt.span);
|
2021-04-08 15:50:13 +00:00
|
|
|
if let StmtKind::Local(local) = stmt.kind;
|
2019-09-27 15:16:06 +00:00
|
|
|
if let PatKind::Binding(an, .., name, None) = local.pat.kind;
|
2021-04-08 15:50:13 +00:00
|
|
|
if let Some(init) = local.init;
|
|
|
|
if an == BindingAnnotation::Ref || an == BindingAnnotation::RefMut;
|
2017-10-23 19:18:02 +00:00
|
|
|
then {
|
2021-04-08 15:50:13 +00:00
|
|
|
// use the macro callsite when the init span (but not the whole local span)
|
|
|
|
// comes from an expansion like `vec![1, 2, 3]` in `let ref _ = vec![1, 2, 3];`
|
|
|
|
let sugg_init = if init.span.from_expansion() && !local.span.from_expansion() {
|
|
|
|
Sugg::hir_with_macro_callsite(cx, init, "..")
|
|
|
|
} else {
|
|
|
|
Sugg::hir(cx, init, "..")
|
|
|
|
};
|
|
|
|
let (mutopt, initref) = if an == BindingAnnotation::RefMut {
|
|
|
|
("mut ", sugg_init.mut_addr())
|
|
|
|
} else {
|
|
|
|
("", sugg_init.addr())
|
|
|
|
};
|
|
|
|
let tyopt = if let Some(ty) = local.ty {
|
|
|
|
format!(": &{mutopt}{ty}", mutopt=mutopt, ty=snippet(cx, ty.span, ".."))
|
|
|
|
} else {
|
|
|
|
String::new()
|
|
|
|
};
|
|
|
|
span_lint_hir_and_then(
|
|
|
|
cx,
|
|
|
|
TOPLEVEL_REF_ARG,
|
|
|
|
init.hir_id,
|
|
|
|
local.pat.span,
|
|
|
|
"`ref` on an entire `let` pattern is discouraged, take a reference with `&` instead",
|
|
|
|
|diag| {
|
|
|
|
diag.span_suggestion(
|
|
|
|
stmt.span,
|
|
|
|
"try",
|
|
|
|
format!(
|
|
|
|
"let {name}{tyopt} = {initref};",
|
|
|
|
name=snippet(cx, name.span, ".."),
|
|
|
|
tyopt=tyopt,
|
|
|
|
initref=initref,
|
|
|
|
),
|
|
|
|
Applicability::MachineApplicable,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
);
|
2017-10-23 19:18:02 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
if_chain! {
|
2021-04-08 15:50:13 +00:00
|
|
|
if let StmtKind::Semi(expr) = stmt.kind;
|
|
|
|
if let ExprKind::Binary(ref binop, a, b) = expr.kind;
|
2018-07-12 07:50:09 +00:00
|
|
|
if binop.node == BinOpKind::And || binop.node == BinOpKind::Or;
|
2017-10-23 19:18:02 +00:00
|
|
|
if let Some(sugg) = Sugg::hir_opt(cx, a);
|
|
|
|
then {
|
2021-06-03 06:41:37 +00:00
|
|
|
span_lint_hir_and_then(
|
|
|
|
cx,
|
2017-10-23 19:18:02 +00:00
|
|
|
SHORT_CIRCUIT_STATEMENT,
|
2021-06-03 06:41:37 +00:00
|
|
|
expr.hir_id,
|
2019-09-26 01:46:51 +00:00
|
|
|
stmt.span,
|
2017-10-23 19:18:02 +00:00
|
|
|
"boolean short circuit operator in statement may be clearer using an explicit test",
|
2020-04-17 06:08:00 +00:00
|
|
|
|diag| {
|
2018-07-12 07:50:09 +00:00
|
|
|
let sugg = if binop.node == BinOpKind::Or { !sugg } else { sugg };
|
2020-04-17 06:08:00 +00:00
|
|
|
diag.span_suggestion(
|
2019-09-26 01:46:51 +00:00
|
|
|
stmt.span,
|
2018-09-18 15:07:54 +00:00
|
|
|
"replace it with",
|
|
|
|
format!(
|
|
|
|
"if {} {{ {}; }}",
|
2018-10-09 02:04:29 +00:00
|
|
|
sugg,
|
2018-09-18 15:07:54 +00:00
|
|
|
&snippet(cx, b.span, ".."),
|
|
|
|
),
|
2018-09-18 17:01:17 +00:00
|
|
|
Applicability::MachineApplicable, // snippet
|
2018-09-18 15:07:54 +00:00
|
|
|
);
|
2017-10-23 19:18:02 +00:00
|
|
|
});
|
2017-08-01 07:11:05 +00:00
|
|
|
}
|
2017-10-23 19:18:02 +00:00
|
|
|
};
|
2015-09-22 07:08:42 +00:00
|
|
|
}
|
2015-05-04 12:11:15 +00:00
|
|
|
|
2020-06-25 20:41:36 +00:00
|
|
|
fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx Expr<'_>) {
|
2022-06-30 08:50:09 +00:00
|
|
|
if let ExprKind::Cast(e, ty) = expr.kind {
|
|
|
|
check_cast(cx, expr.span, e, ty);
|
|
|
|
return;
|
2016-08-24 19:47:46 +00:00
|
|
|
}
|
2020-04-26 22:12:51 +00:00
|
|
|
if in_attributes_expansion(expr) || expr.span.is_desugaring(DesugaringKind::Await) {
|
|
|
|
// Don't lint things expanded by #[derive(...)], etc or `await` desugaring
|
2016-08-24 19:47:46 +00:00
|
|
|
return;
|
|
|
|
}
|
2021-12-14 21:32:21 +00:00
|
|
|
let sym;
|
2019-09-27 15:16:06 +00:00
|
|
|
let binding = match expr.kind {
|
2020-08-28 14:10:16 +00:00
|
|
|
ExprKind::Path(ref qpath) if !matches!(qpath, hir::QPath::LangItem(..)) => {
|
2018-06-28 13:46:58 +00:00
|
|
|
let binding = last_path_segment(qpath).ident.as_str();
|
2016-12-02 16:38:31 +00:00
|
|
|
if binding.starts_with('_') &&
|
|
|
|
!binding.starts_with("__") &&
|
2017-03-09 09:58:31 +00:00
|
|
|
binding != "_result" && // FIXME: #944
|
2016-12-02 16:38:31 +00:00
|
|
|
is_used(cx, expr) &&
|
|
|
|
// don't lint if the declaration is in a macro
|
2020-06-26 02:55:23 +00:00
|
|
|
non_macro_local(cx, cx.qpath_res(qpath, expr.hir_id))
|
2017-08-09 07:30:56 +00:00
|
|
|
{
|
2016-12-02 16:38:31 +00:00
|
|
|
Some(binding)
|
2016-08-24 19:47:46 +00:00
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
2016-12-20 17:21:30 +00:00
|
|
|
},
|
2018-07-12 07:30:57 +00:00
|
|
|
ExprKind::Field(_, ident) => {
|
2021-12-14 21:32:21 +00:00
|
|
|
sym = ident.name;
|
|
|
|
let name = sym.as_str();
|
2016-08-24 19:47:46 +00:00
|
|
|
if name.starts_with('_') && !name.starts_with("__") {
|
|
|
|
Some(name)
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
2016-12-20 17:21:30 +00:00
|
|
|
},
|
2016-08-24 19:47:46 +00:00
|
|
|
_ => None,
|
|
|
|
};
|
|
|
|
if let Some(binding) = binding {
|
2017-08-09 07:30:56 +00:00
|
|
|
span_lint(
|
|
|
|
cx,
|
|
|
|
USED_UNDERSCORE_BINDING,
|
|
|
|
expr.span,
|
|
|
|
&format!(
|
|
|
|
"used binding `{}` which is prefixed with an underscore. A leading \
|
2021-03-12 14:30:50 +00:00
|
|
|
underscore signals that a binding will not be used",
|
2017-08-09 07:30:56 +00:00
|
|
|
binding
|
|
|
|
),
|
|
|
|
);
|
2016-08-24 19:47:46 +00:00
|
|
|
}
|
|
|
|
}
|
2015-05-06 08:01:49 +00:00
|
|
|
}
|
|
|
|
|
2017-08-09 07:30:56 +00:00
|
|
|
/// Heuristic to see if an expression is used. Should be compatible with
|
|
|
|
/// `unused_variables`'s idea
|
2015-12-21 09:03:12 +00:00
|
|
|
/// of what it means for an expression to be "used".
|
2020-06-25 20:41:36 +00:00
|
|
|
fn is_used(cx: &LateContext<'_>, expr: &Expr<'_>) -> bool {
|
2020-07-14 12:59:59 +00:00
|
|
|
get_parent_expr(cx, expr).map_or(true, |parent| match parent.kind {
|
2021-04-08 15:50:13 +00:00
|
|
|
ExprKind::Assign(_, rhs, _) | ExprKind::AssignOp(_, _, rhs) => SpanlessEq::new(cx).eq_expr(rhs, expr),
|
2020-07-14 12:59:59 +00:00
|
|
|
_ => is_used(cx, parent),
|
|
|
|
})
|
2015-12-19 00:04:33 +00:00
|
|
|
}
|
2015-12-21 09:03:12 +00:00
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
/// Tests whether an expression is in a macro expansion (e.g., something
|
2019-03-10 17:19:47 +00:00
|
|
|
/// generated by `#[derive(...)]` or the like).
|
2019-12-27 07:12:26 +00:00
|
|
|
fn in_attributes_expansion(expr: &Expr<'_>) -> bool {
|
2019-12-31 00:17:56 +00:00
|
|
|
use rustc_span::hygiene::MacroKind;
|
2019-08-16 16:29:30 +00:00
|
|
|
if expr.span.from_expansion() {
|
|
|
|
let data = expr.span.ctxt().outer_expn_data();
|
2022-07-15 07:49:15 +00:00
|
|
|
matches!(data.kind, ExpnKind::Macro(MacroKind::Attr | MacroKind::Derive, _))
|
2019-08-16 16:29:30 +00:00
|
|
|
} else {
|
|
|
|
false
|
|
|
|
}
|
2015-12-21 09:03:12 +00:00
|
|
|
}
|
2016-06-15 14:27:56 +00:00
|
|
|
|
2019-05-04 00:03:12 +00:00
|
|
|
/// Tests whether `res` is a variable defined outside a macro.
|
2020-06-25 20:41:36 +00:00
|
|
|
fn non_macro_local(cx: &LateContext<'_>, res: def::Res) -> bool {
|
2019-06-02 16:30:40 +00:00
|
|
|
if let def::Res::Local(id) = res {
|
2019-08-19 16:30:32 +00:00
|
|
|
!cx.tcx.hir().span(id).from_expansion()
|
2019-06-02 16:30:40 +00:00
|
|
|
} else {
|
|
|
|
false
|
2016-06-15 14:27:56 +00:00
|
|
|
}
|
|
|
|
}
|
2017-03-07 11:58:07 +00:00
|
|
|
|
2020-07-14 12:59:59 +00:00
|
|
|
fn check_cast(cx: &LateContext<'_>, span: Span, e: &Expr<'_>, ty: &hir::Ty<'_>) {
|
2017-10-23 19:18:02 +00:00
|
|
|
if_chain! {
|
2019-10-02 15:38:00 +00:00
|
|
|
if let TyKind::Ptr(ref mut_ty) = ty.kind;
|
2019-09-27 15:16:06 +00:00
|
|
|
if let ExprKind::Lit(ref lit) = e.kind;
|
2019-10-02 15:38:00 +00:00
|
|
|
if let LitKind::Int(0, _) = lit.node;
|
2019-02-24 18:43:15 +00:00
|
|
|
if !in_constant(cx, e.hir_id);
|
2017-10-23 19:18:02 +00:00
|
|
|
then {
|
2019-10-02 15:38:00 +00:00
|
|
|
let (msg, sugg_fn) = match mut_ty.mutbl {
|
2019-12-21 18:38:45 +00:00
|
|
|
Mutability::Mut => ("`0 as *mut _` detected", "std::ptr::null_mut"),
|
|
|
|
Mutability::Not => ("`0 as *const _` detected", "std::ptr::null"),
|
2017-10-23 19:18:02 +00:00
|
|
|
};
|
2019-10-02 15:38:00 +00:00
|
|
|
|
|
|
|
let (sugg, appl) = if let TyKind::Infer = mut_ty.ty.kind {
|
|
|
|
(format!("{}()", sugg_fn), Applicability::MachineApplicable)
|
|
|
|
} else if let Some(mut_ty_snip) = snippet_opt(cx, mut_ty.ty.span) {
|
|
|
|
(format!("{}::<{}>()", sugg_fn, mut_ty_snip), Applicability::MachineApplicable)
|
|
|
|
} else {
|
|
|
|
// `MaybeIncorrect` as type inference may not work with the suggested code
|
|
|
|
(format!("{}()", sugg_fn), Applicability::MaybeIncorrect)
|
|
|
|
};
|
|
|
|
span_lint_and_sugg(cx, ZERO_PTR, span, msg, "try", sugg, appl);
|
2017-10-23 19:18:02 +00:00
|
|
|
}
|
|
|
|
}
|
2017-03-07 11:58:07 +00:00
|
|
|
}
|