blob: fb9d7880a4a7f1d7265d146aa8d4a7f83960af5d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
#![warn(clippy::zero_repeat_side_effects)]
#![allow(clippy::unnecessary_operation)]
#![allow(clippy::useless_vec)]
#![allow(clippy::needless_late_init)]
fn f() -> i32 {
println!("side effect");
10
}
fn main() {
const N: usize = 0;
const M: usize = 1;
// should trigger
// on arrays
f(); let a: [i32; 0] = [];
//~^ zero_repeat_side_effects
let mut b;
f(); b = [] as [i32; 0];
//~^ zero_repeat_side_effects
// on vecs
// vecs dont support inferring value of consts
f(); let c: std::vec::Vec<i32> = vec![];
//~^ zero_repeat_side_effects
let d;
f(); d = vec![] as std::vec::Vec<i32>;
//~^ zero_repeat_side_effects
// for macros
println!("side effect"); let e: [(); 0] = [];
//~^ zero_repeat_side_effects
// for nested calls
{ f() }; let g: [i32; 0] = [];
//~^ zero_repeat_side_effects
// as function param
drop({ f(); vec![] as std::vec::Vec<i32> });
//~^ zero_repeat_side_effects
// when singled out/not part of assignment/local
{ f(); vec![] as std::vec::Vec<i32> };
//~^ zero_repeat_side_effects
{ f(); [] as [i32; 0] };
//~^ zero_repeat_side_effects
// should not trigger
let a = [f(); N];
b = [f(); N];
[f(); N];
// on arrays with > 0 repeat
let a = [f(); 1];
let a = [f(); M];
let mut b;
b = [f(); 1];
b = [f(); M];
// on vecs with > 0 repeat
let c = vec![f(); 1];
let d;
d = vec![f(); 1];
// as function param
drop(vec![f(); 1]);
}
macro_rules! LEN {
() => {
0
};
}
fn issue_13110() {
let _data = [f(); LEN!()];
const LENGTH: usize = LEN!();
let _data = [f(); LENGTH];
}
|
