diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-07-26 14:47:05 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-07-26 14:47:30 -0700 |
| commit | c8ea9fc4c343470bf381f9258dbeac9fac1ca830 (patch) | |
| tree | cf7005f28bd6c9ac2a3db88124c2a38a8f85de1d /src | |
| parent | 1dd8acd56acc189db2c0bb3266536d35646380b4 (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.rs | 31 |
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() {} |
