1 files changed, 31 insertions, 0 deletions
diff --git a/src/test/run-pass/unreachable-code.rs b/src/test/run-pass/unreachable-code.rs
new file mode 100644
index 00000000000..0d1a4991751
--- /dev/null
+++ b/src/test/run-pass/unreachable-code.rs
@@ -0,0 +1,31 @@
+// xfail-pretty
+
+fn id(x: bool) -> bool { x }
+
+fn call_id() {
+    let c <- fail;
+    id(c);
+}
+
+fn call_id_2() { id(true) && id(ret); }
+
+fn call_id_3() { id(ret) && id(ret); }
+
+fn log_fail() { log(error, fail); }
+
+fn log_ret() { log(error, ret); }
+
+fn log_break() { loop { log(error, break); } }
+
+fn log_again() { loop { log(error, again); } }
+
+fn ret_ret() -> int { ret (ret 2) + 3; }
+
+fn ret_guard() {
+    alt 2 {
+      x if (ret) { x; }
+      _ {}
+    }
+}
+
+fn main() {}