47 lines
949 B
Rust
47 lines
949 B
Rust
#![crate_type = "lib"]
|
|
#![feature(custom_attribute, box_syntax)]
|
|
#![allow(dead_code, unused_attributes)]
|
|
|
|
use std::cell::{Cell, RefCell};
|
|
use std::rc::Rc;
|
|
use std::sync::Arc;
|
|
|
|
#[miri_run]
|
|
fn rc_cell() -> Rc<Cell<i32>> {
|
|
let r = Rc::new(Cell::new(42));
|
|
let x = r.get();
|
|
r.set(x + x);
|
|
r
|
|
}
|
|
|
|
// TODO(tsion): borrow code needs to evaluate string statics via Lvalue::Static
|
|
// TODO(tsion): also requires destructors to run for the second borrow to work
|
|
// #[miri_run]
|
|
// fn rc_refcell() -> i32 {
|
|
// let r = Rc::new(RefCell::new(42));
|
|
// *r.borrow_mut() += 10;
|
|
// let x = *r.borrow();
|
|
// x
|
|
// }
|
|
|
|
#[miri_run]
|
|
fn arc() -> Arc<i32> {
|
|
let a = Arc::new(42);
|
|
a
|
|
}
|
|
|
|
struct Loop(Rc<RefCell<Option<Loop>>>);
|
|
|
|
#[miri_run]
|
|
fn rc_reference_cycle() -> Loop {
|
|
let a = Rc::new(RefCell::new(None));
|
|
let b = a.clone();
|
|
*a.borrow_mut() = Some(Loop(b));
|
|
Loop(a)
|
|
}
|
|
|
|
#[miri_run]
|
|
fn true_assert() {
|
|
assert_eq!(1, 1);
|
|
}
|