---

yaml
---
r: 5439
b: refs/heads/master
c: 4d088bd
h: refs/heads/master
i:
  5437: 3a3d52f
  5435: 916fe83
  5431: f5c7457
  5423: c26dfb7
  5407: d893993
  5375: 83e78ff
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: aad1342e13c0c09932c5bfc6c9ca9a7430709194
+refs/heads/master: 4d088bd5286b7946068953fe43efe1a9dd47193a

trunk/src/comp/middle/trans.rs

@@ -1313,7 +1313,21 @@ fn make_free_glue(bcx: @block_ctxt, v0: ValueRef, t: ty::t) {
                 trans_non_gc_free(bcx, v)
             } else { bcx }
           }
-          ty::ty_uniq(_) { fail "free uniq unimplemented"; }
+          ty::ty_uniq(content_t) {
+            let free_cx = new_sub_block_ctxt(bcx, "uniq_free");
+            let next_cx = new_sub_block_ctxt(bcx, "uniq_free_next");
+            let vptr = Load(bcx, v0);
+            let null_test = IsNull(bcx, vptr);
+            CondBr(bcx, null_test, next_cx.llbb, free_cx.llbb);
+
+            let bcx = free_cx;
+            let bcx = drop_ty(bcx, vptr, content_t);
+            let bcx = trans_shared_free(bcx, vptr);
+            Store(bcx, C_null(val_ty(vptr)), v0);
+            Br(bcx, next_cx.llbb);
+
+            next_cx
+          }
           ty::ty_obj(_) {
             // Call through the obj's own fields-drop glue first.
             // Then free the body.
@@ -1366,10 +1380,7 @@ fn make_drop_glue(bcx: @block_ctxt, v0: ValueRef, t: ty::t) {
           ty::ty_str. { tvec::make_drop_glue(bcx, v0, t) }
           ty::ty_box(_) { decr_refcnt_maybe_free(bcx, v0, v0, t) }
           ty::ty_uniq(_) {
-            let vptr = Load(bcx, v0);
-            let bcx = trans_shared_free(bcx, vptr);
-            Store(bcx, C_null(val_ty(vptr)), v0);
-            bcx
+            free_ty(bcx, v0, t)
           }
           ty::ty_obj(_) {
             let box_cell =

trunk/src/test/run-pass/unique-drop-complex.rs

@@ -0,0 +1,3 @@
+fn main() {
+    let x = ~[0,0,0,0,0];
+}