mirror of
https://github.com/rust-lang/rust-clippy
synced 2024-11-27 07:00:55 +00:00
Merge pull request #68 from Manishearth/macro_expn
macro expn detection in mut_mut.rs
This commit is contained in:
commit
4c76465154
6 changed files with 54 additions and 6 deletions
|
@ -17,3 +17,6 @@ plugin = true
|
||||||
|
|
||||||
[dev-dependencies]
|
[dev-dependencies]
|
||||||
compiletest_rs = "*"
|
compiletest_rs = "*"
|
||||||
|
regex = "*"
|
||||||
|
regex_macros = "*"
|
||||||
|
lazy_static = "*"
|
||||||
|
|
|
@ -1,6 +1,5 @@
|
||||||
#![feature(plugin_registrar, box_syntax)]
|
#![feature(plugin_registrar, box_syntax)]
|
||||||
#![feature(rustc_private, collections)]
|
#![feature(rustc_private, collections)]
|
||||||
|
|
||||||
#![allow(unused_imports)]
|
#![allow(unused_imports)]
|
||||||
|
|
||||||
#[macro_use]
|
#[macro_use]
|
||||||
|
|
|
@ -2,7 +2,7 @@ use syntax::ptr::P;
|
||||||
use syntax::ast::*;
|
use syntax::ast::*;
|
||||||
use rustc::lint::{Context, LintPass, LintArray, Lint};
|
use rustc::lint::{Context, LintPass, LintArray, Lint};
|
||||||
use rustc::middle::ty::{expr_ty, sty, ty_ptr, ty_rptr, mt};
|
use rustc::middle::ty::{expr_ty, sty, ty_ptr, ty_rptr, mt};
|
||||||
use syntax::codemap::ExpnInfo;
|
use syntax::codemap::{BytePos, ExpnInfo, MacroFormat, Span};
|
||||||
|
|
||||||
declare_lint!(pub MUT_MUT, Warn,
|
declare_lint!(pub MUT_MUT, Warn,
|
||||||
"Warn on usage of double-mut refs, e.g. '&mut &mut ...'");
|
"Warn on usage of double-mut refs, e.g. '&mut &mut ...'");
|
||||||
|
@ -27,7 +27,7 @@ impl LintPass for MutMut {
|
||||||
}
|
}
|
||||||
|
|
||||||
fn check_expr_expd(cx: &Context, expr: &Expr, info: Option<&ExpnInfo>) {
|
fn check_expr_expd(cx: &Context, expr: &Expr, info: Option<&ExpnInfo>) {
|
||||||
if in_external_macro(info) { return; }
|
if in_macro(cx, info) { return; }
|
||||||
|
|
||||||
fn unwrap_addr(expr : &Expr) -> Option<&Expr> {
|
fn unwrap_addr(expr : &Expr) -> Option<&Expr> {
|
||||||
match expr.node {
|
match expr.node {
|
||||||
|
@ -51,8 +51,14 @@ fn check_expr_expd(cx: &Context, expr: &Expr, info: Option<&ExpnInfo>) {
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
fn in_external_macro(info: Option<&ExpnInfo>) -> bool {
|
fn in_macro(cx: &Context, opt_info: Option<&ExpnInfo>) -> bool {
|
||||||
info.map_or(false, |i| i.callee.span.is_some())
|
opt_info.map_or(false, |info| {
|
||||||
|
info.callee.span.map_or(true, |span| {
|
||||||
|
cx.sess().codemap().span_to_snippet(span).ok().map_or(true, |code|
|
||||||
|
!code.starts_with("macro_rules")
|
||||||
|
)
|
||||||
|
})
|
||||||
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
fn unwrap_mut(ty : &Ty) -> Option<&Ty> {
|
fn unwrap_mut(ty : &Ty) -> Option<&Ty> {
|
||||||
|
|
|
@ -1,11 +1,18 @@
|
||||||
#![feature(plugin)]
|
#![feature(plugin)]
|
||||||
#![plugin(clippy)]
|
#![plugin(clippy)]
|
||||||
|
|
||||||
|
//#![plugin(regex_macros)]
|
||||||
|
//extern crate regex;
|
||||||
|
|
||||||
#[deny(mut_mut)]
|
#[deny(mut_mut)]
|
||||||
fn fun(x : &mut &mut u32) -> bool { //~ERROR
|
fn fun(x : &mut &mut u32) -> bool { //~ERROR
|
||||||
**x > 0
|
**x > 0
|
||||||
}
|
}
|
||||||
|
|
||||||
|
macro_rules! mut_ptr {
|
||||||
|
($p:expr) => { &mut $p }
|
||||||
|
}
|
||||||
|
|
||||||
#[deny(mut_mut)]
|
#[deny(mut_mut)]
|
||||||
#[allow(unused_mut, unused_variables)]
|
#[allow(unused_mut, unused_variables)]
|
||||||
fn main() {
|
fn main() {
|
||||||
|
@ -22,4 +29,6 @@ fn main() {
|
||||||
//~^^^^ ERROR
|
//~^^^^ ERROR
|
||||||
***y + **x;
|
***y + **x;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
let mut z = mut_ptr!(&mut 3u32); //~ERROR
|
||||||
}
|
}
|
||||||
|
|
|
@ -5,7 +5,7 @@ use std::path::PathBuf;
|
||||||
fn run_mode(mode: &'static str) {
|
fn run_mode(mode: &'static str) {
|
||||||
let mut config = compiletest::default_config();
|
let mut config = compiletest::default_config();
|
||||||
let cfg_mode = mode.parse().ok().expect("Invalid mode");
|
let cfg_mode = mode.parse().ok().expect("Invalid mode");
|
||||||
config.target_rustcflags = Some("-L target/debug/".to_string());
|
config.target_rustcflags = Some("-l regex_macros -L target/debug/".to_string());
|
||||||
|
|
||||||
config.mode = cfg_mode;
|
config.mode = cfg_mode;
|
||||||
config.src_base = PathBuf::from(format!("tests/{}", mode));
|
config.src_base = PathBuf::from(format!("tests/{}", mode));
|
||||||
|
|
31
tests/run-pass.rs
Normal file
31
tests/run-pass.rs
Normal file
|
@ -0,0 +1,31 @@
|
||||||
|
#![feature(plugin)]
|
||||||
|
#![plugin(clippy, regex_macros)]
|
||||||
|
|
||||||
|
#[macro_use]
|
||||||
|
extern crate lazy_static;
|
||||||
|
extern crate regex;
|
||||||
|
|
||||||
|
use std::collections::HashMap;
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
#[deny(mut_mut)]
|
||||||
|
fn test_regex() {
|
||||||
|
let pattern = regex!(r"^(?P<level>[#]+)\s(?P<title>.+)$");
|
||||||
|
assert!(pattern.is_match("# headline"));
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
#[deny(mut_mut)]
|
||||||
|
#[allow(unused_variables, unused_mut)]
|
||||||
|
fn test_lazy_static() {
|
||||||
|
lazy_static! {
|
||||||
|
static ref MUT_MAP : HashMap<usize, &'static str> = {
|
||||||
|
let mut m = HashMap::new();
|
||||||
|
let mut zero = &mut &mut "zero";
|
||||||
|
m.insert(0, "zero");
|
||||||
|
m
|
||||||
|
};
|
||||||
|
static ref MUT_COUNT : usize = MUT_MAP.len();
|
||||||
|
}
|
||||||
|
assert!(*MUT_COUNT == 1);
|
||||||
|
}
|
Loading…
Reference in a new issue