blob: ce6fcc17b5722bb46273c3eaa444d2f132b2045b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY
// unit-test: CopyProp
// EMIT_MIR issue_107511.main.CopyProp.diff
fn main() {
let mut sum = 0;
let a = [0, 10, 20, 30];
// `i` is assigned in a loop. Only removing its `StorageDead` would mean that
// execution sees repeated `StorageLive`. This would be UB.
for i in 0..a.len() {
sum += a[i];
}
}
|