2012-06-01 12:46:17 -05:00
|
|
|
// ----------------------------------------------------------------------
|
|
|
|
// Gathering loans
|
|
|
|
//
|
|
|
|
// The borrow check proceeds in two phases. In phase one, we gather the full
|
|
|
|
// set of loans that are required at any point. These are sorted according to
|
|
|
|
// their associated scopes. In phase two, checking loans, we will then make
|
|
|
|
// sure that all of these loans are honored.
|
|
|
|
|
2012-08-08 10:15:32 -05:00
|
|
|
import mem_categorization::{opt_deref_kind};
|
2012-08-07 20:10:06 -05:00
|
|
|
import preserve::{preserve_condition, pc_ok, pc_if_pure};
|
2012-08-06 20:14:46 -05:00
|
|
|
import ty::ty_region;
|
2012-06-01 12:46:17 -05:00
|
|
|
|
|
|
|
export gather_loans;
|
|
|
|
|
2012-07-26 10:51:57 -05:00
|
|
|
/// Context used while gathering loans:
|
|
|
|
///
|
|
|
|
/// - `bccx`: the the borrow check context
|
|
|
|
/// - `req_maps`: the maps computed by `gather_loans()`, see def'n of the
|
|
|
|
/// type `req_maps` for more info
|
|
|
|
/// - `item_ub`: the id of the block for the enclosing fn/method item
|
|
|
|
/// - `root_ub`: the id of the outermost block for which we can root
|
|
|
|
/// an `@T`. This is the id of the innermost enclosing
|
|
|
|
/// loop or function body.
|
|
|
|
///
|
|
|
|
/// The role of `root_ub` is to prevent us from having to accumulate
|
|
|
|
/// vectors of rooted items at runtime. Consider this case:
|
|
|
|
///
|
|
|
|
/// fn foo(...) -> int {
|
|
|
|
/// let mut ptr: ∫
|
|
|
|
/// while some_cond {
|
|
|
|
/// let x: @int = ...;
|
|
|
|
/// ptr = &*x;
|
|
|
|
/// }
|
|
|
|
/// *ptr
|
|
|
|
/// }
|
|
|
|
///
|
|
|
|
/// If we are not careful here, we would infer the scope of the borrow `&*x`
|
|
|
|
/// to be the body of the function `foo()` as a whole. We would then
|
|
|
|
/// have root each `@int` that is produced, which is an unbounded number.
|
|
|
|
/// No good. Instead what will happen is that `root_ub` will be set to the
|
|
|
|
/// body of the while loop and we will refuse to root the pointer `&*x`
|
|
|
|
/// because it would have to be rooted for a region greater than `root_ub`.
|
|
|
|
enum gather_loan_ctxt = @{bccx: borrowck_ctxt,
|
|
|
|
req_maps: req_maps,
|
|
|
|
mut item_ub: ast::node_id,
|
|
|
|
mut root_ub: ast::node_id};
|
2012-06-01 12:46:17 -05:00
|
|
|
|
|
|
|
fn gather_loans(bccx: borrowck_ctxt, crate: @ast::crate) -> req_maps {
|
|
|
|
let glcx = gather_loan_ctxt(@{bccx: bccx,
|
|
|
|
req_maps: {req_loan_map: int_hash(),
|
2012-07-26 10:51:57 -05:00
|
|
|
pure_map: int_hash()},
|
|
|
|
mut item_ub: 0,
|
|
|
|
mut root_ub: 0});
|
|
|
|
let v = visit::mk_vt(@{visit_expr: req_loans_in_expr,
|
|
|
|
visit_fn: req_loans_in_fn,
|
2012-06-01 12:46:17 -05:00
|
|
|
with *visit::default_visitor()});
|
|
|
|
visit::visit_crate(*crate, glcx, v);
|
2012-08-01 19:30:05 -05:00
|
|
|
return glcx.req_maps;
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
|
2012-07-26 10:51:57 -05:00
|
|
|
fn req_loans_in_fn(fk: visit::fn_kind,
|
|
|
|
decl: ast::fn_decl,
|
|
|
|
body: ast::blk,
|
|
|
|
sp: span,
|
|
|
|
id: ast::node_id,
|
|
|
|
&&self: gather_loan_ctxt,
|
|
|
|
v: visit::vt<gather_loan_ctxt>) {
|
|
|
|
// see explanation attached to the `root_ub` field:
|
|
|
|
let old_item_id = self.item_ub;
|
|
|
|
let old_root_ub = self.root_ub;
|
|
|
|
self.root_ub = body.node.id;
|
|
|
|
|
2012-08-06 14:34:08 -05:00
|
|
|
match fk {
|
2012-08-03 21:59:04 -05:00
|
|
|
visit::fk_anon(*) | visit::fk_fn_block(*) => {}
|
2012-07-26 10:51:57 -05:00
|
|
|
visit::fk_item_fn(*) | visit::fk_method(*) |
|
2012-08-03 21:59:04 -05:00
|
|
|
visit::fk_ctor(*) | visit::fk_dtor(*) => {
|
2012-07-26 10:51:57 -05:00
|
|
|
self.item_ub = body.node.id;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
visit::visit_fn(fk, decl, body, sp, id, self, v);
|
|
|
|
self.root_ub = old_root_ub;
|
|
|
|
self.item_ub = old_item_id;
|
|
|
|
}
|
|
|
|
|
2012-06-01 12:46:17 -05:00
|
|
|
fn req_loans_in_expr(ex: @ast::expr,
|
|
|
|
&&self: gather_loan_ctxt,
|
|
|
|
vt: visit::vt<gather_loan_ctxt>) {
|
|
|
|
let bccx = self.bccx;
|
|
|
|
let tcx = bccx.tcx;
|
2012-07-26 10:51:57 -05:00
|
|
|
let old_root_ub = self.root_ub;
|
2012-06-01 12:46:17 -05:00
|
|
|
|
2012-08-22 19:24:52 -05:00
|
|
|
debug!("req_loans_in_expr(ex=%s)",
|
|
|
|
pprust::expr_to_str(ex, tcx.sess.intr()));
|
2012-06-01 17:46:32 -05:00
|
|
|
|
2012-06-01 12:46:17 -05:00
|
|
|
// If this expression is borrowed, have to ensure it remains valid:
|
2012-06-30 18:19:07 -05:00
|
|
|
for tcx.borrowings.find(ex.id).each |borrow| {
|
2012-06-01 12:46:17 -05:00
|
|
|
let cmt = self.bccx.cat_borrow_of_expr(ex);
|
2012-07-26 10:51:57 -05:00
|
|
|
self.guarantee_valid(cmt, borrow.mutbl, borrow.region);
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Special checks for various kinds of expressions:
|
2012-08-06 14:34:08 -05:00
|
|
|
match ex.node {
|
2012-08-03 21:59:04 -05:00
|
|
|
ast::expr_addr_of(mutbl, base) => {
|
2012-06-01 12:46:17 -05:00
|
|
|
let base_cmt = self.bccx.cat_expr(base);
|
|
|
|
|
|
|
|
// make sure that the thing we are pointing out stays valid
|
|
|
|
// for the lifetime `scope_r` of the resulting ptr:
|
2012-08-06 20:14:46 -05:00
|
|
|
let scope_r = ty_region(tcx.ty(ex));
|
2012-06-01 12:46:17 -05:00
|
|
|
self.guarantee_valid(base_cmt, mutbl, scope_r);
|
2012-07-26 10:51:57 -05:00
|
|
|
visit::visit_expr(ex, self, vt);
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
|
2012-08-03 21:59:04 -05:00
|
|
|
ast::expr_call(f, args, _) => {
|
2012-06-01 12:46:17 -05:00
|
|
|
let arg_tys = ty::ty_fn_args(ty::expr_ty(self.tcx(), f));
|
|
|
|
let scope_r = ty::re_scope(ex.id);
|
2012-06-30 18:19:07 -05:00
|
|
|
do vec::iter2(args, arg_tys) |arg, arg_ty| {
|
2012-08-06 14:34:08 -05:00
|
|
|
match ty::resolved_mode(self.tcx(), arg_ty.mode) {
|
2012-08-03 21:59:04 -05:00
|
|
|
ast::by_mutbl_ref => {
|
2012-06-01 12:46:17 -05:00
|
|
|
let arg_cmt = self.bccx.cat_expr(arg);
|
|
|
|
self.guarantee_valid(arg_cmt, m_mutbl, scope_r);
|
|
|
|
}
|
2012-08-03 21:59:04 -05:00
|
|
|
ast::by_ref => {
|
2012-06-01 12:46:17 -05:00
|
|
|
let arg_cmt = self.bccx.cat_expr(arg);
|
|
|
|
self.guarantee_valid(arg_cmt, m_imm, scope_r);
|
|
|
|
}
|
2012-08-03 21:59:04 -05:00
|
|
|
ast::by_val => {
|
2012-06-01 17:46:32 -05:00
|
|
|
// Rust's by-val does not actually give ownership to
|
|
|
|
// the callee. This means that if a pointer type is
|
|
|
|
// passed, it is effectively a borrow, and so the
|
|
|
|
// caller must guarantee that the data remains valid.
|
|
|
|
//
|
|
|
|
// Subtle: we only guarantee that the pointer is valid
|
|
|
|
// and const. Technically, we ought to pass in the
|
|
|
|
// mutability that the caller expects (e.g., if the
|
|
|
|
// formal argument has type @mut, we should guarantee
|
|
|
|
// validity and mutability, not validity and const).
|
|
|
|
// However, the type system already guarantees that
|
|
|
|
// the caller's mutability is compatible with the
|
|
|
|
// callee, so this is not necessary. (Note that with
|
|
|
|
// actual borrows, typeck is more liberal and allows
|
|
|
|
// the pointer to be borrowed as immutable even if it
|
|
|
|
// is mutable in the caller's frame, thus effectively
|
|
|
|
// passing the buck onto us to enforce this)
|
2012-06-03 09:34:10 -05:00
|
|
|
//
|
2012-06-21 18:44:10 -05:00
|
|
|
// FIXME (#2493): this handling is not really adequate.
|
2012-06-29 18:26:56 -05:00
|
|
|
// For example, if there is a type like, {f: ~[int]}, we
|
2012-06-21 18:44:10 -05:00
|
|
|
// will ignore it, but we ought to be requiring it to be
|
|
|
|
// immutable (whereas something like {f:int} would be
|
|
|
|
// fine).
|
|
|
|
//
|
2012-08-06 14:34:08 -05:00
|
|
|
match opt_deref_kind(arg_ty.ty) {
|
2012-07-26 10:51:57 -05:00
|
|
|
some(deref_ptr(region_ptr(_))) |
|
2012-08-03 21:59:04 -05:00
|
|
|
some(deref_ptr(unsafe_ptr)) => {
|
2012-06-01 17:46:32 -05:00
|
|
|
/* region pointers are (by induction) guaranteed */
|
2012-06-02 23:07:53 -05:00
|
|
|
/* unsafe pointers are the user's problem */
|
2012-06-01 17:46:32 -05:00
|
|
|
}
|
2012-06-03 09:34:10 -05:00
|
|
|
some(deref_comp(_)) |
|
2012-08-03 21:59:04 -05:00
|
|
|
none => {
|
2012-06-01 17:46:32 -05:00
|
|
|
/* not a pointer, no worries */
|
|
|
|
}
|
2012-08-03 21:59:04 -05:00
|
|
|
some(deref_ptr(_)) => {
|
2012-06-01 17:46:32 -05:00
|
|
|
let arg_cmt = self.bccx.cat_borrow_of_expr(arg);
|
|
|
|
self.guarantee_valid(arg_cmt, m_const, scope_r);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2012-08-03 21:59:04 -05:00
|
|
|
ast::by_move | ast::by_copy => {}
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
}
|
2012-07-26 10:51:57 -05:00
|
|
|
visit::visit_expr(ex, self, vt);
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
|
2012-08-07 15:35:51 -05:00
|
|
|
ast::expr_match(ex_v, arms, _) => {
|
2012-06-01 12:46:17 -05:00
|
|
|
let cmt = self.bccx.cat_expr(ex_v);
|
2012-06-30 18:19:07 -05:00
|
|
|
for arms.each |arm| {
|
|
|
|
for arm.pats.each |pat| {
|
2012-06-01 12:46:17 -05:00
|
|
|
self.gather_pat(cmt, pat, arm.body.node.id, ex.id);
|
|
|
|
}
|
|
|
|
}
|
2012-07-26 10:51:57 -05:00
|
|
|
visit::visit_expr(ex, self, vt);
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
|
2012-06-01 23:54:38 -05:00
|
|
|
ast::expr_index(rcvr, _) |
|
2012-06-01 17:46:32 -05:00
|
|
|
ast::expr_binary(_, rcvr, _) |
|
2012-08-03 21:59:04 -05:00
|
|
|
ast::expr_unary(_, rcvr)
|
|
|
|
if self.bccx.method_map.contains_key(ex.id) => {
|
2012-06-01 17:46:32 -05:00
|
|
|
// Receivers in method calls are always passed by ref.
|
|
|
|
//
|
2012-06-01 23:54:38 -05:00
|
|
|
// Here, in an overloaded operator, the call is this expression,
|
|
|
|
// and hence the scope of the borrow is this call.
|
|
|
|
//
|
2012-06-21 18:44:10 -05:00
|
|
|
// FIX? / NOT REALLY---technically we should check the other
|
2012-06-01 23:54:38 -05:00
|
|
|
// argument and consider the argument mode. But how annoying.
|
|
|
|
// And this problem when goes away when argument modes are
|
|
|
|
// phased out. So I elect to leave this undone.
|
|
|
|
let scope_r = ty::re_scope(ex.id);
|
|
|
|
let rcvr_cmt = self.bccx.cat_expr(rcvr);
|
|
|
|
self.guarantee_valid(rcvr_cmt, m_imm, scope_r);
|
2012-07-26 10:51:57 -05:00
|
|
|
visit::visit_expr(ex, self, vt);
|
2012-06-01 23:54:38 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
ast::expr_field(rcvr, _, _)
|
2012-08-03 21:59:04 -05:00
|
|
|
if self.bccx.method_map.contains_key(ex.id) => {
|
2012-06-01 23:54:38 -05:00
|
|
|
// Receivers in method calls are always passed by ref.
|
|
|
|
//
|
|
|
|
// Here, the field a.b is in fact a closure. Eventually, this
|
|
|
|
// should be an fn&, but for now it's an fn@. In any case,
|
|
|
|
// the enclosing scope is either the call where it is a rcvr
|
|
|
|
// (if used like `a.b(...)`), the call where it's an argument
|
|
|
|
// (if used like `x(a.b)`), or the block (if used like `let x
|
|
|
|
// = a.b`).
|
2012-06-01 17:46:32 -05:00
|
|
|
let scope_r = ty::re_scope(self.tcx().region_map.get(ex.id));
|
|
|
|
let rcvr_cmt = self.bccx.cat_expr(rcvr);
|
|
|
|
self.guarantee_valid(rcvr_cmt, m_imm, scope_r);
|
2012-07-26 10:51:57 -05:00
|
|
|
visit::visit_expr(ex, self, vt);
|
2012-06-01 17:46:32 -05:00
|
|
|
}
|
|
|
|
|
2012-07-26 10:51:57 -05:00
|
|
|
// see explanation attached to the `root_ub` field:
|
2012-08-03 21:59:04 -05:00
|
|
|
ast::expr_while(cond, body) => {
|
2012-07-26 10:51:57 -05:00
|
|
|
// during the condition, can only root for the condition
|
|
|
|
self.root_ub = cond.id;
|
|
|
|
vt.visit_expr(cond, self, vt);
|
|
|
|
|
|
|
|
// during body, can only root for the body
|
|
|
|
self.root_ub = body.node.id;
|
|
|
|
vt.visit_block(body, self, vt);
|
|
|
|
}
|
|
|
|
|
|
|
|
// see explanation attached to the `root_ub` field:
|
2012-08-14 21:20:56 -05:00
|
|
|
ast::expr_loop(body, _) => {
|
2012-07-26 10:51:57 -05:00
|
|
|
self.root_ub = body.node.id;
|
|
|
|
visit::visit_expr(ex, self, vt);
|
|
|
|
}
|
|
|
|
|
|
|
|
_ => {
|
|
|
|
visit::visit_expr(ex, self, vt);
|
|
|
|
}
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Check any contained expressions:
|
2012-07-26 10:51:57 -05:00
|
|
|
|
|
|
|
self.root_ub = old_root_ub;
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
|
2012-08-07 20:10:06 -05:00
|
|
|
impl gather_loan_ctxt {
|
2012-06-01 12:46:17 -05:00
|
|
|
fn tcx() -> ty::ctxt { self.bccx.tcx }
|
|
|
|
|
|
|
|
// guarantees that addr_of(cmt) will be valid for the duration of
|
|
|
|
// `static_scope_r`, or reports an error. This may entail taking
|
|
|
|
// out loans, which will be added to the `req_loan_map`. This can
|
|
|
|
// also entail "rooting" GC'd pointers, which means ensuring
|
|
|
|
// dynamically that they are not freed.
|
|
|
|
fn guarantee_valid(cmt: cmt,
|
|
|
|
req_mutbl: ast::mutability,
|
|
|
|
scope_r: ty::region) {
|
|
|
|
|
2012-07-05 14:59:03 -05:00
|
|
|
self.bccx.guaranteed_paths += 1;
|
|
|
|
|
2012-08-22 19:24:52 -05:00
|
|
|
debug!("guarantee_valid(cmt=%s, req_mutbl=%s, scope_r=%s)",
|
2012-06-01 12:46:17 -05:00
|
|
|
self.bccx.cmt_to_repr(cmt),
|
|
|
|
self.bccx.mut_to_str(req_mutbl),
|
2012-08-22 19:24:52 -05:00
|
|
|
region_to_str(self.tcx(), scope_r));
|
2012-06-01 12:46:17 -05:00
|
|
|
let _i = indenter();
|
|
|
|
|
2012-08-06 14:34:08 -05:00
|
|
|
match cmt.lp {
|
2012-07-05 14:59:03 -05:00
|
|
|
// If this expression is a loanable path, we MUST take out a
|
|
|
|
// loan. This is somewhat non-obvious. You might think,
|
|
|
|
// for example, that if we have an immutable local variable
|
|
|
|
// `x` whose value is being borrowed, we could rely on `x`
|
|
|
|
// not to change. This is not so, however, because even
|
|
|
|
// immutable locals can be moved. So we take out a loan on
|
|
|
|
// `x`, guaranteeing that it remains immutable for the
|
|
|
|
// duration of the reference: if there is an attempt to move
|
|
|
|
// it within that scope, the loan will be detected and an
|
|
|
|
// error will be reported.
|
2012-08-03 21:59:04 -05:00
|
|
|
some(_) => {
|
2012-08-06 14:34:08 -05:00
|
|
|
match self.bccx.loan(cmt, scope_r, req_mutbl) {
|
2012-07-26 10:51:57 -05:00
|
|
|
err(e) => { self.bccx.report(e); }
|
|
|
|
ok(loans) if loans.len() == 0 => {}
|
|
|
|
ok(loans) => {
|
2012-08-06 14:34:08 -05:00
|
|
|
match scope_r {
|
2012-07-26 10:51:57 -05:00
|
|
|
ty::re_scope(scope_id) => {
|
|
|
|
self.add_loans(scope_id, loans);
|
2012-07-05 14:59:03 -05:00
|
|
|
|
2012-07-26 10:51:57 -05:00
|
|
|
if req_mutbl == m_imm && cmt.mutbl != m_imm {
|
|
|
|
self.bccx.loaned_paths_imm += 1;
|
2012-07-11 12:28:30 -05:00
|
|
|
|
2012-07-26 10:51:57 -05:00
|
|
|
if self.tcx().sess.borrowck_note_loan() {
|
|
|
|
self.bccx.span_note(
|
|
|
|
cmt.span,
|
2012-08-22 19:24:52 -05:00
|
|
|
fmt!("immutable loan required"));
|
2012-07-26 10:51:57 -05:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
self.bccx.loaned_paths_same += 1;
|
2012-07-11 12:28:30 -05:00
|
|
|
}
|
2012-07-26 10:51:57 -05:00
|
|
|
}
|
|
|
|
_ => {
|
|
|
|
self.bccx.tcx.sess.span_bug(
|
|
|
|
cmt.span,
|
|
|
|
#fmt["loans required but scope is scope_region is %s",
|
|
|
|
region_to_str(self.tcx(), scope_r)]);
|
|
|
|
}
|
2012-07-05 14:59:03 -05:00
|
|
|
}
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-26 10:51:57 -05:00
|
|
|
// The path is not loanable: in that case, we must try and
|
|
|
|
// preserve it dynamically (or see that it is preserved by
|
|
|
|
// virtue of being rooted in some immutable path). We must
|
|
|
|
// also check that the mutability of the desired pointer
|
|
|
|
// matches with the actual mutability (but if an immutable
|
|
|
|
// pointer is desired, that is ok as long as we are pure)
|
2012-08-03 21:59:04 -05:00
|
|
|
none => {
|
2012-07-26 10:51:57 -05:00
|
|
|
let result: bckres<preserve_condition> = {
|
|
|
|
do self.check_mutbl(req_mutbl, cmt).chain |pc1| {
|
|
|
|
do self.bccx.preserve(cmt, scope_r,
|
|
|
|
self.item_ub,
|
|
|
|
self.root_ub).chain |pc2| {
|
|
|
|
ok(pc1.combine(pc2))
|
|
|
|
}
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2012-08-06 14:34:08 -05:00
|
|
|
match result {
|
2012-08-03 21:59:04 -05:00
|
|
|
ok(pc_ok) => {
|
2012-06-01 12:46:17 -05:00
|
|
|
// we were able guarantee the validity of the ptr,
|
|
|
|
// perhaps by rooting or because it is immutably
|
|
|
|
// rooted. good.
|
2012-07-05 14:59:03 -05:00
|
|
|
self.bccx.stable_paths += 1;
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
2012-08-03 21:59:04 -05:00
|
|
|
ok(pc_if_pure(e)) => {
|
2012-07-26 10:51:57 -05:00
|
|
|
// we are only able to guarantee the validity if
|
|
|
|
// the scope is pure
|
2012-08-06 14:34:08 -05:00
|
|
|
match scope_r {
|
2012-07-26 10:51:57 -05:00
|
|
|
ty::re_scope(pure_id) => {
|
|
|
|
// if the scope is some block/expr in the fn,
|
|
|
|
// then just require that this scope be pure
|
|
|
|
self.req_maps.pure_map.insert(pure_id, e);
|
2012-07-05 14:59:03 -05:00
|
|
|
self.bccx.req_pure_paths += 1;
|
2012-07-06 17:03:18 -05:00
|
|
|
|
|
|
|
if self.tcx().sess.borrowck_note_pure() {
|
|
|
|
self.bccx.span_note(
|
|
|
|
cmt.span,
|
2012-08-22 19:24:52 -05:00
|
|
|
fmt!("purity required"));
|
2012-07-06 17:03:18 -05:00
|
|
|
}
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
2012-07-26 10:51:57 -05:00
|
|
|
_ => {
|
|
|
|
// otherwise, we can't enforce purity for that
|
|
|
|
// scope, so give up and report an error
|
2012-06-01 12:46:17 -05:00
|
|
|
self.bccx.report(e);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2012-07-26 10:51:57 -05:00
|
|
|
err(e) => {
|
|
|
|
// we cannot guarantee the validity of this pointer
|
|
|
|
self.bccx.report(e);
|
|
|
|
}
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Check that the pat `cmt` is compatible with the required
|
|
|
|
// mutability, presuming that it can be preserved to stay alive
|
|
|
|
// long enough.
|
|
|
|
//
|
|
|
|
// For example, if you have an expression like `&x.f` where `x`
|
|
|
|
// has type `@mut{f:int}`, this check might fail because `&x.f`
|
|
|
|
// reqires an immutable pointer, but `f` lives in (aliased)
|
|
|
|
// mutable memory.
|
|
|
|
fn check_mutbl(req_mutbl: ast::mutability,
|
2012-07-26 10:51:57 -05:00
|
|
|
cmt: cmt) -> bckres<preserve_condition> {
|
2012-08-06 14:34:08 -05:00
|
|
|
match (req_mutbl, cmt.mutbl) {
|
2012-06-01 12:46:17 -05:00
|
|
|
(m_const, _) |
|
|
|
|
(m_imm, m_imm) |
|
2012-07-26 10:51:57 -05:00
|
|
|
(m_mutbl, m_mutbl) => {
|
|
|
|
ok(pc_ok)
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
(_, m_const) |
|
|
|
|
(m_imm, m_mutbl) |
|
2012-07-26 10:51:57 -05:00
|
|
|
(m_mutbl, m_imm) => {
|
|
|
|
let e = {cmt: cmt,
|
|
|
|
code: err_mutbl(req_mutbl, cmt.mutbl)};
|
|
|
|
if req_mutbl == m_imm {
|
|
|
|
// you can treat mutable things as imm if you are pure
|
|
|
|
ok(pc_if_pure(e))
|
|
|
|
} else {
|
|
|
|
err(e)
|
|
|
|
}
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-08-14 18:54:13 -05:00
|
|
|
fn add_loans(scope_id: ast::node_id, loans: @DVec<loan>) {
|
2012-08-06 14:34:08 -05:00
|
|
|
match self.req_maps.req_loan_map.find(scope_id) {
|
2012-08-03 21:59:04 -05:00
|
|
|
some(l) => {
|
2012-06-04 10:03:33 -05:00
|
|
|
(*l).push(loans);
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
2012-08-03 21:59:04 -05:00
|
|
|
none => {
|
2012-06-04 10:03:33 -05:00
|
|
|
self.req_maps.req_loan_map.insert(
|
2012-06-29 18:26:56 -05:00
|
|
|
scope_id, @dvec::from_vec(~[mut loans]));
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-08-08 10:15:32 -05:00
|
|
|
fn gather_pat(discr_cmt: cmt, root_pat: @ast::pat,
|
2012-06-01 12:46:17 -05:00
|
|
|
arm_id: ast::node_id, alt_id: ast::node_id) {
|
2012-08-08 10:15:32 -05:00
|
|
|
do self.bccx.cat_pattern(discr_cmt, root_pat) |cmt, pat| {
|
|
|
|
match pat.node {
|
|
|
|
ast::pat_ident(bm, id, o_pat) if !self.pat_is_variant(pat) => {
|
|
|
|
match bm {
|
2012-08-22 18:00:28 -05:00
|
|
|
ast::bind_by_value | ast::bind_by_move => {
|
2012-08-08 10:15:32 -05:00
|
|
|
// copying does not borrow anything, so no check
|
|
|
|
// is required
|
2012-08-22 18:00:28 -05:00
|
|
|
// as for move, check::alt ensures it's from an rvalue.
|
2012-08-08 10:15:32 -05:00
|
|
|
}
|
|
|
|
ast::bind_by_ref(mutbl) => {
|
|
|
|
// ref x or ref x @ p --- creates a ptr which must
|
|
|
|
// remain valid for the scope of the alt
|
|
|
|
|
|
|
|
// find the region of the resulting pointer (note that
|
|
|
|
// the type of such a pattern will *always* be a
|
|
|
|
// region pointer)
|
|
|
|
let scope_r = ty_region(self.tcx().ty(pat));
|
|
|
|
|
|
|
|
// if the scope of the region ptr turns out to be
|
|
|
|
// specific to this arm, wrap the categorization with
|
|
|
|
// a cat_discr() node. There is a detailed discussion
|
|
|
|
// of the function of this node in method preserve():
|
|
|
|
let arm_scope = ty::re_scope(arm_id);
|
|
|
|
if self.bccx.is_subregion_of(scope_r, arm_scope) {
|
|
|
|
let cmt_discr = self.bccx.cat_discr(cmt, alt_id);
|
|
|
|
self.guarantee_valid(cmt_discr, mutbl, scope_r);
|
|
|
|
} else {
|
|
|
|
self.guarantee_valid(cmt, mutbl, scope_r);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ast::bind_by_implicit_ref => {
|
|
|
|
// Note: there is a discussion of the function of
|
|
|
|
// cat_discr in the method preserve():
|
|
|
|
let cmt1 = self.bccx.cat_discr(cmt, alt_id);
|
|
|
|
let arm_scope = ty::re_scope(arm_id);
|
|
|
|
|
|
|
|
// We used to remember the mutability of the location
|
|
|
|
// that this binding refers to and use it later when
|
|
|
|
// categorizing the binding. This hack is being
|
|
|
|
// removed in favor of ref mode bindings.
|
|
|
|
//
|
|
|
|
// self.bccx.binding_map.insert(pat.id, cmt1.mutbl);
|
|
|
|
|
|
|
|
self.guarantee_valid(cmt1, m_const, arm_scope);
|
|
|
|
}
|
2012-08-06 20:14:46 -05:00
|
|
|
}
|
|
|
|
}
|
2012-06-01 12:46:17 -05:00
|
|
|
|
2012-08-08 10:15:32 -05:00
|
|
|
_ => {}
|
2012-06-01 12:46:17 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn pat_is_variant(pat: @ast::pat) -> bool {
|
|
|
|
pat_util::pat_is_variant(self.bccx.tcx.def_map, pat)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|