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
|
// run-pass
// When the NRVO is applied, the return place (`_0`) gets treated like a normal local. For example,
// its address may be taken and it may be written to indirectly. Ensure that MIRI can handle this.
#![feature(const_mut_refs)]
#[inline(never)] // Try to ensure that MIR optimizations don't optimize this away.
const fn init(buf: &mut [u8; 1024]) {
buf[33] = 3;
buf[444] = 4;
}
const fn nrvo() -> [u8; 1024] {
let mut buf = [0; 1024];
init(&mut buf);
buf
}
const BUF: [u8; 1024] = nrvo();
fn main() {
assert_eq!(BUF[33], 3);
assert_eq!(BUF[19], 0);
assert_eq!(BUF[444], 4);
}
|
