2017-08-07 17:40:18 -07:00
|
|
|
// Validation forces more allocation; disable it.
|
|
|
|
// compile-flags: -Zmir-emit-validate=0
|
2016-10-16 19:58:22 -06:00
|
|
|
#![feature(box_syntax, custom_attribute, attr_literals)]
|
2017-09-25 16:21:20 +02:00
|
|
|
#![miri(memory_size=1024)]
|
|
|
|
|
|
|
|
// On 64bit platforms, the allocator needs 32 bytes allocated to pass a return value, so that's the error we see.
|
|
|
|
// On 32bit platforms, it's just 16 bytes.
|
|
|
|
// error-pattern: tried to allocate
|
2016-07-05 13:04:53 +02:00
|
|
|
|
2016-10-16 19:58:22 -06:00
|
|
|
fn main() {
|
|
|
|
loop {
|
2017-09-25 16:21:20 +02:00
|
|
|
::std::mem::forget(box 42);
|
2016-07-05 13:04:53 +02:00
|
|
|
}
|
|
|
|
}
|