diff options
| author | xFrednet <xFrednet@gmail.com> | 2021-01-31 14:46:09 +0100 |
|---|---|---|
| committer | xFrednet <xFrednet@gmail.com> | 2021-05-05 18:34:24 +0200 |
| commit | 637751ff62662247480ae1641042a019d8e6609a (patch) | |
| tree | 678da6645b9c92d02933c606c3a8e85c6ec7748b | |
| parent | 0baf6bf226062b52e9f13cb36190bd332fbd4dce (diff) | |
| download | rust-637751ff62662247480ae1641042a019d8e6609a.tar.gz rust-637751ff62662247480ae1641042a019d8e6609a.zip | |
Metadata collection lint: Basic lint collection
WIP-2021-02-01 WIP-2021-02-01 WIP-2021-02-13
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Cargo.toml | 1 | ||||
| -rw-r--r-- | clippy_lints/Cargo.toml | 2 | ||||
| -rw-r--r-- | clippy_lints/src/lib.rs | 3 | ||||
| -rw-r--r-- | clippy_lints/src/utils/internal_lints.rs | 3 | ||||
| -rw-r--r-- | clippy_lints/src/utils/internal_lints/metadata_collector.rs | 206 | ||||
| -rw-r--r-- | clippy_lints/src/utils/mod.rs | 2 | ||||
| -rw-r--r-- | tests/dogfood.rs | 9 |
8 files changed, 226 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 376528e3085..523bab18828 100644 --- a/.gitignore +++ b/.gitignore @@ -29,6 +29,7 @@ out # gh pages docs util/gh-pages/lints.json +**/metadata_collection.json # rustfmt backups *.rs.bk diff --git a/Cargo.toml b/Cargo.toml index cade44a0a9a..bdee8e40821 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -52,6 +52,7 @@ rustc_tools_util = { version = "0.2.0", path = "rustc_tools_util" } deny-warnings = [] integration = ["tempfile"] internal-lints = ["clippy_lints/internal-lints"] +metadata-collector-lint = ["clippy_lints/metadata-collector-lint"] [package.metadata.rust-analyzer] # This package uses #[feature(rustc_private)] diff --git a/clippy_lints/Cargo.toml b/clippy_lints/Cargo.toml index 05cdd9d064a..d1d56fc84f9 100644 --- a/clippy_lints/Cargo.toml +++ b/clippy_lints/Cargo.toml @@ -20,6 +20,7 @@ pulldown-cmark = { version = "0.8", default-features = false } quine-mc_cluskey = "0.2.2" regex-syntax = "0.6" serde = { version = "1.0", features = ["derive"] } +serde_json = { version = "1.0", optional = true } toml = "0.5.3" unicode-normalization = "0.1" semver = "0.11" @@ -32,6 +33,7 @@ url = { version = "2.1.0", features = ["serde"] } deny-warnings = [] # build clippy with internal lints enabled, off by default internal-lints = ["clippy_utils/internal-lints"] +metadata-collector-lint = ["serde_json"] [package.metadata.rust-analyzer] # This crate uses #[feature(rustc_private)] diff --git a/clippy_lints/src/lib.rs b/clippy_lints/src/lib.rs index 40a793e48cf..7668d4dd0b1 100644 --- a/clippy_lints/src/lib.rs +++ b/clippy_lints/src/lib.rs @@ -1004,6 +1004,9 @@ pub fn register_plugins(store: &mut rustc_lint::LintStore, sess: &Session, conf: store.register_late_pass(|| box utils::internal_lints::MatchTypeOnDiagItem); store.register_late_pass(|| box utils::internal_lints::OuterExpnDataPass); } + #[cfg(feature = "metadata-collector-lint")] + store.register_late_pass(|| box utils::internal_lints::metadata_collector::MetadataCollector::default()); + store.register_late_pass(|| box utils::author::Author); store.register_late_pass(|| box await_holding_invalid::AwaitHolding); store.register_late_pass(|| box serde_api::SerdeApi); diff --git a/clippy_lints/src/utils/internal_lints.rs b/clippy_lints/src/utils/internal_lints.rs index 3d3d0e19d26..ee7be24eae8 100644 --- a/clippy_lints/src/utils/internal_lints.rs +++ b/clippy_lints/src/utils/internal_lints.rs @@ -32,6 +32,9 @@ use rustc_typeck::hir_ty_to_ty; use std::borrow::{Borrow, Cow}; +#[cfg(feature = "metadata-collector-lint")] +pub mod metadata_collector; + declare_clippy_lint! { /// **What it does:** Checks for various things we like to keep tidy in clippy. /// diff --git a/clippy_lints/src/utils/internal_lints/metadata_collector.rs b/clippy_lints/src/utils/internal_lints/metadata_collector.rs new file mode 100644 index 00000000000..dc4267697cb --- /dev/null +++ b/clippy_lints/src/utils/internal_lints/metadata_collector.rs @@ -0,0 +1,206 @@ +//! This lint is used to collect metadata about clippy lints. This metadata is exported as a json +//! file and then used to generate the [clippy lint list](https://rust-lang.github.io/rust-clippy/master/index.html) +//! +//! This module and therefor the entire lint is guarded by a feature flag called +//! `internal_metadata_lint` +//! +//! The metadata currently contains: +//! - [ ] TODO The lint declaration line for [#1303](https://github.com/rust-lang/rust-clippy/issues/1303) +//! and [#6492](https://github.com/rust-lang/rust-clippy/issues/6492) +//! - [ ] TODO The Applicability for each lint for [#4310](https://github.com/rust-lang/rust-clippy/issues/4310) + +// # Applicability +// - TODO xFrednet 2021-01-17: Find all methods that take and modify applicability or predefine +// them? +// - TODO xFrednet 2021-01-17: Find lint emit and collect applicability +// # NITs +// - TODO xFrednet 2021-02-13: Collect depreciations and maybe renames + +use if_chain::if_chain; +use rustc_hir::{ExprKind, Item, ItemKind, Mutability}; +use rustc_lint::{CheckLintNameResult, LateContext, LateLintPass, LintContext, LintId}; +use rustc_session::{declare_tool_lint, impl_lint_pass}; +use rustc_span::{sym, Loc, Span}; +use serde::Serialize; +use std::fs::OpenOptions; +use std::io::prelude::*; + +use crate::utils::internal_lints::is_lint_ref_type; +use crate::utils::span_lint; + +const OUTPUT_FILE: &str = "metadata_collection.json"; +const BLACK_LISTED_LINTS: [&str; 2] = ["lint_author", "deep_code_inspection"]; + +declare_clippy_lint! { + /// **What it does:** Collects metadata about clippy lints for the website. + /// + /// This lint will be used to report problems of syntax parsing. You should hopefully never + /// see this but never say never I guess ^^ + /// + /// **Why is this bad?** This is not a bad thing but definitely a hacky way to do it. See + /// issue [#4310](https://github.com/rust-lang/rust-clippy/issues/4310) for a discussion + /// about the implementation. + /// + /// **Known problems:** Hopefully none. It would be pretty uncool to have a problem here :) + /// + /// **Example output:** + /// ```json,ignore + /// { + /// "id": "internal_metadata_collector", + /// "id_span": { + /// "path": "clippy_lints/src/utils/internal_lints/metadata_collector.rs", + /// "line": 1 + /// }, + /// "group": "clippy::internal", + /// "docs": " **What it does:** Collects metadata about clippy lints for the website. [...] " + /// } + /// ``` + pub INTERNAL_METADATA_COLLECTOR, + internal, + "A busy bee collection metadata about lints" +} + +impl_lint_pass!(MetadataCollector => [INTERNAL_METADATA_COLLECTOR]); + +#[allow(clippy::module_name_repetitions)] +#[derive(Debug, Clone, Default)] +pub struct MetadataCollector { + lints: Vec<LintMetadata>, +} + +impl Drop for MetadataCollector { + fn drop(&mut self) { + // You might ask: How hacky is this? + // My answer: YES + let mut file = OpenOptions::new().write(true).create(true).open(OUTPUT_FILE).unwrap(); + writeln!(file, "{}", serde_json::to_string_pretty(&self.lints).unwrap()).unwrap(); + } +} + +#[derive(Debug, Clone, Serialize)] +struct LintMetadata { + id: String, + id_span: SerializableSpan, + group: String, + docs: String, +} + +#[derive(Debug, Clone, Serialize)] +struct SerializableSpan { + path: String, + line: usize, +} + +impl SerializableSpan { + fn from_item(cx: &LateContext<'_>, item: &Item<'_>) -> Self { + Self::from_span(cx, item.ident.span) + } + + fn from_span(cx: &LateContext<'_>, span: Span) -> Self { + let loc: Loc = cx.sess().source_map().lookup_char_pos(span.lo()); + + Self { + path: format!("{}", loc.file.name), + line: 1, + } + } +} + +impl<'tcx> LateLintPass<'tcx> for MetadataCollector { + fn check_item(&mut self, cx: &LateContext<'tcx>, item: &'tcx Item<'_>) { + if_chain! { + if let ItemKind::Static(ref ty, Mutability::Not, body_id) = item.kind; + if is_lint_ref_type(cx, ty); + let expr = &cx.tcx.hir().body(body_id).value; + if let ExprKind::AddrOf(_, _, ref inner_exp) = expr.kind; + if let ExprKind::Struct(_, _, _) = inner_exp.kind; + then { + let lint_name = item.ident.name.as_str().to_string().to_ascii_lowercase(); + if BLACK_LISTED_LINTS.contains(&lint_name.as_str()) { + return; + } + + let group: String; + let result = cx.lint_store.check_lint_name(lint_name.as_str(), Some(sym::clippy)); + if let CheckLintNameResult::Tool(Ok(lint_lst)) = result { + if let Some(group_some) = get_lint_group(cx, lint_lst[0]) { + group = group_some; + } else { + lint_collection_error(cx, item, "Unable to determine lint group"); + return; + } + } else { + lint_collection_error(cx, item, "Unable to find lint in lint_store"); + return; + } + + let docs: String; + if let Some(docs_some) = extract_attr_docs(item) { + docs = docs_some; + } else { + lint_collection_error(cx, item, "could not collect the lint documentation"); + return; + }; + + self.lints.push(LintMetadata { + id: lint_name, + id_span: SerializableSpan::from_item(cx, item), + group, + docs, + }); + } + } + } +} + +/// This function collects all documentation that has been added to an item using +/// `#[doc = r""]` attributes. Several attributes are aggravated using line breaks +/// +/// ```ignore +/// #[doc = r"Hello world!"] +/// #[doc = r"=^.^="] +/// struct SomeItem {} +/// ``` +/// +/// Would result in `Hello world!\n=^.^=\n` +fn extract_attr_docs(item: &Item<'_>) -> Option<String> { + item.attrs + .iter() + .filter_map(|ref x| x.doc_str()) + .fold(None, |acc, sym| { + let mut doc_str = sym.as_str().to_string(); + doc_str.push('\n'); + + #[allow(clippy::option_if_let_else)] // See clippy#6737 + if let Some(mut x) = acc { + x.push_str(&doc_str); + Some(x) + } else { + Some(doc_str) + } + + // acc.map_or(Some(doc_str), |mut x| { + // x.push_str(&doc_str); + // Some(x) + // }) + }) +} + +fn get_lint_group(cx: &LateContext<'_>, lint_id: LintId) -> Option<String> { + for (group_name, lints, _) in &cx.lint_store.get_lint_groups() { + if lints.iter().any(|x| *x == lint_id) { + return Some((*group_name).to_string()); + } + } + + None +} + +fn lint_collection_error(cx: &LateContext<'_>, item: &Item<'_>, message: &str) { + span_lint( + cx, + INTERNAL_METADATA_COLLECTOR, + item.ident.span, + &format!("Metadata collection error for `{}`: {}", item.ident.name, message), + ); +} diff --git a/clippy_lints/src/utils/mod.rs b/clippy_lints/src/utils/mod.rs index d8b31344e6d..b67448e3a57 100644 --- a/clippy_lints/src/utils/mod.rs +++ b/clippy_lints/src/utils/mod.rs @@ -1,5 +1,5 @@ pub mod author; pub mod conf; pub mod inspector; -#[cfg(feature = "internal-lints")] +#[cfg(any(feature = "internal-lints", feature = "metadata-collector-lint"))] pub mod internal_lints; diff --git a/tests/dogfood.rs b/tests/dogfood.rs index d92530f073f..b0da0bfcc35 100644 --- a/tests/dogfood.rs +++ b/tests/dogfood.rs @@ -1,3 +1,8 @@ +//! This test is a part of quality control and makes clippy eat what it produces. Awesome lints and +//! long error messages +//! +//! See [Eating your own dog food](https://en.wikipedia.org/wiki/Eating_your_own_dog_food) for context + // Dogfood cannot run on Windows #![cfg(not(windows))] #![feature(once_cell)] @@ -36,6 +41,10 @@ fn dogfood_clippy() { command.args(&["-D", "clippy::internal"]); } + if cfg!(feature = "metadata-collector-lint") { + command.args(&["-D", "clippy::internal"]); + } + let output = command.output().unwrap(); println!("status: {}", output.status); |
