]> git.lizzy.rs Git - rust.git/blob - src/lib.rs
Linting classical overflow checks.
[rust.git] / src / lib.rs
1 #![feature(plugin_registrar, box_syntax)]
2 #![feature(rustc_private, collections)]
3 #![feature(iter_arith)]
4 #![feature(custom_attribute)]
5 #![allow(unknown_lints)]
6
7 // this only exists to allow the "dogfood" integration test to work
8 #[allow(dead_code)]
9 #[allow(print_stdout)]
10 fn main() {
11     println!("What are you doing? Don't run clippy as an executable");
12 }
13
14 #[macro_use]
15 extern crate syntax;
16 #[macro_use]
17 extern crate rustc;
18 #[macro_use]
19 extern crate rustc_front;
20
21 // Only for the compile time checking of paths
22 extern crate core;
23 extern crate collections;
24
25 // for unicode nfc normalization
26 extern crate unicode_normalization;
27
28 // for semver check in attrs.rs
29 extern crate semver;
30
31 // for regex checking
32 extern crate regex_syntax;
33
34 extern crate rustc_plugin;
35
36 use rustc_plugin::Registry;
37
38 pub mod consts;
39 #[macro_use]
40 pub mod utils;
41
42 // begin lints modules, do not remove this comment, it’s used in `update_lints`
43 pub mod approx_const;
44 pub mod array_indexing;
45 pub mod attrs;
46 pub mod bit_mask;
47 pub mod block_in_if_condition;
48 pub mod collapsible_if;
49 pub mod copies;
50 pub mod cyclomatic_complexity;
51 pub mod derive;
52 pub mod drop_ref;
53 pub mod entry;
54 pub mod enum_clike;
55 pub mod enum_glob_use;
56 pub mod enum_variants;
57 pub mod eq_op;
58 pub mod escape;
59 pub mod eta_reduction;
60 pub mod format;
61 pub mod formatting;
62 pub mod identity_op;
63 pub mod if_not_else;
64 pub mod items_after_statements;
65 pub mod len_zero;
66 pub mod lifetimes;
67 pub mod loops;
68 pub mod map_clone;
69 pub mod matches;
70 pub mod methods;
71 pub mod minmax;
72 pub mod misc;
73 pub mod misc_early;
74 pub mod mut_mut;
75 pub mod mut_reference;
76 pub mod mutex_atomic;
77 pub mod needless_bool;
78 pub mod needless_features;
79 pub mod needless_update;
80 pub mod no_effect;
81 pub mod open_options;
82 pub mod overflow_check_conditional;
83 pub mod panic;
84 pub mod precedence;
85 pub mod print;
86 pub mod ptr_arg;
87 pub mod ranges;
88 pub mod regex;
89 pub mod returns;
90 pub mod shadow;
91 pub mod strings;
92 pub mod swap;
93 pub mod temporary_assignment;
94 pub mod transmute;
95 pub mod types;
96 pub mod unicode;
97 pub mod vec;
98 pub mod zero_div_zero;
99 // end lints modules, do not remove this comment, it’s used in `update_lints`
100
101 mod reexport {
102     pub use syntax::ast::{Name, NodeId};
103 }
104
105 #[plugin_registrar]
106 #[cfg_attr(rustfmt, rustfmt_skip)]
107 pub fn plugin_registrar(reg: &mut Registry) {
108     reg.register_late_lint_pass(box types::TypePass);
109     reg.register_late_lint_pass(box misc::TopLevelRefPass);
110     reg.register_late_lint_pass(box misc::CmpNan);
111     reg.register_late_lint_pass(box eq_op::EqOp);
112     reg.register_early_lint_pass(box enum_variants::EnumVariantNames);
113     reg.register_late_lint_pass(box enum_glob_use::EnumGlobUse);
114     reg.register_late_lint_pass(box enum_clike::EnumClikeUnportableVariant);
115     reg.register_late_lint_pass(box bit_mask::BitMask);
116     reg.register_late_lint_pass(box ptr_arg::PtrArg);
117     reg.register_late_lint_pass(box needless_bool::NeedlessBool);
118     reg.register_late_lint_pass(box needless_bool::BoolComparison);
119     reg.register_late_lint_pass(box approx_const::ApproxConstant);
120     reg.register_late_lint_pass(box misc::FloatCmp);
121     reg.register_early_lint_pass(box precedence::Precedence);
122     reg.register_late_lint_pass(box eta_reduction::EtaPass);
123     reg.register_late_lint_pass(box identity_op::IdentityOp);
124     reg.register_early_lint_pass(box items_after_statements::ItemsAfterStatemets);
125     reg.register_late_lint_pass(box mut_mut::MutMut);
126     reg.register_late_lint_pass(box mut_reference::UnnecessaryMutPassed);
127     reg.register_late_lint_pass(box len_zero::LenZero);
128     reg.register_late_lint_pass(box misc::CmpOwned);
129     reg.register_late_lint_pass(box attrs::AttrPass);
130     reg.register_late_lint_pass(box collapsible_if::CollapsibleIf);
131     reg.register_late_lint_pass(box block_in_if_condition::BlockInIfCondition);
132     reg.register_late_lint_pass(box misc::ModuloOne);
133     reg.register_late_lint_pass(box unicode::Unicode);
134     reg.register_late_lint_pass(box strings::StringAdd);
135     reg.register_early_lint_pass(box returns::ReturnPass);
136     reg.register_late_lint_pass(box methods::MethodsPass);
137     reg.register_late_lint_pass(box shadow::ShadowPass);
138     reg.register_late_lint_pass(box types::LetPass);
139     reg.register_late_lint_pass(box types::UnitCmp);
140     reg.register_late_lint_pass(box loops::LoopsPass);
141     reg.register_late_lint_pass(box lifetimes::LifetimePass);
142     reg.register_late_lint_pass(box entry::HashMapLint);
143     reg.register_late_lint_pass(box ranges::StepByZero);
144     reg.register_late_lint_pass(box types::CastPass);
145     reg.register_late_lint_pass(box types::TypeComplexityPass);
146     reg.register_late_lint_pass(box matches::MatchPass);
147     reg.register_late_lint_pass(box misc::PatternPass);
148     reg.register_late_lint_pass(box minmax::MinMaxPass);
149     reg.register_late_lint_pass(box open_options::NonSensicalOpenOptions);
150     reg.register_late_lint_pass(box zero_div_zero::ZeroDivZeroPass);
151     reg.register_late_lint_pass(box mutex_atomic::MutexAtomic);
152     reg.register_late_lint_pass(box needless_features::NeedlessFeaturesPass);
153     reg.register_late_lint_pass(box needless_update::NeedlessUpdatePass);
154     reg.register_late_lint_pass(box no_effect::NoEffectPass);
155     reg.register_late_lint_pass(box map_clone::MapClonePass);
156     reg.register_late_lint_pass(box temporary_assignment::TemporaryAssignmentPass);
157     reg.register_late_lint_pass(box transmute::UselessTransmute);
158     reg.register_late_lint_pass(box cyclomatic_complexity::CyclomaticComplexity::new(25));
159     reg.register_late_lint_pass(box escape::EscapePass);
160     reg.register_early_lint_pass(box misc_early::MiscEarly);
161     reg.register_late_lint_pass(box misc::UsedUnderscoreBinding);
162     reg.register_late_lint_pass(box array_indexing::ArrayIndexing);
163     reg.register_late_lint_pass(box panic::PanicPass);
164     reg.register_late_lint_pass(box strings::StringLitAsBytes);
165     reg.register_late_lint_pass(box derive::Derive);
166     reg.register_late_lint_pass(box types::CharLitAsU8);
167     reg.register_late_lint_pass(box print::PrintLint);
168     reg.register_late_lint_pass(box vec::UselessVec);
169     reg.register_late_lint_pass(box drop_ref::DropRefPass);
170     reg.register_late_lint_pass(box types::AbsurdExtremeComparisons);
171     reg.register_late_lint_pass(box regex::RegexPass::default());
172     reg.register_late_lint_pass(box copies::CopyAndPaste);
173     reg.register_late_lint_pass(box format::FormatMacLint);
174     reg.register_early_lint_pass(box formatting::Formatting);
175     reg.register_late_lint_pass(box swap::Swap);
176     reg.register_early_lint_pass(box if_not_else::IfNotElse);
177     reg.register_late_lint_pass(box overflow_check_conditional::OverflowCheckConditional);
178
179     reg.register_lint_group("clippy_pedantic", vec![
180         enum_glob_use::ENUM_GLOB_USE,
181         matches::SINGLE_MATCH_ELSE,
182         methods::OPTION_UNWRAP_USED,
183         methods::RESULT_UNWRAP_USED,
184         methods::WRONG_PUB_SELF_CONVENTION,
185         mut_mut::MUT_MUT,
186         mutex_atomic::MUTEX_INTEGER,
187         print::PRINT_STDOUT,
188         print::USE_DEBUG,
189         shadow::SHADOW_REUSE,
190         shadow::SHADOW_SAME,
191         shadow::SHADOW_UNRELATED,
192         strings::STRING_ADD,
193         strings::STRING_ADD_ASSIGN,
194         types::CAST_POSSIBLE_TRUNCATION,
195         types::CAST_POSSIBLE_WRAP,
196         types::CAST_PRECISION_LOSS,
197         types::CAST_SIGN_LOSS,
198         unicode::NON_ASCII_LITERAL,
199         unicode::UNICODE_NOT_NFC,
200     ]);
201
202     reg.register_lint_group("clippy", vec![
203         approx_const::APPROX_CONSTANT,
204         array_indexing::OUT_OF_BOUNDS_INDEXING,
205         attrs::DEPRECATED_SEMVER,
206         attrs::INLINE_ALWAYS,
207         bit_mask::BAD_BIT_MASK,
208         bit_mask::INEFFECTIVE_BIT_MASK,
209         block_in_if_condition::BLOCK_IN_IF_CONDITION_EXPR,
210         block_in_if_condition::BLOCK_IN_IF_CONDITION_STMT,
211         collapsible_if::COLLAPSIBLE_IF,
212         copies::IF_SAME_THEN_ELSE,
213         copies::IFS_SAME_COND,
214         copies::MATCH_SAME_ARMS,
215         cyclomatic_complexity::CYCLOMATIC_COMPLEXITY,
216         derive::DERIVE_HASH_XOR_EQ,
217         derive::EXPL_IMPL_CLONE_ON_COPY,
218         drop_ref::DROP_REF,
219         entry::MAP_ENTRY,
220         enum_clike::ENUM_CLIKE_UNPORTABLE_VARIANT,
221         enum_variants::ENUM_VARIANT_NAMES,
222         eq_op::EQ_OP,
223         escape::BOXED_LOCAL,
224         eta_reduction::REDUNDANT_CLOSURE,
225         format::USELESS_FORMAT,
226         formatting::SUSPICIOUS_ASSIGNMENT_FORMATTING,
227         formatting::SUSPICIOUS_ELSE_FORMATTING,
228         identity_op::IDENTITY_OP,
229         if_not_else::IF_NOT_ELSE,
230         items_after_statements::ITEMS_AFTER_STATEMENTS,
231         len_zero::LEN_WITHOUT_IS_EMPTY,
232         len_zero::LEN_ZERO,
233         lifetimes::NEEDLESS_LIFETIMES,
234         lifetimes::UNUSED_LIFETIMES,
235         loops::EMPTY_LOOP,
236         loops::EXPLICIT_COUNTER_LOOP,
237         loops::EXPLICIT_ITER_LOOP,
238         loops::FOR_KV_MAP,
239         loops::FOR_LOOP_OVER_OPTION,
240         loops::FOR_LOOP_OVER_RESULT,
241         loops::ITER_NEXT_LOOP,
242         loops::NEEDLESS_RANGE_LOOP,
243         loops::REVERSE_RANGE_LOOP,
244         loops::UNUSED_COLLECT,
245         loops::WHILE_LET_LOOP,
246         loops::WHILE_LET_ON_ITERATOR,
247         map_clone::MAP_CLONE,
248         matches::MATCH_BOOL,
249         matches::MATCH_OVERLAPPING_ARM,
250         matches::MATCH_REF_PATS,
251         matches::SINGLE_MATCH,
252         methods::CHARS_NEXT_CMP,
253         methods::CLONE_DOUBLE_REF,
254         methods::CLONE_ON_COPY,
255         methods::EXTEND_FROM_SLICE,
256         methods::FILTER_NEXT,
257         methods::NEW_RET_NO_SELF,
258         methods::OK_EXPECT,
259         methods::OPTION_MAP_UNWRAP_OR,
260         methods::OPTION_MAP_UNWRAP_OR_ELSE,
261         methods::OR_FUN_CALL,
262         methods::SEARCH_IS_SOME,
263         methods::SHOULD_IMPLEMENT_TRAIT,
264         methods::SINGLE_CHAR_PATTERN,
265         methods::STR_TO_STRING,
266         methods::STRING_TO_STRING,
267         methods::WRONG_SELF_CONVENTION,
268         minmax::MIN_MAX,
269         misc::CMP_NAN,
270         misc::CMP_OWNED,
271         misc::FLOAT_CMP,
272         misc::MODULO_ONE,
273         misc::REDUNDANT_PATTERN,
274         misc::TOPLEVEL_REF_ARG,
275         misc::USED_UNDERSCORE_BINDING,
276         misc_early::DUPLICATE_UNDERSCORE_ARGUMENT,
277         misc_early::REDUNDANT_CLOSURE_CALL,
278         misc_early::UNNEEDED_FIELD_PATTERN,
279         mut_reference::UNNECESSARY_MUT_PASSED,
280         mutex_atomic::MUTEX_ATOMIC,
281         needless_bool::BOOL_COMPARISON,
282         needless_bool::NEEDLESS_BOOL,
283         needless_features::UNSTABLE_AS_MUT_SLICE,
284         needless_features::UNSTABLE_AS_SLICE,
285         needless_update::NEEDLESS_UPDATE,
286         no_effect::NO_EFFECT,
287         open_options::NONSENSICAL_OPEN_OPTIONS,
288         overflow_check_conditional::OVERFLOW_CHECK_CONDITIONAL,
289         panic::PANIC_PARAMS,
290         precedence::PRECEDENCE,
291         ptr_arg::PTR_ARG,
292         ranges::RANGE_STEP_BY_ZERO,
293         ranges::RANGE_ZIP_WITH_LEN,
294         regex::INVALID_REGEX,
295         regex::REGEX_MACRO,
296         regex::TRIVIAL_REGEX,
297         returns::LET_AND_RETURN,
298         returns::NEEDLESS_RETURN,
299         strings::STRING_LIT_AS_BYTES,
300         swap::ALMOST_SWAPPED,
301         swap::MANUAL_SWAP,
302         temporary_assignment::TEMPORARY_ASSIGNMENT,
303         transmute::USELESS_TRANSMUTE,
304         types::ABSURD_EXTREME_COMPARISONS,
305         types::BOX_VEC,
306         types::CHAR_LIT_AS_U8,
307         types::LET_UNIT_VALUE,
308         types::LINKEDLIST,
309         types::TYPE_COMPLEXITY,
310         types::UNIT_CMP,
311         unicode::ZERO_WIDTH_SPACE,
312         vec::USELESS_VEC,
313         zero_div_zero::ZERO_DIVIDED_BY_ZERO,
314     ]);
315 }