summaryrefslogtreecommitdiffstats
path: root/src/test/mir-opt/unreachable_diverging.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/mir-opt/unreachable_diverging.rs')
-rw-r--r--src/test/mir-opt/unreachable_diverging.rs20
1 files changed, 0 insertions, 20 deletions
diff --git a/src/test/mir-opt/unreachable_diverging.rs b/src/test/mir-opt/unreachable_diverging.rs
deleted file mode 100644
index bbf28efc7..000000000
--- a/src/test/mir-opt/unreachable_diverging.rs
+++ /dev/null
@@ -1,20 +0,0 @@
-pub enum Empty {}
-
-fn empty() -> Option<Empty> {
- None
-}
-
-fn loop_forever() {
- loop {}
-}
-
-// EMIT_MIR unreachable_diverging.main.UnreachablePropagation.diff
-fn main() {
- let x = true;
- if let Some(bomb) = empty() {
- if x {
- loop_forever()
- }
- match bomb {}
- }
-}