}
pub fn construct<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
- body: &hir::Expr) -> CFG {
+ body: &hir::Body) -> CFG {
let mut graph = graph::Graph::new();
let entry = graph.add_node(CFGNodeData::Entry);
let fn_exit = graph.add_node(CFGNodeData::Exit);
let body_exit;
- // Find the function this expression is from.
- let mut node_id = body.id;
- loop {
- let node = tcx.hir.get(node_id);
- if hir::map::blocks::FnLikeNode::from_node(node).is_some() {
- break;
- }
- let parent = tcx.hir.get_parent_node(node_id);
- assert!(node_id != parent);
- node_id = parent;
- }
+ // Find the tables for this body.
+ let owner_def_id = tcx.hir.local_def_id(tcx.hir.body_owner(body.id()));
+ let tables = tcx.item_tables(owner_def_id);
let mut cfg_builder = CFGBuilder {
tcx: tcx,
- tables: tcx.item_tables(tcx.hir.local_def_id(node_id)),
+ tables: tables,
graph: graph,
fn_exit: fn_exit,
loop_scopes: Vec::new()
};
- body_exit = cfg_builder.expr(body, entry);
+ body_exit = cfg_builder.expr(&body.value, entry);
cfg_builder.add_contained_edge(body_exit, fn_exit);
let CFGBuilder {graph, ..} = cfg_builder;
CFG {graph: graph,
impl CFG {
pub fn new<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
- body: &hir::Expr) -> CFG {
+ body: &hir::Body) -> CFG {
construct::construct(tcx, body)
}
use syntax::ast;
use syntax_pos::Span;
use rustc::hir;
-use rustc::hir::Expr;
-use rustc::hir::intravisit;
-use rustc::hir::intravisit::{Visitor, NestedVisitorMap};
use self::restrictions::RestrictionResult;
}
}
-/// Context used while gathering loans on static initializers
-///
-/// This visitor walks static initializer's expressions and makes
-/// sure the loans being taken are sound.
-struct StaticInitializerCtxt<'a, 'tcx: 'a> {
- bccx: &'a BorrowckCtxt<'a, 'tcx>,
- body_id: hir::BodyId,
-}
-
-impl<'a, 'tcx> Visitor<'tcx> for StaticInitializerCtxt<'a, 'tcx> {
- fn nested_visit_map<'this>(&'this mut self) -> NestedVisitorMap<'this, 'tcx> {
- NestedVisitorMap::None
- }
-
- fn visit_expr(&mut self, ex: &'tcx Expr) {
- if let hir::ExprAddrOf(mutbl, ref base) = ex.node {
- let infcx = self.bccx.tcx.borrowck_fake_infer_ctxt(self.body_id);
- let mc = mc::MemCategorizationContext::new(&infcx);
- let base_cmt = mc.cat_expr(&base).unwrap();
- let borrow_kind = ty::BorrowKind::from_mutbl(mutbl);
- // Check that we don't allow borrows of unsafe static items.
- let err = check_aliasability(self.bccx, ex.span,
- BorrowViolation(euv::AddrOf),
- base_cmt, borrow_kind).is_err();
- if err {
- return; // reported an error, no sense in reporting more.
- }
- }
-
- intravisit::walk_expr(self, ex);
- }
-}
-
-pub fn gather_loans_in_static_initializer<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
- body: hir::BodyId) {
- debug!("gather_loans_in_static_initializer(expr={:?})", body);
-
- let bccx = &BorrowckCtxt {
- tcx: tcx,
- tables: None
- };
-
- let mut sicx = StaticInitializerCtxt {
- bccx: bccx,
- body_id: body
- };
-
- let body = sicx.bccx.tcx.hir.body(body);
- sicx.visit_body(body);
-}
match item.node {
hir::ItemStatic(.., ex) |
hir::ItemConst(_, ex) => {
- gather_loans::gather_loans_in_static_initializer(self.tcx, ex);
+ borrowck_fn(self.tcx, ex);
}
_ => { }
}
fn visit_trait_item(&mut self, ti: &'tcx hir::TraitItem) {
if let hir::TraitItemKind::Const(_, Some(expr)) = ti.node {
- gather_loans::gather_loans_in_static_initializer(self.tcx, expr);
+ borrowck_fn(self.tcx, expr);
}
intravisit::walk_trait_item(self, ti);
}
fn visit_impl_item(&mut self, ii: &'tcx hir::ImplItem) {
if let hir::ImplItemKind::Const(_, expr) = ii.node {
- gather_loans::gather_loans_in_static_initializer(self.tcx, expr);
+ borrowck_fn(self.tcx, expr);
}
intravisit::walk_impl_item(self, ii);
}
mir::borrowck_mir(bccx, owner_id, &attributes);
}
- let cfg = cfg::CFG::new(bccx.tcx, &body.value);
+ let cfg = cfg::CFG::new(bccx.tcx, &body);
let AnalysisData { all_loans,
loans: loan_dfcx,
move_data: flowed_moves } =
#![deny(warnings)]
#![feature(box_syntax)]
+#![feature(loop_break_value)]
#![feature(libc)]
#![feature(quote)]
#![feature(rustc_diagnostic_macros)]
mode: PpFlowGraphMode,
mut out: W)
-> io::Result<()> {
- let cfg = match code {
- blocks::Code::Expr(expr) => cfg::CFG::new(tcx, expr),
- blocks::Code::FnLike(fn_like) => {
- let body = tcx.hir.body(fn_like.body());
- cfg::CFG::new(tcx, &body.value)
- },
+ let body_id = match code {
+ blocks::Code::Expr(expr) => {
+ // Find the function this expression is from.
+ let mut node_id = expr.id;
+ loop {
+ let node = tcx.hir.get(node_id);
+ if let Some(n) = hir::map::blocks::FnLikeNode::from_node(node) {
+ break n.body();
+ }
+ let parent = tcx.hir.get_parent_node(node_id);
+ assert!(node_id != parent);
+ node_id = parent;
+ }
+ }
+ blocks::Code::FnLike(fn_like) => fn_like.body(),
};
+ let body = tcx.hir.body(body_id);
+ let cfg = cfg::CFG::new(tcx, &body);
let labelled_edges = mode != PpFlowGraphMode::UnlabelledEdges;
let lcfg = LabelledCFG {
hir_map: &tcx.hir,
// to have behaviour like the above, rather than
// e.g. accidentally recurring after an assert.
- let cfg = cfg::CFG::new(cx.tcx, &body.value);
+ let cfg = cfg::CFG::new(cx.tcx, &body);
let mut work_queue = vec![cfg.entry];
let mut reached_exit_without_self_call = false;
//~| NOTE statics require immutable values
//~| ERROR E0017
//~| NOTE statics require immutable values
- //~| ERROR E0388
- //~| NOTE cannot write data in a static definition
+ //~| ERROR cannot borrow
static CONST_REF: &'static mut i32 = &mut C; //~ ERROR E0017
//~| NOTE statics require immutable values
//~| ERROR E0017
//~| ERROR E0017
static STATIC_REF: &'static mut i32 = &mut X; //~ ERROR E0017
//~| ERROR E0017
- //~| ERROR E0388
+ //~| ERROR cannot borrow
static CONST_REF: &'static mut i32 = &mut C; //~ ERROR E0017
//~| ERROR E0017
--- /dev/null
+// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+// Regression test for #38520. Check that moves of `Foo` are not
+// permitted as `Foo` is not copy (even in a static/const
+// initializer).
+
+#![feature(const_fn)]
+
+struct Foo(usize);
+
+const fn get(x: Foo) -> usize {
+ x.0
+}
+
+const X: Foo = Foo(22);
+static Y: usize = get(*&X); //~ ERROR E0507
+const Z: usize = get(*&X); //~ ERROR E0507
+
+fn main() {
+}
//~^ ERROR blocks in constants are limited to items and tail expressions
let p = 3;
//~^ ERROR blocks in constants are limited to items and tail expressions
- &p
+ &p //~ ERROR `p` does not live long enough
};
}