src/librustc/lint/builtin.rs

   1 // Copyright 2012-2015 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.
   4 //
   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.
  10
  11 //! Some lints that are built in to the compiler.
  12 //!
  13 //! These are the built-in lints that are emitted direct in the main
  14 //! compiler code, rather than using their own custom pass. Those
  15 //! lints are all available in `rustc_lint::builtin`.
  16
  17 use lint::{LintPass, LateLintPass, LintArray};
  18
  19 declare_lint! {
  20     pub CONST_ERR,
  21     Warn,
  22     "constant evaluation detected erroneous expression"
  23 }
  24
  25 declare_lint! {
  26     pub UNUSED_IMPORTS,
  27     Warn,
  28     "imports that are never used"
  29 }
  30
  31 declare_lint! {
  32     pub UNUSED_EXTERN_CRATES,
  33     Allow,
  34     "extern crates that are never used"
  35 }
  36
  37 declare_lint! {
  38     pub UNUSED_QUALIFICATIONS,
  39     Allow,
  40     "detects unnecessarily qualified names"
  41 }
  42
  43 declare_lint! {
  44     pub UNKNOWN_LINTS,
  45     Warn,
  46     "unrecognized lint attribute"
  47 }
  48
  49 declare_lint! {
  50     pub UNUSED_VARIABLES,
  51     Warn,
  52     "detect variables which are not used in any way"
  53 }
  54
  55 declare_lint! {
  56     pub UNUSED_ASSIGNMENTS,
  57     Warn,
  58     "detect assignments that will never be read"
  59 }
  60
  61 declare_lint! {
  62     pub DEAD_CODE,
  63     Warn,
  64     "detect unused, unexported items"
  65 }
  66
  67 declare_lint! {
  68     pub UNREACHABLE_CODE,
  69     Warn,
  70     "detects unreachable code paths"
  71 }
  72
  73 declare_lint! {
  74     pub WARNINGS,
  75     Warn,
  76     "mass-change the level for lints which produce warnings"
  77 }
  78
  79 declare_lint! {
  80     pub UNUSED_FEATURES,
  81     Warn,
  82     "unused or unknown features found in crate-level #[feature] directives"
  83 }
  84
  85 declare_lint! {
  86     pub STABLE_FEATURES,
  87     Warn,
  88     "stable features found in #[feature] directive"
  89 }
  90
  91 declare_lint! {
  92     pub UNKNOWN_CRATE_TYPES,
  93     Deny,
  94     "unknown crate type found in #[crate_type] directive"
  95 }
  96
  97 declare_lint! {
  98     pub VARIANT_SIZE_DIFFERENCES,
  99     Allow,
 100     "detects enums with widely varying variant sizes"
 101 }
 102
 103 declare_lint! {
 104     pub FAT_PTR_TRANSMUTES,
 105     Allow,
 106     "detects transmutes of fat pointers"
 107 }
 108
 109 declare_lint! {
 110     pub TRIVIAL_CASTS,
 111     Allow,
 112     "detects trivial casts which could be removed"
 113 }
 114
 115 declare_lint! {
 116     pub TRIVIAL_NUMERIC_CASTS,
 117     Allow,
 118     "detects trivial casts of numeric types which could be removed"
 119 }
 120
 121 declare_lint! {
 122     pub PRIVATE_IN_PUBLIC,
 123     Warn,
 124     "detect private items in public interfaces not caught by the old implementation"
 125 }
 126
 127 declare_lint! {
 128     pub INACCESSIBLE_EXTERN_CRATE,
 129     Warn,
 130     "use of inaccessible extern crate erroneously allowed"
 131 }
 132
 133 declare_lint! {
 134     pub INVALID_TYPE_PARAM_DEFAULT,
 135     Warn,
 136     "type parameter default erroneously allowed in invalid location"
 137 }
 138
 139 declare_lint! {
 140     pub MATCH_OF_UNIT_VARIANT_VIA_PAREN_DOTDOT,
 141     Deny,
 142     "unit struct or enum variant erroneously allowed to match via path::ident(..)"
 143 }
 144
 145 declare_lint! {
 146     pub RAW_POINTER_DERIVE,
 147     Warn,
 148     "uses of #[derive] with raw pointers are rarely correct"
 149 }
 150
 151 declare_lint! {
 152     pub TRANSMUTE_FROM_FN_ITEM_TYPES,
 153     Warn,
 154     "transmute from function item type to pointer-sized type erroneously allowed"
 155 }
 156
 157 declare_lint! {
 158     pub OVERLAPPING_INHERENT_IMPLS,
 159     Warn,
 160     "two overlapping inherent impls define an item with the same name were erroneously allowed"
 161 }
 162
 163 /// Does nothing as a lint pass, but registers some `Lint`s
 164 /// which are used by other parts of the compiler.
 165 #[derive(Copy, Clone)]
 166 pub struct HardwiredLints;
 167
 168 impl LintPass for HardwiredLints {
 169     fn get_lints(&self) -> LintArray {
 170         lint_array!(
 171             UNUSED_IMPORTS,
 172             UNUSED_EXTERN_CRATES,
 173             UNUSED_QUALIFICATIONS,
 174             UNKNOWN_LINTS,
 175             UNUSED_VARIABLES,
 176             UNUSED_ASSIGNMENTS,
 177             DEAD_CODE,
 178             UNREACHABLE_CODE,
 179             WARNINGS,
 180             UNUSED_FEATURES,
 181             STABLE_FEATURES,
 182             UNKNOWN_CRATE_TYPES,
 183             VARIANT_SIZE_DIFFERENCES,
 184             FAT_PTR_TRANSMUTES,
 185             TRIVIAL_CASTS,
 186             TRIVIAL_NUMERIC_CASTS,
 187             PRIVATE_IN_PUBLIC,
 188             INACCESSIBLE_EXTERN_CRATE,
 189             INVALID_TYPE_PARAM_DEFAULT,
 190             MATCH_OF_UNIT_VARIANT_VIA_PAREN_DOTDOT,
 191             CONST_ERR,
 192             RAW_POINTER_DERIVE,
 193             TRANSMUTE_FROM_FN_ITEM_TYPES,
 194             OVERLAPPING_INHERENT_IMPLS
 195         )
 196     }
 197 }
 198
 199 impl LateLintPass for HardwiredLints {}