2018-10-06 16:18:06 +00: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-10-11 10:16:22 +00:00
|
|
|
|
2017-09-18 10:47:33 +00:00
|
|
|
|
|
|
|
|
2018-07-28 15:34:52 +00:00
|
|
|
#![warn(clippy::inline_always, clippy::deprecated_semver)]
|
2015-06-07 10:03:56 +00:00
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
#[inline(always)]
|
2015-05-30 13:10:19 +00:00
|
|
|
fn test_attr_lint() {
|
2015-08-11 18:22:20 +00:00
|
|
|
assert!(true)
|
2015-05-30 13:10:19 +00:00
|
|
|
}
|
|
|
|
|
2015-06-07 10:03:56 +00:00
|
|
|
#[inline(always)]
|
|
|
|
fn false_positive_expr() {
|
2015-08-11 18:22:20 +00:00
|
|
|
unreachable!()
|
2015-06-07 10:03:56 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline(always)]
|
|
|
|
fn false_positive_stmt() {
|
2015-08-11 18:22:20 +00:00
|
|
|
unreachable!();
|
2015-06-07 10:03:56 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline(always)]
|
|
|
|
fn empty_and_false_positive_stmt() {
|
2015-08-11 18:22:20 +00:00
|
|
|
;
|
|
|
|
unreachable!();
|
2015-06-07 10:03:56 +00:00
|
|
|
}
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
#[deprecated(since = "forever")]
|
2016-01-09 01:05:43 +00:00
|
|
|
pub const SOME_CONST : u8 = 42;
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
#[deprecated(since = "1")]
|
2016-01-09 01:05:43 +00:00
|
|
|
pub const ANOTHER_CONST : u8 = 23;
|
|
|
|
|
|
|
|
#[deprecated(since = "0.1.1")]
|
|
|
|
pub const YET_ANOTHER_CONST : u8 = 0;
|
2015-06-07 10:03:56 +00:00
|
|
|
|
2015-05-30 13:10:19 +00:00
|
|
|
fn main() {
|
2015-08-11 18:22:20 +00:00
|
|
|
test_attr_lint();
|
|
|
|
if false { false_positive_expr() }
|
|
|
|
if false { false_positive_stmt() }
|
|
|
|
if false { empty_and_false_positive_stmt() }
|
2015-05-30 13:10:19 +00:00
|
|
|
}
|