mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix a bunch of bugs shown by the test

Browse Source
This commit is contained in:
Nick Cameron 2016-11-23 18:47:07 +13:00
parent 9ea1544b80
commit 68312e3e20
2 changed files with 27 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
src/librustc_save_analysis/dump_visitor.rs
View File

@ -275,7 +275,7 @@ fn write_sub_path_trait_truncated(&mut self, path: &ast::Path) {
fn lookup_def_id(&self, ref_id: NodeId) -> Option<DefId> {
self.tcx.expect_def_or_none(ref_id).and_then(|def| {
match def {
Def::PrimTy(..) | Def::SelfTy(..) => None,
Def::Label(..) | Def::PrimTy(..) | Def::SelfTy(..) | Def::Err => None,
def => Some(def.def_id()),
}
})
@ -357,7 +357,10 @@ fn process_formals(&mut self, formals: &Vec<ast::Arg>, qualname: &str) {
collector.visit_pat(&arg.pat);
let span_utils = self.span.clone();
for &(id, ref p, ..) in &collector.collected_paths {
let typ = self.tcx.tables().node_types.get(&id).unwrap().to_string();
let typ = match self.tcx.tables().node_types.get(&id) {
Some(s) => s.to_string(),
None => continue,
};
// get the span only for the name of the variable (I hope the path is only ever a
// variable name, but who knows?)
let sub_span = span_utils.span_for_last_ident(p.span);
@ -987,7 +990,13 @@ fn process_pat(&mut self, p: &ast::Pat) {
match p.node {
PatKind::Struct(ref path, ref fields, _) => {
visit::walk_path(self, path);
let adt = self.tcx.tables().node_id_to_type(p.id).ty_adt_def().unwrap();
let adt = match self.tcx.tables().node_id_to_type_opt(p.id) {
Some(ty) => ty.ty_adt_def().unwrap(),
None => {
visit::walk_pat(self, p);
return;
}
};
let variant = adt.variant_of_def(self.tcx.expect_def(p.id));
for &Spanned { node: ref field, span } in fields {
@ -1353,7 +1362,13 @@ fn visit_expr(&mut self, ex: &ast::Expr) {
}
ast::ExprKind::Struct(ref path, ref fields, ref base) => {
let hir_expr = self.save_ctxt.tcx.map.expect_expr(ex.id);
let adt = self.tcx.tables().expr_ty(&hir_expr).ty_adt_def().unwrap();
let adt = match self.tcx.tables().expr_ty_opt(&hir_expr) {
Some(ty) => ty.ty_adt_def().unwrap(),
None => {
visit::walk_expr(self, ex);
return;
}
};
let def = self.tcx.expect_def(hir_expr.id);
self.process_struct_lit(ex, path, fields, adt.variant_of_def(def), base)
}
@ -1379,7 +1394,13 @@ fn visit_expr(&mut self, ex: &ast::Expr) {
return;
}
};
let ty = &self.tcx.tables().expr_ty_adjusted(&hir_node).sty;
let ty = match self.tcx.tables().expr_ty_adjusted_opt(&hir_node) {
Some(ty) => &ty.sty,
None => {
visit::walk_expr(self, ex);
return;
}
};
match *ty {
ty::TyAdt(def, _) => {
let sub_span = self.span.sub_span_after_token(ex.span, token::Dot);

4
src/test/run-make/save-analysis-fail/Makefile
View File

@ -3,6 +3,4 @@ all: code
krate2: krate2.rs
$(RUSTC) $<
code: foo.rs krate2
$(RUSTC) foo.rs -Zsave-analysis-csv
$(RUSTC) foo.rs -Zsave-analysis
$(RUSTC) foo.rs -Zsave-analysis-api
$(RUSTC) foo.rs -Zsave-analysis || exit 0