2018-10-06 11:18:06 -05:00
|
|
|
// Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
|
|
|
2018-07-28 10:34:52 -05:00
|
|
|
#![feature(tool_lints)]
|
2017-09-18 05:47:33 -05:00
|
|
|
|
|
|
|
|
2018-07-28 10:34:52 -05:00
|
|
|
#![warn(clippy::inline_always, clippy::deprecated_semver)]
|
2015-06-07 05:03:56 -05:00
|
|
|
|
2017-02-08 07:58:07 -06:00
|
|
|
#[inline(always)]
|
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
|
|
|
}
|
|
|
|
|
2017-02-08 07:58:07 -06:00
|
|
|
#[deprecated(since = "forever")]
|
2016-01-08 19:05:43 -06:00
|
|
|
pub const SOME_CONST : u8 = 42;
|
|
|
|
|
2017-02-08 07:58:07 -06:00
|
|
|
#[deprecated(since = "1")]
|
2016-01-08 19:05:43 -06:00
|
|
|
pub const ANOTHER_CONST : u8 = 23;
|
|
|
|
|
|
|
|
#[deprecated(since = "0.1.1")]
|
|
|
|
pub const YET_ANOTHER_CONST : u8 = 0;
|
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
|
|
|
}
|