2016-09-07 03:27:57 -05:00
|
|
|
#![feature(custom_attribute, attr_literals)]
|
|
|
|
#![miri(memory_size=1000)]
|
2016-07-05 06:04:53 -05:00
|
|
|
|
|
|
|
fn bar(i: i32) {
|
|
|
|
if i < 1000 {
|
|
|
|
bar(i + 1) //~ ERROR tried to allocate 4 more bytes, but only 1 bytes are free of the 1000 byte memory
|
|
|
|
//~^NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
//~|NOTE inside call to bar
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() { //~NOTE inside call to main
|
|
|
|
bar(1);
|
|
|
|
//~^NOTE inside call to bar
|
|
|
|
}
|