---

yaml
---
r: 97160
b: refs/heads/dist-snap
c: 8c70364
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -6,7 +6,7 @@ refs/heads/try: c274a6888410ce3e357e014568b43310ed787d36
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: 147ecfdd8221e4a4d4e090486829a06da1e0ca3c
-refs/heads/dist-snap: 4b4ff2cf8b5f888581d41b3b2f10dacf7d716478
+refs/heads/dist-snap: 8c703643ad0bb1c70c249dc16b5a32e253815be1
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
 refs/heads/try3: 9387340aab40a73e8424c48fd42f0c521a4875c0

branches/dist-snap/src/librustc/middle/reachable.rs

@@ -88,11 +88,11 @@ struct ReachableContext {
     reachable_symbols: @RefCell<HashSet<ast::NodeId>>,
     // A worklist of item IDs. Each item ID in this worklist will be inlined
     // and will be scanned for further references.
-    worklist: @mut ~[ast::NodeId],
+    worklist: @RefCell<~[ast::NodeId]>,
 }
 
 struct MarkSymbolVisitor {
-    worklist: @mut ~[ast::NodeId],
+    worklist: @RefCell<~[ast::NodeId]>,
     method_map: typeck::method_map,
     tcx: ty::ctxt,
     reachable_symbols: @RefCell<HashSet<ast::NodeId>>,
@@ -116,15 +116,19 @@ impl Visitor<()> for MarkSymbolVisitor {
                 if is_local(def_id) {
                     if ReachableContext::
                         def_id_represents_local_inlined_item(self.tcx, def_id) {
-                            self.worklist.push(def_id.node)
+                            {
+                                let mut worklist = self.worklist.borrow_mut();
+                                worklist.get().push(def_id.node)
+                            }
                     } else {
                         match def {
                             // If this path leads to a static, then we may have
                             // to do some work to figure out whether the static
                             // is indeed reachable (address_insignificant
                             // statics are *never* reachable).
                             ast::DefStatic(..) => {
-                                self.worklist.push(def_id.node);
+                                let mut worklist = self.worklist.borrow_mut();
+                                worklist.get().push(def_id.node);
                             }
 
                             // If this wasn't a static, then this destination is
@@ -150,7 +154,11 @@ impl Visitor<()> for MarkSymbolVisitor {
                                 def_id_represents_local_inlined_item(
                                     self.tcx,
                                     def_id) {
-                                self.worklist.push(def_id.node)
+                                {
+                                    let mut worklist = self.worklist
+                                                           .borrow_mut();
+                                    worklist.get().push(def_id.node)
+                                }
                             }
                             {
                                 let mut reachable_symbols =
@@ -186,7 +194,7 @@ impl ReachableContext {
             tcx: tcx,
             method_map: method_map,
             reachable_symbols: @RefCell::new(HashSet::new()),
-            worklist: @mut ~[],
+            worklist: @RefCell::new(~[]),
         }
     }
 
@@ -265,11 +273,19 @@ impl ReachableContext {
     fn propagate(&self) {
         let mut visitor = self.init_visitor();
         let mut scanned = HashSet::new();
-        while self.worklist.len() > 0 {
-            let search_item = self.worklist.pop();
-            if scanned.contains(&search_item) {
-                continue
-            }
+        loop {
+            let search_item = {
+                let mut worklist = self.worklist.borrow_mut();
+                if worklist.get().len() == 0 {
+                    break
+                }
+                let search_item = worklist.get().pop();
+                if scanned.contains(&search_item) {
+                    continue
+                }
+                search_item
+            };
+
             scanned.insert(search_item);
             match self.tcx.items.find(&search_item) {
                 Some(item) => self.propagate_node(item, search_item,
@@ -407,7 +423,8 @@ pub fn find_reachable(tcx: ty::ctxt,
     // Step 1: Seed the worklist with all nodes which were found to be public as
     //         a result of the privacy pass
     for &id in exported_items.iter() {
-        reachable_context.worklist.push(id);
+        let mut worklist = reachable_context.worklist.borrow_mut();
+        worklist.get().push(id);
     }
 
     // Step 2: Mark all symbols that the symbols on the worklist touch.