rt: Add tests for box annihilator.

3 files changed, 33 insertions, 0 deletions

diff --git a/src/test/run-pass/box-annihilator-shared.rs b/src/test/run-pass/box-annihilator-shared.rs
new file mode 100644
index 00000000000..1f75e95483e
--- /dev/null
+++ b/src/test/run-pass/box-annihilator-shared.rs
@@ -0,0 +1,11 @@
+extern mod rustrt {
+    fn rust_annihilate_box(ptr: *uint);
+}
+
+fn main() {
+    unsafe {
+        let x = @3;
+        let p: *uint = unsafe::transmute(x);
+        rustrt::rust_annihilate_box(p);
+    }
+}
diff --git a/src/test/run-pass/box-annihilator-unique-vec.rs b/src/test/run-pass/box-annihilator-unique-vec.rs
new file mode 100644
index 00000000000..ec158a48557
--- /dev/null
+++ b/src/test/run-pass/box-annihilator-unique-vec.rs
@@ -0,0 +1,11 @@
+extern mod rustrt {
+    fn rust_annihilate_box(ptr: *uint);
+}
+
+fn main() {
+    unsafe {
+        let x = ~[~"a", ~"b", ~"c"];
+        let p: *uint = unsafe::transmute(x);
+        rustrt::rust_annihilate_box(p);
+    }
+}
diff --git a/src/test/run-pass/box-annihilator-unique.rs b/src/test/run-pass/box-annihilator-unique.rs
new file mode 100644
index 00000000000..cebb7407d5c
--- /dev/null
+++ b/src/test/run-pass/box-annihilator-unique.rs
@@ -0,0 +1,11 @@
+extern mod rustrt {
+    fn rust_annihilate_box(ptr: *uint);
+}
+
+fn main() {
+    unsafe {
+        let x = ~3;
+        let p: *uint = unsafe::transmute(x);
+        rustrt::rust_annihilate_box(p);
+    }
+}