---

yaml
---
r: 23142
b: refs/heads/master
c: d2e9d99
h: refs/heads/master
v: v3

Author: eholk

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 7634e2911b6cedd7d06bbfd716922c4a750b47ae
+refs/heads/master: d2e9d99f819e04d32fe8f87dab9e3b318075cf26
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/src/libcore/pipes.rs

@@ -530,16 +530,20 @@ fn sender_terminate<T: send>(p: *packet<T>) {
 #[doc(hidden)]
 fn receiver_terminate<T: send>(p: *packet<T>) {
     let p = unsafe { &*p };
-    assert p.header.blocked_task.is_null();
     match swap_state_rel(p.header.state, terminated) {
       empty => {
+        assert p.header.blocked_task.is_null();
         // the sender will clean up
       }
       blocked => {
-        // this shouldn't happen.
-        fail ~"terminating a blocked packet"
+        let old_task = swap_task(p.header.blocked_task, ptr::null());
+        if !old_task.is_null() {
+            rustrt::rust_task_deref(old_task);
+            assert old_task == rustrt::rust_get_task();
+        }
       }
       terminated | full => {
+        assert p.header.blocked_task.is_null();
         // I have to clean up, use drop_glue
       }
     }

trunk/src/test/run-pass/issue-3176.rs

@@ -0,0 +1,23 @@
+import pipes::{select2, selectable};
+
+fn main() {
+    let (c,p) = pipes::stream();
+    do task::try {
+        let (c2,p2) = pipes::stream();
+        do task::spawn {
+            p2.recv();
+            #error["brother fails"];
+            fail;
+        }   
+        let (c3,p3) = pipes::stream();
+        c.send(c3);
+        c2.send(());
+        #error["child blocks"];
+        let (c, p) = pipes::stream();
+        (p, p3).select();
+        c.send(());
+    };  
+    #error["parent tries"];
+    assert !p.recv().try_send(());
+    #error("all done!");
+}