Stubs for visiting MIR nodes

documentation/DeveloperGuide.md

@@ -76,5 +76,9 @@ sources.
 
 ## Testing
 
-For now we test mirai by running it on itself, by doing `cargo build` in the mirai directory while setting the 
-`RUSTC_WRAPPER` environment variable to `mirai`.
+Testing is done via `cargo test`. We favor integration tests over unit tests and require every pull request to have 100%
+test coverage. The code coverage tool (`cargo tarpaulin`) is still buggy, so this may not always be possible, but all
+exceptions should be called out and explained in the pull request test plan.
+
+For the time being (see issue #10), we provide a separate test method in integration_tests.rs for each test input in
+the [tests/run-pass](https://github.com/facebookexperimental/MIRAI/blob/master/tests/run-pass) directory.

src/callbacks.rs

@@ -11,6 +11,7 @@ use rustc_metadata::cstore::CStore;
 use std::path::PathBuf;
 use syntax::{ast, errors};
 use visitors;
+use visitors::MirVisitor;
 
 /// Private state used to implement the callbacks.
 pub struct MiraiCallbacks {
@@ -139,8 +140,10 @@ impl<'a> CompilerCalls<'a> for MiraiCallbacks {
 /// interpretation of all of the functions that will end up in the compiler output.
 fn after_analysis(state: &mut driver::CompileState) {
     let tcx = state.tcx.unwrap();
-    state
-        .hir_crate
-        .unwrap()
-        .visit_all_item_likes(&mut visitors::CrateVisitor { tcx, state });
+    for def_id in tcx.body_owners() {
+        // By this time all analyses have been carried out, so it should be safe to borrow this now.
+        let mir = tcx.optimized_mir(def_id);
+        let mir_visitor = visitors::MirTestVisitor { tcx, def_id, mir };
+        mir_visitor.visit_body();
+    }
 }

src/lib.rs

@@ -14,13 +14,15 @@
 // While pretty bad, it is a lot less bad than having to write our own compiler, so here goes.
 #![feature(rustc_private)]
 #![feature(box_syntax)]
+#![feature(extern_crate_item_prelude)]
 
 extern crate getopts;
 extern crate rustc;
 extern crate rustc_codegen_utils;
 extern crate rustc_driver;
 extern crate rustc_metadata;
 extern crate syntax;
+extern crate syntax_pos;
 
 #[macro_use]
 extern crate log;