2015-05-30 08:10:19 -05:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
|
|
|
|
2015-06-07 05:03:56 -05:00
|
|
|
#![deny(inline_always)]
|
|
|
|
|
2015-08-12 03:46:49 -05:00
|
|
|
#[inline(always)] //~ERROR you have declared `#[inline(always)]` on `test_attr_lint`.
|
2015-05-30 08:10:19 -05:00
|
|
|
fn test_attr_lint() {
|
2015-08-11 13:22:20 -05:00
|
|
|
assert!(true)
|
2015-05-30 08:10:19 -05:00
|
|
|
}
|
|
|
|
|
2015-06-07 05:03:56 -05:00
|
|
|
#[inline(always)]
|
|
|
|
fn false_positive_expr() {
|
2015-08-11 13:22:20 -05:00
|
|
|
unreachable!()
|
2015-06-07 05:03:56 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline(always)]
|
|
|
|
fn false_positive_stmt() {
|
2015-08-11 13:22:20 -05:00
|
|
|
unreachable!();
|
2015-06-07 05:03:56 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline(always)]
|
|
|
|
fn empty_and_false_positive_stmt() {
|
2015-08-11 13:22:20 -05:00
|
|
|
;
|
|
|
|
unreachable!();
|
2015-06-07 05:03:56 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2015-05-30 08:10:19 -05:00
|
|
|
fn main() {
|
2015-08-11 13:22:20 -05:00
|
|
|
test_attr_lint();
|
|
|
|
if false { false_positive_expr() }
|
|
|
|
if false { false_positive_stmt() }
|
|
|
|
if false { empty_and_false_positive_stmt() }
|
2015-05-30 08:10:19 -05:00
|
|
|
}
|