This commit is contained in:
Oliver Schneider 2016-02-03 15:39:22 +01:00
parent 3b8375d90b
commit af07ccc16c
9 changed files with 71 additions and 103 deletions

View file

@ -2,9 +2,7 @@ use rustc::lint::*;
use rustc_front::hir::*; use rustc_front::hir::*;
use std::f64::consts as f64; use std::f64::consts as f64;
use utils::span_lint; use utils::span_lint;
use syntax::ast::Lit_::*; use syntax::ast::{Lit, Lit_, FloatTy};
use syntax::ast::Lit;
use syntax::ast::FloatTy::*;
/// **What it does:** This lint checks for floating point literals that approximate constants which are defined in [`std::f32::consts`](https://doc.rust-lang.org/stable/std/f32/consts/#constants) or [`std::f64::consts`](https://doc.rust-lang.org/stable/std/f64/consts/#constants), respectively, suggesting to use the predefined constant. This lint is `Warn` by default. /// **What it does:** This lint checks for floating point literals that approximate constants which are defined in [`std::f32::consts`](https://doc.rust-lang.org/stable/std/f32/consts/#constants) or [`std::f64::consts`](https://doc.rust-lang.org/stable/std/f64/consts/#constants), respectively, suggesting to use the predefined constant. This lint is `Warn` by default.
/// ///
@ -57,9 +55,9 @@ impl LateLintPass for ApproxConstant {
fn check_lit(cx: &LateContext, lit: &Lit, e: &Expr) { fn check_lit(cx: &LateContext, lit: &Lit, e: &Expr) {
match lit.node { match lit.node {
LitFloat(ref s, TyF32) => check_known_consts(cx, e, s, "f32"), Lit_::LitFloat(ref s, FloatTy::TyF32) => check_known_consts(cx, e, s, "f32"),
LitFloat(ref s, TyF64) => check_known_consts(cx, e, s, "f64"), Lit_::LitFloat(ref s, FloatTy::TyF64) => check_known_consts(cx, e, s, "f64"),
LitFloatUnsuffixed(ref s) => check_known_consts(cx, e, s, "f{32, 64}"), Lit_::LitFloatUnsuffixed(ref s) => check_known_consts(cx, e, s, "f{32, 64}"),
_ => (), _ => (),
} }
} }

View file

@ -4,7 +4,7 @@ use rustc::middle::def::{Def, PathResolution};
use rustc_front::hir::*; use rustc_front::hir::*;
use rustc_front::util::is_comparison_binop; use rustc_front::util::is_comparison_binop;
use syntax::codemap::Span; use syntax::codemap::Span;
use syntax::ast::Lit_::*; use syntax::ast::Lit_;
use utils::span_lint; use utils::span_lint;
@ -256,7 +256,7 @@ fn check_ineffective_gt(cx: &LateContext, span: Span, m: u64, c: u64, op: &str)
fn fetch_int_literal(cx: &LateContext, lit: &Expr) -> Option<u64> { fn fetch_int_literal(cx: &LateContext, lit: &Expr) -> Option<u64> {
match lit.node { match lit.node {
ExprLit(ref lit_ptr) => { ExprLit(ref lit_ptr) => {
if let LitInt(value, _) = lit_ptr.node { if let Lit_::LitInt(value, _) = lit_ptr.node {
Some(value) //TODO: Handle sign Some(value) //TODO: Handle sign
} else { } else {
None None

View file

@ -12,14 +12,10 @@ use std::cmp::Ordering::{self, Greater, Less, Equal};
use std::rc::Rc; use std::rc::Rc;
use std::ops::Deref; use std::ops::Deref;
use std::fmt; use std::fmt;
use self::FloatWidth::*;
use syntax::ast::Lit_::*;
use syntax::ast::Lit_; use syntax::ast::Lit_;
use syntax::ast::LitIntType::*;
use syntax::ast::LitIntType; use syntax::ast::LitIntType;
use syntax::ast::{UintTy, FloatTy, StrStyle}; use syntax::ast::{UintTy, FloatTy, StrStyle};
use syntax::ast::FloatTy::*;
use syntax::ast::Sign::{self, Plus, Minus}; use syntax::ast::Sign::{self, Plus, Minus};
@ -33,8 +29,8 @@ pub enum FloatWidth {
impl From<FloatTy> for FloatWidth { impl From<FloatTy> for FloatWidth {
fn from(ty: FloatTy) -> FloatWidth { fn from(ty: FloatTy) -> FloatWidth {
match ty { match ty {
TyF32 => Fw32, FloatTy::TyF32 => FloatWidth::Fw32,
TyF64 => Fw64, FloatTy::TyF64 => FloatWidth::Fw64,
} }
} }
} }
@ -107,6 +103,7 @@ impl PartialEq for Constant {
lv == rv && (is_negative(lty) & (lv != 0)) == (is_negative(rty) & (rv != 0)) lv == rv && (is_negative(lty) & (lv != 0)) == (is_negative(rty) & (rv != 0))
} }
(&Constant::Float(ref ls, lw), &Constant::Float(ref rs, rw)) => { (&Constant::Float(ref ls, lw), &Constant::Float(ref rs, rw)) => {
use self::FloatWidth::*;
if match (lw, rw) { if match (lw, rw) {
(FwAny, _) | (_, FwAny) | (Fw32, Fw32) | (Fw64, Fw64) => true, (FwAny, _) | (_, FwAny) | (Fw32, Fw32) | (Fw64, Fw64) => true,
_ => false, _ => false,
@ -149,6 +146,7 @@ impl PartialOrd for Constant {
}) })
} }
(&Constant::Float(ref ls, lw), &Constant::Float(ref rs, rw)) => { (&Constant::Float(ref ls, lw), &Constant::Float(ref rs, rw)) => {
use self::FloatWidth::*;
if match (lw, rw) { if match (lw, rw) {
(FwAny, _) | (_, FwAny) | (Fw32, Fw32) | (Fw64, Fw64) => true, (FwAny, _) | (_, FwAny) | (Fw32, Fw32) | (Fw64, Fw64) => true,
_ => false, _ => false,
@ -261,76 +259,51 @@ impl fmt::Display for Constant {
fn lit_to_constant(lit: &Lit_) -> Constant { fn lit_to_constant(lit: &Lit_) -> Constant {
match *lit { match *lit {
LitStr(ref is, style) => Constant::Str(is.to_string(), style), Lit_::LitStr(ref is, style) => Constant::Str(is.to_string(), style),
LitByte(b) => Constant::Byte(b), Lit_::LitByte(b) => Constant::Byte(b),
LitByteStr(ref s) => Constant::Binary(s.clone()), Lit_::LitByteStr(ref s) => Constant::Binary(s.clone()),
LitChar(c) => Constant::Char(c), Lit_::LitChar(c) => Constant::Char(c),
LitInt(value, ty) => Constant::Int(value, ty), Lit_::LitInt(value, ty) => Constant::Int(value, ty),
LitFloat(ref is, ty) => Constant::Float(is.to_string(), ty.into()), Lit_::LitFloat(ref is, ty) => Constant::Float(is.to_string(), ty.into()),
LitFloatUnsuffixed(ref is) => Constant::Float(is.to_string(), FwAny), Lit_::LitFloatUnsuffixed(ref is) => Constant::Float(is.to_string(), FloatWidth::FwAny),
LitBool(b) => Constant::Bool(b), Lit_::LitBool(b) => Constant::Bool(b),
} }
} }
fn constant_not(o: Constant) -> Option<Constant> { fn constant_not(o: Constant) -> Option<Constant> {
Some(match o { use syntax::ast::LitIntType::*;
Constant::Bool(b) => Constant::Bool(!b), use self::Constant::*;
Constant::Int(value, ty) => { match o {
let (nvalue, nty) = match ty { Bool(b) => Some(Bool(!b)),
SignedIntLit(ity, Plus) => { Int(::std::u64::MAX, SignedIntLit(_, Plus)) => None,
if value == ::std::u64::MAX { Int(value, SignedIntLit(ity, Plus)) => Some(Int(value + 1, SignedIntLit(ity, Minus))),
return None; Int(0, SignedIntLit(ity, Minus)) => Some(Int(1, SignedIntLit(ity, Minus))),
} Int(value, SignedIntLit(ity, Minus)) => Some(Int(value - 1, SignedIntLit(ity, Plus))),
(value + 1, SignedIntLit(ity, Minus)) Int(value, UnsignedIntLit(ity)) => {
} let mask = match ity {
SignedIntLit(ity, Minus) => { UintTy::TyU8 => ::std::u8::MAX as u64,
if value == 0 { UintTy::TyU16 => ::std::u16::MAX as u64,
(1, SignedIntLit(ity, Minus)) UintTy::TyU32 => ::std::u32::MAX as u64,
} else { UintTy::TyU64 => ::std::u64::MAX,
(value - 1, SignedIntLit(ity, Plus)) UintTy::TyUs => {
}
}
UnsignedIntLit(ity) => {
let mask = match ity {
UintTy::TyU8 => ::std::u8::MAX as u64,
UintTy::TyU16 => ::std::u16::MAX as u64,
UintTy::TyU32 => ::std::u32::MAX as u64,
UintTy::TyU64 => ::std::u64::MAX,
UintTy::TyUs => {
return None;
} // refuse to guess
};
(!value & mask, UnsignedIntLit(ity))
}
UnsuffixedIntLit(_) => {
return None; return None;
} // refuse to guess } // refuse to guess
}; };
Constant::Int(nvalue, nty) Some(Int(!value & mask, UnsignedIntLit(ity)))
} },
_ => { _ => None,
return None; }
}
})
} }
fn constant_negate(o: Constant) -> Option<Constant> { fn constant_negate(o: Constant) -> Option<Constant> {
Some(match o { use syntax::ast::LitIntType::*;
Constant::Int(value, ty) => { use self::Constant::*;
Constant::Int(value, match o {
match ty { Int(value, SignedIntLit(ity, sign)) => Some(Int(value, SignedIntLit(ity, neg_sign(sign)))),
SignedIntLit(ity, sign) => SignedIntLit(ity, neg_sign(sign)), Int(value, UnsuffixedIntLit(sign)) => Some(Int(value, UnsuffixedIntLit(neg_sign(sign)))),
UnsuffixedIntLit(sign) => UnsuffixedIntLit(neg_sign(sign)), Float(is, ty) => Some(Float(neg_float_str(is), ty)),
_ => { _ => None,
return None; }
}
})
}
Constant::Float(is, ty) => Constant::Float(neg_float_str(is), ty),
_ => {
return None;
}
})
} }
fn neg_sign(s: Sign) -> Sign { fn neg_sign(s: Sign) -> Sign {
@ -357,12 +330,13 @@ fn neg_float_str(s: String) -> String {
/// ``` /// ```
pub fn is_negative(ty: LitIntType) -> bool { pub fn is_negative(ty: LitIntType) -> bool {
match ty { match ty {
SignedIntLit(_, sign) | UnsuffixedIntLit(sign) => sign == Minus, LitIntType::SignedIntLit(_, sign) | LitIntType::UnsuffixedIntLit(sign) => sign == Minus,
UnsignedIntLit(_) => false, LitIntType::UnsignedIntLit(_) => false,
} }
} }
fn unify_int_type(l: LitIntType, r: LitIntType, s: Sign) -> Option<LitIntType> { fn unify_int_type(l: LitIntType, r: LitIntType, s: Sign) -> Option<LitIntType> {
use syntax::ast::LitIntType::*;
match (l, r) { match (l, r) {
(SignedIntLit(lty, _), SignedIntLit(rty, _)) => { (SignedIntLit(lty, _), SignedIntLit(rty, _)) => {
if lty == rty { if lty == rty {

View file

@ -6,8 +6,7 @@ use syntax::codemap::{Span, Spanned};
use rustc::middle::def_id::DefId; use rustc::middle::def_id::DefId;
use rustc::middle::ty::{self, MethodTraitItemId, ImplOrTraitItemId}; use rustc::middle::ty::{self, MethodTraitItemId, ImplOrTraitItemId};
use syntax::ast::Lit_::*; use syntax::ast::{Lit, Lit_};
use syntax::ast::Lit;
use utils::{get_item_name, snippet, span_lint, walk_ptrs_ty}; use utils::{get_item_name, snippet, span_lint, walk_ptrs_ty};
@ -148,7 +147,7 @@ fn check_cmp(cx: &LateContext, span: Span, left: &Expr, right: &Expr, op: &str)
} }
fn check_len_zero(cx: &LateContext, span: Span, name: &Name, args: &[P<Expr>], lit: &Lit, op: &str) { fn check_len_zero(cx: &LateContext, span: Span, name: &Name, args: &[P<Expr>], lit: &Lit, op: &str) {
if let Spanned{node: LitInt(0, _), ..} = *lit { if let Spanned{node: Lit_::LitInt(0, _), ..} = *lit {
if name.as_str() == "len" && args.len() == 1 && has_is_empty(cx, &args[0]) { if name.as_str() == "len" && args.len() == 1 && has_is_empty(cx, &args[0]) {
span_lint(cx, span_lint(cx,
LEN_ZERO, LEN_ZERO,

View file

@ -1,8 +1,7 @@
use rustc::lint::*; use rustc::lint::*;
use rustc_front::hir::*; use rustc_front::hir::*;
use syntax::ptr::P; use syntax::ptr::P;
use std::cmp::PartialOrd; use std::cmp::{PartialOrd, Ordering};
use std::cmp::Ordering::*;
use consts::{Constant, constant_simple}; use consts::{Constant, constant_simple};
use utils::{match_def_path, span_lint}; use utils::{match_def_path, span_lint};
@ -36,7 +35,7 @@ impl LateLintPass for MinMaxPass {
return; return;
} }
match (outer_max, outer_c.partial_cmp(&inner_c)) { match (outer_max, outer_c.partial_cmp(&inner_c)) {
(_, None) | (Max, Some(Less)) | (Min, Some(Greater)) => (), (_, None) | (Max, Some(Ordering::Less)) | (Min, Some(Ordering::Greater)) => (),
_ => { _ => {
span_lint(cx, MIN_MAX, expr.span, "this min/max combination leads to constant result"); span_lint(cx, MIN_MAX, expr.span, "this min/max combination leads to constant result");
} }

View file

@ -5,7 +5,7 @@
use rustc::lint::*; use rustc::lint::*;
use rustc_front::hir::*; use rustc_front::hir::*;
use syntax::ast::Lit_::*; use syntax::ast::Lit_;
use utils::{span_lint, snippet}; use utils::{span_lint, snippet};
@ -90,7 +90,7 @@ fn fetch_bool_expr(expr: &Expr) -> Option<bool> {
match expr.node { match expr.node {
ExprBlock(ref block) => fetch_bool_block(block), ExprBlock(ref block) => fetch_bool_block(block),
ExprLit(ref lit_ptr) => { ExprLit(ref lit_ptr) => {
if let LitBool(value) = lit_ptr.node { if let Lit_::LitBool(value) = lit_ptr.node {
Some(value) Some(value)
} else { } else {
None None

View file

@ -5,9 +5,7 @@ use rustc_front::util::{is_comparison_binop, binop_to_string};
use syntax::codemap::Span; use syntax::codemap::Span;
use rustc_front::intravisit::{FnKind, Visitor, walk_ty}; use rustc_front::intravisit::{FnKind, Visitor, walk_ty};
use rustc::middle::ty; use rustc::middle::ty;
use syntax::ast::IntTy::*; use syntax::ast::{IntTy, UintTy, FloatTy};
use syntax::ast::UintTy::*;
use syntax::ast::FloatTy::*;
use utils::*; use utils::*;
@ -217,7 +215,7 @@ fn int_ty_to_nbits(typ: &ty::TyS) -> usize {
fn is_isize_or_usize(typ: &ty::TyS) -> bool { fn is_isize_or_usize(typ: &ty::TyS) -> bool {
match typ.sty { match typ.sty {
ty::TyInt(TyIs) | ty::TyUint(TyUs) => true, ty::TyInt(IntTy::TyIs) | ty::TyUint(UintTy::TyUs) => true,
_ => false, _ => false,
} }
} }
@ -342,7 +340,7 @@ impl LateLintPass for CastPass {
match (cast_from.is_integral(), cast_to.is_integral()) { match (cast_from.is_integral(), cast_to.is_integral()) {
(true, false) => { (true, false) => {
let from_nbits = int_ty_to_nbits(cast_from); let from_nbits = int_ty_to_nbits(cast_from);
let to_nbits = if let ty::TyFloat(TyF32) = cast_to.sty { let to_nbits = if let ty::TyFloat(FloatTy::TyF32) = cast_to.sty {
32 32
} else { } else {
64 64
@ -373,7 +371,7 @@ impl LateLintPass for CastPass {
check_truncation_and_wrapping(cx, expr, cast_from, cast_to); check_truncation_and_wrapping(cx, expr, cast_from, cast_to);
} }
(false, false) => { (false, false) => {
if let (&ty::TyFloat(TyF64), &ty::TyFloat(TyF32)) = (&cast_from.sty, &cast_to.sty) { if let (&ty::TyFloat(FloatTy::TyF64), &ty::TyFloat(FloatTy::TyF32)) = (&cast_from.sty, &cast_to.sty) {
span_lint(cx, span_lint(cx,
CAST_POSSIBLE_TRUNCATION, CAST_POSSIBLE_TRUNCATION,
expr.span, expr.span,

View file

@ -2,7 +2,7 @@ use rustc::lint::*;
use rustc_front::hir::*; use rustc_front::hir::*;
use syntax::codemap::Span; use syntax::codemap::Span;
use syntax::ast::Lit_::*; use syntax::ast::Lit_;
use unicode_normalization::UnicodeNormalization; use unicode_normalization::UnicodeNormalization;
@ -51,7 +51,7 @@ impl LintPass for Unicode {
impl LateLintPass for Unicode { impl LateLintPass for Unicode {
fn check_expr(&mut self, cx: &LateContext, expr: &Expr) { fn check_expr(&mut self, cx: &LateContext, expr: &Expr) {
if let ExprLit(ref lit) = expr.node { if let ExprLit(ref lit) = expr.node {
if let LitStr(_, _) = lit.node { if let Lit_::LitStr(_, _) = lit.node {
check_str(cx, lit.span) check_str(cx, lit.span)
} }
} }

View file

@ -1,7 +1,7 @@
use consts::constant; use consts::constant;
use reexport::*; use reexport::*;
use rustc::front::map::Node::*; use rustc::front::map::Node;
use rustc::lint::*; use rustc::lint::{LintContext, LateContext, Level, Lint};
use rustc::middle::def_id::DefId; use rustc::middle::def_id::DefId;
use rustc::middle::{cstore, def, infer, ty, traits}; use rustc::middle::{cstore, def, infer, ty, traits};
use rustc::session::Session; use rustc::session::Session;
@ -10,7 +10,7 @@ use std::borrow::Cow;
use std::mem; use std::mem;
use std::ops::{Deref, DerefMut}; use std::ops::{Deref, DerefMut};
use std::str::FromStr; use std::str::FromStr;
use syntax::ast::Lit_::*; use syntax::ast::Lit_;
use syntax::ast; use syntax::ast;
use syntax::codemap::{ExpnInfo, Span, ExpnFormat}; use syntax::codemap::{ExpnInfo, Span, ExpnFormat};
use syntax::errors::DiagnosticBuilder; use syntax::errors::DiagnosticBuilder;
@ -295,9 +295,9 @@ pub fn method_chain_args<'a>(expr: &'a Expr, methods: &[&str]) -> Option<Vec<&'a
pub fn get_item_name(cx: &LateContext, expr: &Expr) -> Option<Name> { pub fn get_item_name(cx: &LateContext, expr: &Expr) -> Option<Name> {
let parent_id = cx.tcx.map.get_parent(expr.id); let parent_id = cx.tcx.map.get_parent(expr.id);
match cx.tcx.map.find(parent_id) { match cx.tcx.map.find(parent_id) {
Some(NodeItem(&Item{ ref name, .. })) | Some(Node::NodeItem(&Item{ ref name, .. })) |
Some(NodeTraitItem(&TraitItem{ ref name, .. })) | Some(Node::NodeTraitItem(&TraitItem{ ref name, .. })) |
Some(NodeImplItem(&ImplItem{ ref name, .. })) => Some(*name), Some(Node::NodeImplItem(&ImplItem{ ref name, .. })) => Some(*name),
_ => None, _ => None,
} }
} }
@ -407,7 +407,7 @@ pub fn get_parent_expr<'c>(cx: &'c LateContext, e: &Expr) -> Option<&'c Expr> {
return None; return None;
} }
map.find(parent_id).and_then(|node| { map.find(parent_id).and_then(|node| {
if let NodeExpr(parent) = node { if let Node::NodeExpr(parent) = node {
Some(parent) Some(parent)
} else { } else {
None None
@ -421,8 +421,8 @@ pub fn get_enclosing_block<'c>(cx: &'c LateContext, node: NodeId) -> Option<&'c
.and_then(|enclosing_id| map.find(enclosing_id)); .and_then(|enclosing_id| map.find(enclosing_id));
if let Some(node) = enclosing_node { if let Some(node) = enclosing_node {
match node { match node {
NodeBlock(ref block) => Some(block), Node::NodeBlock(ref block) => Some(block),
NodeItem(&Item{ node: ItemFn(_, _, _, _, _, ref block), .. }) => Some(block), Node::NodeItem(&Item{ node: ItemFn(_, _, _, _, _, ref block), .. }) => Some(block),
_ => None, _ => None,
} }
} else { } else {
@ -528,7 +528,7 @@ pub fn walk_ptrs_ty_depth(ty: ty::Ty) -> (ty::Ty, usize) {
pub fn is_integer_literal(expr: &Expr, value: u64) -> bool { pub fn is_integer_literal(expr: &Expr, value: u64) -> bool {
// FIXME: use constant folding // FIXME: use constant folding
if let ExprLit(ref spanned) = expr.node { if let ExprLit(ref spanned) = expr.node {
if let LitInt(v, _) = spanned.node { if let Lit_::LitInt(v, _) = spanned.node {
return v == value; return v == value;
} }
} }
@ -574,7 +574,7 @@ fn parse_attrs<F: FnMut(u64)>(sess: &Session, attrs: &[ast::Attribute], name: &'
} }
if let ast::MetaNameValue(ref key, ref value) = attr.value.node { if let ast::MetaNameValue(ref key, ref value) = attr.value.node {
if *key == name { if *key == name {
if let LitStr(ref s, _) = value.node { if let Lit_::LitStr(ref s, _) = value.node {
if let Ok(value) = FromStr::from_str(s) { if let Ok(value) = FromStr::from_str(s) {
f(value) f(value)
} else { } else {