Skip to content

Commit

Permalink
Auto merge of #42334 - est31:master, r=jseyfried
Browse files Browse the repository at this point in the history
Extend the unused macro lint to macros 2.0

Extends the unused macro lint (added in PR #41907) to macros 2.0 (added in PR #40847).

r? @jseyfried
  • Loading branch information
bors committed Jun 3, 2017
2 parents 4225019 + 03876ec commit a8dc246
Show file tree
Hide file tree
Showing 8 changed files with 64 additions and 19 deletions.
2 changes: 1 addition & 1 deletion src/librustc_resolve/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1204,7 +1204,7 @@ pub struct Resolver<'a> {
pub found_unresolved_macro: bool,

// List of crate local macros that we need to warn about as being unused.
// Right now this only includes macro_rules! macros.
// Right now this only includes macro_rules! macros, and macros 2.0.
unused_macros: FxHashSet<DefId>,

// Maps the `Mark` of an expansion to its containing module or block.
Expand Down
4 changes: 4 additions & 0 deletions src/librustc_resolve/macros.rs
Original file line number Diff line number Diff line change
Expand Up @@ -316,6 +316,7 @@ impl<'a> base::Resolver for Resolver<'a> {
for did in self.unused_macros.iter() {
let id_span = match *self.macro_map[did] {
SyntaxExtension::NormalTT(_, isp, _) => isp,
SyntaxExtension::DeclMacro(.., osp) => osp,
_ => None,
};
if let Some((id, span)) = id_span {
Expand Down Expand Up @@ -735,6 +736,9 @@ impl<'a> Resolver<'a> {
let module = self.current_module;
let def = Def::Macro(def_id, MacroKind::Bang);
let vis = self.resolve_visibility(&item.vis);
if vis != ty::Visibility::Public {
self.unused_macros.insert(def_id);
}
self.define(module, ident, MacroNS, (def, vis, item.span, expansion));
}
}
Expand Down
4 changes: 3 additions & 1 deletion src/libsyntax/ext/base.rs
Original file line number Diff line number Diff line change
Expand Up @@ -552,7 +552,9 @@ pub enum SyntaxExtension {
BuiltinDerive(BuiltinDeriveFn),

/// A declarative macro, e.g. `macro m() {}`.
DeclMacro(Box<TTMacroExpander>, Option<Span> /* definition site span */),
///
/// The second element is the definition site span.
DeclMacro(Box<TTMacroExpander>, Option<(ast::NodeId, Span)>),
}

impl SyntaxExtension {
Expand Down
5 changes: 3 additions & 2 deletions src/libsyntax/ext/expand.rs
Original file line number Diff line number Diff line change
Expand Up @@ -472,8 +472,9 @@ impl<'a, 'b> MacroExpander<'a, 'b> {

let marked_tts = noop_fold_tts(mac.node.stream(), &mut Marker(mark));
let opt_expanded = match *ext {
SyntaxExtension::DeclMacro(ref expand, def_site_span) => {
if let Err(msg) = validate_and_set_expn_info(def_site_span, false) {
SyntaxExtension::DeclMacro(ref expand, def_span) => {
if let Err(msg) = validate_and_set_expn_info(def_span.map(|(_, s)| s),
false) {
self.cx.span_err(path.span, &msg);
return kind.dummy(span);
}
Expand Down
2 changes: 1 addition & 1 deletion src/libsyntax/ext/tt/macro_rules.rs
Original file line number Diff line number Diff line change
Expand Up @@ -266,7 +266,7 @@ pub fn compile(sess: &ParseSess, features: &RefCell<Features>, def: &ast::Item)
let allow_internal_unstable = attr::contains_name(&def.attrs, "allow_internal_unstable");
NormalTT(exp, Some((def.id, def.span)), allow_internal_unstable)
} else {
SyntaxExtension::DeclMacro(exp, Some(def.span))
SyntaxExtension::DeclMacro(exp, Some((def.id, def.span)))
}
}

Expand Down
2 changes: 2 additions & 0 deletions src/test/compile-fail/feature-gate-decl_macro.rs
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,8 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.

#![allow(unused_macros)]

macro m() {} //~ ERROR `macro` is experimental (see issue #39412)
//~| HELP add #![feature(decl_macro)] to the crate attributes to enable

Expand Down
39 changes: 39 additions & 0 deletions src/test/compile-fail/unused-macro-rules.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
// Copyright 2017 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

#![deny(unused_macros)]

// Most simple case
macro_rules! unused { //~ ERROR: unused macro definition
() => {};
}

// Test macros created by macros
macro_rules! create_macro {
() => {
macro_rules! m { //~ ERROR: unused macro definition
() => {};
}
};
}
create_macro!();

#[allow(unused_macros)]
mod bar {
// Test that putting the #[deny] close to the macro's definition
// works.

#[deny(unused_macros)]
macro_rules! unused { //~ ERROR: unused macro definition
() => {};
}
}

fn main() {}
25 changes: 11 additions & 14 deletions src/test/compile-fail/unused-macro.rs
Original file line number Diff line number Diff line change
Expand Up @@ -8,31 +8,28 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.

#![feature(decl_macro)]
#![deny(unused_macros)]

// Most simple case
macro_rules! unused { //~ ERROR: unused macro definition
() => {};
macro unused { //~ ERROR: unused macro definition
() => {}
}

// Test macros created by macros
macro_rules! create_macro {
() => {
macro_rules! m { //~ ERROR: unused macro definition
() => {};
}
};
}
create_macro!();

#[allow(unused_macros)]
mod bar {
// Test that putting the #[deny] close to the macro's definition
// works.

#[deny(unused_macros)]
macro_rules! unused { //~ ERROR: unused macro definition
() => {};
macro unused { //~ ERROR: unused macro definition
() => {}
}
}

mod boo {
pub(crate) macro unused { //~ ERROR: unused macro definition
() => {}
}
}

Expand Down

0 comments on commit a8dc246

Please sign in to comment.