2021-03-25 13:29:11 -05:00
|
|
|
use clippy_utils::diagnostics::span_lint;
|
2020-05-08 06:57:01 -05:00
|
|
|
use rustc_ast::ast::{Item, ItemKind, UseTree, UseTreeKind};
|
2020-01-12 00:08:41 -06:00
|
|
|
use rustc_lint::{EarlyContext, EarlyLintPass};
|
2020-01-11 05:37:08 -06:00
|
|
|
use rustc_session::{declare_lint_pass, declare_tool_lint};
|
2020-01-04 04:00:00 -06:00
|
|
|
use rustc_span::source_map::Span;
|
2020-07-13 01:45:35 -05:00
|
|
|
use rustc_span::symbol::Ident;
|
2016-04-19 18:27:01 -05:00
|
|
|
|
2018-03-28 08:24:26 -05:00
|
|
|
declare_clippy_lint! {
|
2021-07-29 05:16:06 -05:00
|
|
|
/// ### What it does
|
|
|
|
/// Checks for imports that remove "unsafe" from an item's
|
2019-03-05 10:50:33 -06:00
|
|
|
/// name.
|
|
|
|
///
|
2021-07-29 05:16:06 -05:00
|
|
|
/// ### Why is this bad?
|
|
|
|
/// Renaming makes it less clear which traits and
|
2019-03-05 10:50:33 -06:00
|
|
|
/// structures are unsafe.
|
|
|
|
///
|
2021-07-29 05:16:06 -05:00
|
|
|
/// ### Example
|
2019-03-05 10:50:33 -06:00
|
|
|
/// ```rust,ignore
|
|
|
|
/// use std::cell::{UnsafeCell as TotallySafeCell};
|
|
|
|
///
|
|
|
|
/// extern crate crossbeam;
|
|
|
|
/// use crossbeam::{spawn_unsafe as spawn};
|
|
|
|
/// ```
|
2021-12-06 05:33:31 -06:00
|
|
|
#[clippy::version = "pre 1.29.0"]
|
2016-04-19 18:27:01 -05:00
|
|
|
pub UNSAFE_REMOVED_FROM_NAME,
|
2018-03-28 08:24:26 -05:00
|
|
|
style,
|
2016-08-06 03:18:36 -05:00
|
|
|
"`unsafe` removed from API names on import"
|
2016-04-19 18:27:01 -05:00
|
|
|
}
|
|
|
|
|
2019-04-08 15:43:55 -05:00
|
|
|
declare_lint_pass!(UnsafeNameRemoval => [UNSAFE_REMOVED_FROM_NAME]);
|
2016-04-19 18:27:01 -05:00
|
|
|
|
2016-12-01 15:31:56 -06:00
|
|
|
impl EarlyLintPass for UnsafeNameRemoval {
|
2018-07-23 06:01:12 -05:00
|
|
|
fn check_item(&mut self, cx: &EarlyContext<'_>, item: &Item) {
|
2019-09-27 10:16:06 -05:00
|
|
|
if let ItemKind::Use(ref use_tree) = item.kind {
|
2018-05-31 13:15:48 -05:00
|
|
|
check_use_tree(use_tree, cx, item.span);
|
2017-12-02 03:23:32 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-23 06:01:12 -05:00
|
|
|
fn check_use_tree(use_tree: &UseTree, cx: &EarlyContext<'_>, span: Span) {
|
2017-12-02 03:23:32 -06:00
|
|
|
match use_tree.kind {
|
2022-12-01 09:51:20 -06:00
|
|
|
UseTreeKind::Simple(Some(new_name)) => {
|
2017-12-02 03:23:32 -06:00
|
|
|
let old_name = use_tree
|
|
|
|
.prefix
|
|
|
|
.segments
|
|
|
|
.last()
|
|
|
|
.expect("use paths cannot be empty")
|
2018-04-07 00:22:23 -05:00
|
|
|
.ident;
|
2017-12-02 03:23:32 -06:00
|
|
|
unsafe_to_safe_check(old_name, new_name, cx, span);
|
2018-11-27 14:14:15 -06:00
|
|
|
},
|
2022-12-01 09:51:20 -06:00
|
|
|
UseTreeKind::Simple(None) | UseTreeKind::Glob => {},
|
2017-12-02 03:23:32 -06:00
|
|
|
UseTreeKind::Nested(ref nested_use_tree) => {
|
2022-11-21 13:34:47 -06:00
|
|
|
for (use_tree, _) in nested_use_tree {
|
2017-12-02 03:23:32 -06:00
|
|
|
check_use_tree(use_tree, cx, span);
|
2016-04-19 18:27:01 -05:00
|
|
|
}
|
2018-11-27 14:14:15 -06:00
|
|
|
},
|
2016-04-19 18:27:01 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-23 06:01:12 -05:00
|
|
|
fn unsafe_to_safe_check(old_name: Ident, new_name: Ident, cx: &EarlyContext<'_>, span: Span) {
|
2016-12-01 15:31:56 -06:00
|
|
|
let old_str = old_name.name.as_str();
|
|
|
|
let new_str = new_name.name.as_str();
|
2021-12-30 08:10:43 -06:00
|
|
|
if contains_unsafe(old_str) && !contains_unsafe(new_str) {
|
2017-08-09 02:30:56 -05:00
|
|
|
span_lint(
|
|
|
|
cx,
|
|
|
|
UNSAFE_REMOVED_FROM_NAME,
|
2018-05-31 13:15:48 -05:00
|
|
|
span,
|
2022-10-06 02:44:38 -05:00
|
|
|
&format!("removed `unsafe` from the name of `{old_str}` in use as `{new_str}`"),
|
2017-08-09 02:30:56 -05:00
|
|
|
);
|
2016-04-19 18:27:01 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-09-18 01:37:41 -05:00
|
|
|
#[must_use]
|
2020-07-13 01:45:35 -05:00
|
|
|
fn contains_unsafe(name: &str) -> bool {
|
2016-04-19 18:27:01 -05:00
|
|
|
name.contains("Unsafe") || name.contains("unsafe")
|
|
|
|
}
|