---

yaml
---
r: 14754
b: refs/heads/try
c: a052197
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: c758ef3f386578cffd5353e1b84e94d1f30d760f
+refs/heads/try: a0521971b1b9a3203c250591991092a445b50586
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/AUTHORS.txt

@@ -14,6 +14,7 @@ Brendan Eich <[email protected]>
 Brian Anderson <[email protected]>
 Chris Double <[email protected]>
 Chris Peterson <[email protected]>
+Damien Grassart <[email protected]>
 Daniel Brooks <[email protected]>
 Daniel Luz <[email protected]>
 Dave Herman <[email protected]>

branches/try/src/README.txt

@@ -2,7 +2,7 @@ This is preliminary version of the Rust compiler.
 
 Source layout:
 
-comp/              The self-hosted compiler
+rustc/             The self-hosted compiler
 
 cargo/             The package manager
 

branches/try/src/rustc/driver/driver.rs

@@ -163,6 +163,8 @@ fn compile_upto(sess: session, cfg: ast::crate_cfg,
     let mutbl_map =
         time(time_passes, "mutability checking",
              bind middle::mutbl::check_crate(ty_cx, crate));
+    time(time_passes, "region checking",
+         bind middle::regionck::check_crate(ty_cx, crate));
     let (copy_map, ref_map) =
         time(time_passes, "alias checking",
              bind middle::alias::check_crate(ty_cx, crate));

branches/try/src/rustc/middle/regionck.rs

@@ -0,0 +1,71 @@
+/*
+ * The region checking pass. Ensures that region-annotated pointers never
+ * outlive their referents.
+ */
+
+import driver::session::session;
+import middle::ty;
+import std::map::hashmap;
+import syntax::{ast, visit};
+
+type ctxt = {
+    tcx: ty::ctxt,
+    enclosing_block: option<ast::node_id>
+};
+
+fn check_expr(expr: @ast::expr, cx: ctxt, visitor: visit::vt<ctxt>) {
+    ty::walk_ty(cx.tcx, ty::expr_ty(cx.tcx, expr)) { |t|
+        alt ty::get(t).struct {
+            ty::ty_rptr(region, _) {
+                alt region {
+                    ty::re_named(_) | ty::re_caller(_) { /* ok */ }
+                    ty::re_block(rbi) {
+                        let referent_block_id = rbi;
+                        let enclosing_block_id = alt cx.enclosing_block {
+                            none {
+                                cx.tcx.sess.span_bug(expr.span, "block " +
+                                                     "region type outside " +
+                                                     "a block?!");
+                            }
+                            some(eb) { eb }
+                        };
+
+                        let parent_blocks = cx.tcx.region_map.parent_blocks;
+                        while enclosing_block_id != referent_block_id {
+                            if parent_blocks.contains_key(referent_block_id) {
+                                referent_block_id =
+                                    parent_blocks.get(referent_block_id);
+                            } else {
+                                // TODO: Enable this.
+
+                                //cx.tcx.sess.span_err(expr.span,
+                                //                     "reference escapes " +
+                                //                     "its block");
+                                break;
+                            }
+                        }
+                    }
+                }
+            }
+            _ { /* no-op */ }
+        }
+    }
+
+    visit::visit_expr(expr, cx, visitor);
+}
+
+fn check_block(blk: ast::blk, cx: ctxt, visitor: visit::vt<ctxt>) {
+    let new_cx: ctxt = { enclosing_block: some(blk.node.id) with cx };
+    visit::visit_block(blk, new_cx, visitor);
+}
+
+fn check_crate(ty_cx: ty::ctxt, crate: @ast::crate) {
+    let cx: ctxt = {tcx: ty_cx, enclosing_block: none};
+    let visitor = visit::mk_vt(@{
+        visit_expr: check_expr,
+        visit_block: check_block
+        with *visit::default_visitor()
+    });
+    visit::visit_crate(*crate, cx, visitor);
+}
+

branches/try/src/rustc/rustc.rc

@@ -45,6 +45,7 @@ mod middle {
     mod capture;
     mod pat_util;
     mod region;
+    mod regionck;
 
     mod tstate {
         mod ck;