Skip to content

Commit

Permalink
lint: Deny #[no_mangle] const items
Browse files Browse the repository at this point in the history
This renames the PrivateNoMangleFns lint to allow both to happen in a
single pass, since they do roughly the same work.
  • Loading branch information
richo committed Feb 3, 2015
1 parent eaf4c5c commit 51ed1ec
Show file tree
Hide file tree
Showing 3 changed files with 25 additions and 5 deletions.
19 changes: 16 additions & 3 deletions src/librustc/lint/builtin.rs
Expand Up @@ -2065,12 +2065,19 @@ declare_lint! {
"functions marked #[no_mangle] should be exported"
}

declare_lint! {
NO_MANGLE_CONST_ITEMS,
Deny,
"const items will not have their symbols exported"
}

#[derive(Copy)]
pub struct PrivateNoMangleFns;
pub struct InvalidNoMangleItems;

impl LintPass for PrivateNoMangleFns {
impl LintPass for InvalidNoMangleItems {
fn get_lints(&self) -> LintArray {
lint_array!(PRIVATE_NO_MANGLE_FNS)
lint_array!(PRIVATE_NO_MANGLE_FNS,
NO_MANGLE_CONST_ITEMS)
}

fn check_item(&mut self, cx: &Context, it: &ast::Item) {
Expand All @@ -2083,6 +2090,12 @@ impl LintPass for PrivateNoMangleFns {
cx.span_lint(PRIVATE_NO_MANGLE_FNS, it.span, msg.as_slice());
}
},
ast::ItemConst(..) => {
if attr::contains_name(it.attrs.as_slice(), "no_mangle") {
let msg = "const items should never be #[no_mangle]";
cx.span_lint(NO_MANGLE_CONST_ITEMS, it.span, msg);
}
}
_ => {},
}
}
Expand Down
2 changes: 1 addition & 1 deletion src/librustc/lint/context.rs
Expand Up @@ -213,7 +213,7 @@ impl LintStore {
UnstableFeatures,
Stability,
UnconditionalRecursion,
PrivateNoMangleFns,
InvalidNoMangleItems,
);

add_builtin_with_new!(sess,
Expand Down
9 changes: 8 additions & 1 deletion src/test/compile-fail/lint-unexported-no-mangle.rs
Expand Up @@ -8,13 +8,20 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.

// compile-flags:-F private_no_mangle_fns
// compile-flags:-F private_no_mangle_fns -F no_mangle_const_items

// FIXME(#19495) no_mangle'ing main ICE's.
#[no_mangle]
fn foo() { //~ ERROR function foo is marked #[no_mangle], but not exported
}

#[allow(dead_code)]
#[no_mangle]
const FOO: u64 = 1; //~ ERROR const items should never be #[no_mangle]

#[no_mangle]
pub const PUB_FOO: u64 = 1; //~ ERROR const items should never be #[no_mangle]

#[no_mangle]
pub fn bar() {
}
Expand Down

0 comments on commit 51ed1ec

Please sign in to comment.