blob: e1ae1ef928223bf748cd6c21c5bf2af27d962a43 (
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
82
83
84
|
#![allow(unused)]
fn main() {}
fn mut_range_bound_upper() {
let mut m = 4;
for i in 0..m {
m = 5;
} // warning
}
fn mut_range_bound_lower() {
let mut m = 4;
for i in m..10 {
m *= 2;
} // warning
}
fn mut_range_bound_both() {
let mut m = 4;
let mut n = 6;
for i in m..n {
m = 5;
n = 7;
} // warning (1 for each mutated bound)
}
fn mut_range_bound_no_mutation() {
let mut m = 4;
for i in 0..m {
continue;
} // no warning
}
fn mut_borrow_range_bound() {
let mut m = 4;
for i in 0..m {
let n = &mut m; // warning
*n += 1;
}
}
fn immut_borrow_range_bound() {
let mut m = 4;
for i in 0..m {
let n = &m; // should be no warning?
}
}
fn immut_range_bound() {
let m = 4;
for i in 0..m {
continue;
} // no warning
}
fn mut_range_bound_break() {
let mut m = 4;
for i in 0..m {
if m == 4 {
m = 5; // no warning because of immediate break
break;
}
}
}
fn mut_range_bound_no_immediate_break() {
let mut m = 4;
for i in 0..m {
m = 2; // warning because it is not immediately followed by break
if m == 4 {
break;
}
}
let mut n = 3;
for i in n..10 {
if n == 4 {
n = 1; // FIXME: warning because is is not immediately followed by break
let _ = 2;
break;
}
}
}
|
