1 // Copyright 2017 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
13 use errors::{Applicability, DiagnosticBuilder};
15 use ich::StableHashingContext;
17 use lint::context::CheckLintNameResult;
18 use lint::{self, Lint, LintId, Level, LintSource};
19 use rustc_data_structures::stable_hasher::{HashStable, ToStableHashKey,
20 StableHasher, StableHasherResult};
24 use syntax::feature_gate;
25 use syntax::source_map::MultiSpan;
26 use syntax::symbol::Symbol;
27 use util::nodemap::FxHashMap;
29 pub struct LintLevelSets {
36 // -A,-W,-D flags, a `Symbol` for the flag itself and `Level` for which
38 specs: FxHashMap<LintId, (Level, LintSource)>,
42 specs: FxHashMap<LintId, (Level, LintSource)>,
48 pub fn new(sess: &Session) -> LintLevelSets {
49 let mut me = LintLevelSets {
51 lint_cap: Level::Forbid,
53 me.process_command_line(sess);
57 pub fn builder(sess: &Session) -> LintLevelsBuilder<'_> {
58 LintLevelsBuilder::new(sess, LintLevelSets::new(sess))
61 fn process_command_line(&mut self, sess: &Session) {
62 let store = sess.lint_store.borrow();
63 let mut specs = FxHashMap::default();
64 self.lint_cap = sess.opts.lint_cap.unwrap_or(Level::Forbid);
66 for &(ref lint_name, level) in &sess.opts.lint_opts {
67 store.check_lint_name_cmdline(sess, &lint_name, level);
69 // If the cap is less than this specified level, e.g., if we've got
70 // `--cap-lints allow` but we've also got `-D foo` then we ignore
71 // this specification as the lint cap will set it to allow anyway.
72 let level = cmp::min(level, self.lint_cap);
74 let lint_flag_val = Symbol::intern(lint_name);
75 let ids = match store.find_lints(&lint_name) {
77 Err(_) => continue, // errors handled in check_lint_name_cmdline above
80 let src = LintSource::CommandLine(lint_flag_val);
81 specs.insert(id, (level, src));
85 self.list.push(LintSet::CommandLine {
90 fn get_lint_level(&self,
93 aux: Option<&FxHashMap<LintId, (Level, LintSource)>>,
95 -> (Level, LintSource)
97 let (level, mut src) = self.get_lint_id_level(LintId::of(lint), idx, aux);
99 // If `level` is none then we actually assume the default level for this
101 let mut level = level.unwrap_or_else(|| lint.default_level(sess));
103 // If we're about to issue a warning, check at the last minute for any
104 // directives against the warnings "lint". If, for example, there's an
105 // `allow(warnings)` in scope then we want to respect that instead.
106 if level == Level::Warn {
107 let (warnings_level, warnings_src) =
108 self.get_lint_id_level(LintId::of(lint::builtin::WARNINGS),
111 if let Some(configured_warning_level) = warnings_level {
112 if configured_warning_level != Level::Warn {
113 level = configured_warning_level;
119 // Ensure that we never exceed the `--cap-lints` argument.
120 level = cmp::min(level, self.lint_cap);
122 if let Some(driver_level) = sess.driver_lint_caps.get(&LintId::of(lint)) {
123 // Ensure that we never exceed driver level.
124 level = cmp::min(*driver_level, level);
130 fn get_lint_id_level(&self,
133 aux: Option<&FxHashMap<LintId, (Level, LintSource)>>)
134 -> (Option<Level>, LintSource)
136 if let Some(specs) = aux {
137 if let Some(&(level, src)) = specs.get(&id) {
138 return (Some(level), src)
142 match self.list[idx as usize] {
143 LintSet::CommandLine { ref specs } => {
144 if let Some(&(level, src)) = specs.get(&id) {
145 return (Some(level), src)
147 return (None, LintSource::Default)
149 LintSet::Node { ref specs, parent } => {
150 if let Some(&(level, src)) = specs.get(&id) {
151 return (Some(level), src)
160 pub struct LintLevelsBuilder<'a> {
163 id_to_set: FxHashMap<HirId, u32>,
165 warn_about_weird_lints: bool,
168 pub struct BuilderPush {
172 impl<'a> LintLevelsBuilder<'a> {
173 pub fn new(sess: &'a Session, sets: LintLevelSets) -> LintLevelsBuilder<'a> {
174 assert_eq!(sets.list.len(), 1);
179 id_to_set: Default::default(),
180 warn_about_weird_lints: sess.buffered_lints.borrow().is_some(),
184 /// Pushes a list of AST lint attributes onto this context.
186 /// This function will return a `BuilderPush` object which should be be
187 /// passed to `pop` when this scope for the attributes provided is exited.
189 /// This function will perform a number of tasks:
191 /// * It'll validate all lint-related attributes in `attrs`
192 /// * It'll mark all lint-related attributes as used
193 /// * Lint levels will be updated based on the attributes provided
194 /// * Lint attributes are validated, e.g., a #[forbid] can't be switched to
197 /// Don't forget to call `pop`!
198 pub fn push(&mut self, attrs: &[ast::Attribute]) -> BuilderPush {
199 let mut specs = FxHashMap::default();
200 let store = self.sess.lint_store.borrow();
201 let sess = self.sess;
202 let bad_attr = |span| {
203 struct_span_err!(sess, span, E0452, "malformed lint attribute")
206 let level = match Level::from_str(&attr.name().as_str()) {
211 let meta = unwrap_or!(attr.meta(), continue);
212 attr::mark_used(attr);
214 let mut metas = if let Some(metas) = meta.meta_item_list() {
217 let mut err = bad_attr(meta.span);
222 if metas.is_empty() {
223 // FIXME (#55112): issue unused-attributes lint for `#[level()]`
227 // Before processing the lint names, look for a reason (RFC 2383)
229 let mut reason = None;
230 let tail_li = &metas[metas.len()-1];
231 if let Some(item) = tail_li.meta_item() {
233 ast::MetaItemKind::Word => {} // actual lint names handled later
234 ast::MetaItemKind::NameValue(ref name_value) => {
235 let gate_reasons = !self.sess.features_untracked().lint_reasons;
236 if item.ident == "reason" {
237 // found reason, reslice meta list to exclude it
238 metas = &metas[0..metas.len()-1];
239 // FIXME (#55112): issue unused-attributes lint if we thereby
240 // don't have any lint names (`#[level(reason = "foo")]`)
241 if let ast::LitKind::Str(rationale, _) = name_value.node {
243 feature_gate::emit_feature_err(
244 &self.sess.parse_sess,
247 feature_gate::GateIssue::Language,
248 "lint reasons are experimental"
251 reason = Some(rationale);
254 let mut err = bad_attr(name_value.span);
255 err.help("reason must be a string literal");
259 let mut err = bad_attr(item.span);
263 ast::MetaItemKind::List(_) => {
264 let mut err = bad_attr(item.span);
271 let word = match li.word() {
274 let mut err = bad_attr(li.span);
275 if let Some(item) = li.meta_item() {
276 if let ast::MetaItemKind::NameValue(_) = item.node {
277 if item.ident == "reason" {
278 err.help("reason in lint attribute must come last");
286 let tool_name = if let Some(lint_tool) = word.is_scoped() {
287 if !attr::is_known_lint_tool(lint_tool) {
292 "an unknown tool name found in scoped lint: `{}`",
298 Some(lint_tool.as_str())
302 let name = word.name();
303 match store.check_lint_name(&name.as_str(), tool_name) {
304 CheckLintNameResult::Ok(ids) => {
305 let src = LintSource::Node(name, li.span, reason);
307 specs.insert(*id, (level, src));
311 CheckLintNameResult::Tool(result) => {
314 let complete_name = &format!("{}::{}", tool_name.unwrap(), name);
315 let src = LintSource::Node(
316 Symbol::intern(complete_name), li.span, reason
319 specs.insert(*id, (level, src));
322 Err((Some(ids), new_lint_name)) => {
323 let lint = builtin::RENAMED_AND_REMOVED_LINTS;
326 .get_lint_level(lint, self.cur, Some(&specs), &sess);
328 "lint name `{}` is deprecated \
329 and may not have an effect in the future. \
330 Also `cfg_attr(cargo-clippy)` won't be necessary anymore",
333 let mut err = lint::struct_lint_level(
338 Some(li.span.into()),
341 err.span_suggestion_with_applicability(
344 new_lint_name.to_string(),
345 Applicability::MachineApplicable,
348 let src = LintSource::Node(
349 Symbol::intern(&new_lint_name), li.span, reason
352 specs.insert(*id, (level, src));
356 // If Tool(Err(None, _)) is returned, then either the lint does not
357 // exist in the tool or the code was not compiled with the tool and
358 // therefore the lint was never added to the `LintStore`. To detect
359 // this is the responsibility of the lint tool.
364 _ if !self.warn_about_weird_lints => {}
366 CheckLintNameResult::Warning(msg, renamed) => {
367 let lint = builtin::RENAMED_AND_REMOVED_LINTS;
368 let (level, src) = self.sets.get_lint_level(lint,
372 let mut err = lint::struct_lint_level(self.sess,
376 Some(li.span.into()),
378 if let Some(new_name) = renamed {
379 err.span_suggestion_with_applicability(
383 Applicability::MachineApplicable
388 CheckLintNameResult::NoLint => {
389 let lint = builtin::UNKNOWN_LINTS;
390 let (level, src) = self.sets.get_lint_level(lint,
394 let msg = format!("unknown lint: `{}`", name);
395 let mut db = lint::struct_lint_level(self.sess,
399 Some(li.span.into()),
401 if name.as_str().chars().any(|c| c.is_uppercase()) {
402 let name_lower = name.as_str().to_lowercase().to_string();
403 if let CheckLintNameResult::NoLint =
404 store.check_lint_name(&name_lower, tool_name) {
407 db.span_suggestion_with_applicability(
409 "lowercase the lint name",
411 Applicability::MachineApplicable
422 for (id, &(level, ref src)) in specs.iter() {
423 if level == Level::Forbid {
426 let forbid_src = match self.sets.get_lint_id_level(*id, self.cur, None) {
427 (Some(Level::Forbid), src) => src,
430 let forbidden_lint_name = match forbid_src {
431 LintSource::Default => id.to_string(),
432 LintSource::Node(name, _, _) => name.to_string(),
433 LintSource::CommandLine(name) => name.to_string(),
435 let (lint_attr_name, lint_attr_span) = match *src {
436 LintSource::Node(name, span, _) => (name, span),
439 let mut diag_builder = struct_span_err!(self.sess,
442 "{}({}) overruled by outer forbid({})",
445 forbidden_lint_name);
446 diag_builder.span_label(lint_attr_span, "overruled by previous forbid");
448 LintSource::Default => {},
449 LintSource::Node(_, forbid_source_span, reason) => {
450 diag_builder.span_label(forbid_source_span,
451 "`forbid` level set here");
452 if let Some(rationale) = reason {
453 diag_builder.note(&rationale.as_str());
456 LintSource::CommandLine(_) => {
457 diag_builder.note("`forbid` lint level was set on command line");
461 // don't set a separate error for every lint in the group
467 self.cur = self.sets.list.len() as u32;
468 self.sets.list.push(LintSet::Node {
479 /// Called after `push` when the scope of a set of attributes are exited.
480 pub fn pop(&mut self, push: BuilderPush) {
481 self.cur = push.prev;
484 /// Used to emit a lint-related diagnostic based on the current state of
485 /// this lint context.
486 pub fn struct_lint(&self,
488 span: Option<MultiSpan>,
490 -> DiagnosticBuilder<'a>
492 let (level, src) = self.sets.get_lint_level(lint, self.cur, None, self.sess);
493 lint::struct_lint_level(self.sess, lint, level, src, span, msg)
496 /// Registers the ID provided with the current set of lints stored in
498 pub fn register_id(&mut self, id: HirId) {
499 self.id_to_set.insert(id, self.cur);
502 pub fn build(self) -> LintLevelSets {
506 pub fn build_map(self) -> LintLevelMap {
509 id_to_set: self.id_to_set,
514 pub struct LintLevelMap {
516 id_to_set: FxHashMap<HirId, u32>,
520 /// If the `id` was previously registered with `register_id` when building
521 /// this `LintLevelMap` this returns the corresponding lint level and source
522 /// of the lint level for the lint provided.
524 /// If the `id` was not previously registered, returns `None`. If `None` is
525 /// returned then the parent of `id` should be acquired and this function
526 /// should be called again.
527 pub fn level_and_source(&self, lint: &'static Lint, id: HirId, session: &Session)
528 -> Option<(Level, LintSource)>
530 self.id_to_set.get(&id).map(|idx| {
531 self.sets.get_lint_level(lint, *idx, None, session)
535 /// Returns if this `id` has lint level information.
536 pub fn lint_level_set(&self, id: HirId) -> Option<u32> {
537 self.id_to_set.get(&id).cloned()
541 impl<'a> HashStable<StableHashingContext<'a>> for LintLevelMap {
543 fn hash_stable<W: StableHasherResult>(&self,
544 hcx: &mut StableHashingContext<'a>,
545 hasher: &mut StableHasher<W>) {
551 id_to_set.hash_stable(hcx, hasher);
558 lint_cap.hash_stable(hcx, hasher);
560 hcx.while_hashing_spans(true, |hcx| {
561 list.len().hash_stable(hcx, hasher);
563 // We are working under the assumption here that the list of
564 // lint-sets is built in a deterministic order.
565 for lint_set in list {
566 ::std::mem::discriminant(lint_set).hash_stable(hcx, hasher);
569 LintSet::CommandLine { ref specs } => {
570 specs.hash_stable(hcx, hasher);
572 LintSet::Node { ref specs, parent } => {
573 specs.hash_stable(hcx, hasher);
574 parent.hash_stable(hcx, hasher);
582 impl<HCX> HashStable<HCX> for LintId {
584 fn hash_stable<W: StableHasherResult>(&self,
586 hasher: &mut StableHasher<W>) {
587 self.lint_name_raw().hash_stable(hcx, hasher);
591 impl<HCX> ToStableHashKey<HCX> for LintId {
592 type KeyType = &'static str;
595 fn to_stable_hash_key(&self, _: &HCX) -> &'static str {