]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: c7bdfd4 782c0cf)
Auto merge of #32156 - pnkfelix:borrowck-on-mir-move-analysis, r=nikomatsakis
authorbors <bors@rust-lang.org>
Tue, 22 Mar 2016 17:00:12 +0000 (10:00 -0700)
committerbors <bors@rust-lang.org>
Tue, 22 Mar 2016 17:00:12 +0000 (10:00 -0700)
commite3f2dfdececa8053e652eb0fb286db9aef0f82e6
tree9e313f060d8250a287a0674d6e22279ed579f771tree | snapshot
parentc7bdfd4442f0bde3412f08336f75b9eabff4a938commit | diff
parent782c0cf4a2fb57492012f6093ad7b70be72f654dcommit | diff
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
Empowering everyone to build reliable and efficient software.