mirror of
https://github.com/rust-lang/rust.git
synced 2024-12-12 00:24:03 +00:00
15 lines
368 B
Rust
15 lines
368 B
Rust
// 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];
|
|
}
|
|
}
|