new liveness pass to supercede last_use / initedness

1 files changed, 16 insertions, 0 deletions

diff --git a/src/test/compile-fail/liveness-break-uninit.rs b/src/test/compile-fail/liveness-break-uninit.rs
new file mode 100644
index 00000000000..55041daa7fb
--- /dev/null
+++ b/src/test/compile-fail/liveness-break-uninit.rs
@@ -0,0 +1,16 @@
+fn foo() -> int {
+    let x: int;
+    let i: int;
+
+    loop {
+        i = 0;
+        break;
+        x = 0;  //! WARNING unreachable statement
+    }
+
+    log(debug, x); //! ERROR use of possibly uninitialized variable: `x`
+
+    ret 17;
+}
+
+fn main() { log(debug, foo()); }