---

yaml
---
r: 35560
b: refs/heads/master
c: e8d2d55
h: refs/heads/master
v: v3

Author: jesse99

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: eca23da98b7b0a9998ef2307a2ae63f30b1f955d
+refs/heads/master: e8d2d559002d6f1cb0a12553674b9b0383224512
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: eb8fd119c65c67f3b1b8268cc7341c22d39b7b61
 refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024

trunk/src/rt/boxed_region.h

@@ -35,6 +35,11 @@ class boxed_region {
         return v;
     }
 
+private:
+    // private and undefined to disable copying
+    boxed_region(const boxed_region& rhs);
+    boxed_region& operator=(const boxed_region& rhs);
+    
 public:
     boxed_region(rust_env *e, memory_region *br)
         : env(e)

trunk/src/rt/circular_buffer.h

@@ -35,6 +35,11 @@ circular_buffer : public kernel_owned<circular_buffer> {
     bool is_empty();
     size_t size();
 
+private:
+    // private and undefined to disable copying
+    circular_buffer(const circular_buffer& rhs);
+    circular_buffer& operator=(const circular_buffer& rhs);
+    
 private:
     size_t initial_size();
     void grow();

trunk/src/rt/memory_region.h

@@ -69,6 +69,11 @@ class memory_region {
     void release_alloc(void *mem);
     void claim_alloc(void *mem);
 
+private:
+    // private and undefined to disable copying
+    memory_region(const memory_region& rhs);
+    memory_region& operator=(const memory_region& rhs);
+    
 public:
     memory_region(rust_env *env, bool synchronized);
     memory_region(memory_region *parent);

trunk/src/rt/rust_sched_launcher.h

@@ -23,6 +23,11 @@ class rust_sched_launcher : public kernel_owned<rust_sched_launcher> {
 private:
     rust_sched_loop sched_loop;
 
+private:
+    // private and undefined to disable copying
+    rust_sched_launcher(const rust_sched_launcher& rhs);
+    rust_sched_launcher& operator=(const rust_sched_launcher& rhs);
+    
 protected:
     rust_sched_driver driver;
 

trunk/src/rt/rust_sched_loop.h

@@ -82,6 +82,11 @@ struct rust_sched_loop
 
     void pump_loop();
 
+private:
+    // private and undefined to disable copying
+    rust_sched_loop(const rust_sched_loop& rhs);
+    rust_sched_loop& operator=(const rust_sched_loop& rhs);
+    
 public:
     rust_kernel *kernel;
     rust_scheduler *sched;

trunk/src/rt/rust_scheduler.h

@@ -58,6 +58,11 @@ class rust_scheduler : public kernel_owned<rust_scheduler> {
     // Called when refcount reaches zero
     void delete_this();
 
+private:
+    // private and undefined to disable copying
+    rust_scheduler(const rust_scheduler& rhs);
+    rust_scheduler& operator=(const rust_scheduler& rhs);
+    
 public:
     rust_scheduler(rust_kernel *kernel, size_t max_num_threads,
                    rust_sched_id id, bool allow_exit, bool killed,

trunk/src/rt/rust_signal.h

@@ -16,6 +16,12 @@ class rust_signal {
 public:
     virtual void signal() = 0;
     virtual ~rust_signal() {}
+    rust_signal() {}
+
+private:
+    // private and undefined to disable copying
+    rust_signal(const rust_signal& rhs);
+    rust_signal& operator=(const rust_signal& rhs);
 };
 
 #endif /* RUST_SIGNAL_H */

trunk/src/rt/rust_task.h

@@ -305,6 +305,11 @@ rust_task : public kernel_owned<rust_task>
     void wakeup_inner(rust_cond *from);
     bool blocked_on(rust_cond *cond);
 
+private:
+    // private and undefined to disable copying
+    rust_task(const rust_task& rhs);
+    rust_task& operator=(const rust_task& rhs);
+    
 public:
 
     // Only a pointer to 'name' is kept, so it must live as long as this task.