about summary refs log tree commit diff
path: root/src/rustc
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2016-03-22 10:00:12 -0700
committerbors <bors@rust-lang.org>2016-03-22 10:00:12 -0700
commite3f2dfdececa8053e652eb0fb286db9aef0f82e6 (patch)
tree9e313f060d8250a287a0674d6e22279ed579f771 /src/rustc
parentc7bdfd4442f0bde3412f08336f75b9eabff4a938 (diff)
parent782c0cf4a2fb57492012f6093ad7b70be72f654d (diff)
downloadrust-e3f2dfdececa8053e652eb0fb286db9aef0f82e6.tar.gz
rust-e3f2dfdececa8053e652eb0fb286db9aef0f82e6.zip
Auto merge of #32156 - pnkfelix:borrowck-on-mir-move-analysis, r=nikomatsakis
Move analysis for MIR borrowck

This PR adds code for doing MIR-based gathering of the moves in a `fn` and the dataflow to determine where uninitialized locations flow to, analogous to how the same thing is done in `borrowck`.

It also adds a couple attributes to print out graphviz visualizations of the analyzed MIR that includes the dataflow analysis results.

cc @nikomatsakis
Diffstat (limited to 'src/rustc')
-rw-r--r--src/rustc/Cargo.lock1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rustc/Cargo.lock b/src/rustc/Cargo.lock
index 03e7aaca0f7..9ef0b400022 100644
--- a/src/rustc/Cargo.lock
+++ b/src/rustc/Cargo.lock
@@ -109,6 +109,7 @@ dependencies = [
  "log 0.0.0",
  "rustc 0.0.0",
  "rustc_front 0.0.0",
+ "rustc_mir 0.0.0",
  "syntax 0.0.0",
 ]