about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorTim Chevalier <chevalier@alum.wellesley.edu>2012-07-26 14:47:05 -0700
committerTim Chevalier <chevalier@alum.wellesley.edu>2012-07-26 14:47:30 -0700
commitc8ea9fc4c343470bf381f9258dbeac9fac1ca830 (patch)
treecf7005f28bd6c9ac2a3db88124c2a38a8f85de1d /src
parent1dd8acd56acc189db2c0bb3266536d35646380b4 (diff)
Re-added test for Issue 935 -- not sure what happened to it
Diffstat (limited to 'src')
-rw-r--r--src/test/run-pass/unreachable-code.rs31
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() {}