blob: 671e83dfadc8b326709adc993e0a298ca7f125f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// Regression test for a bug in #52713: this was an optimization for
// computing liveness that wound up accidentally causing the program
// below to be accepted.
fn foo<'a>(x: &'a mut u32) -> u32 {
let mut x = 22;
let y = &x;
if false {
return x;
}
x += 1; //~ ERROR
println!("{}", y);
return 0;
}
fn main() { }
|
