diff options
Diffstat (limited to 'src/test/mir-opt/unreachable_diverging.rs')
-rw-r--r-- | src/test/mir-opt/unreachable_diverging.rs | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/mir-opt/unreachable_diverging.rs b/src/test/mir-opt/unreachable_diverging.rs new file mode 100644 index 000000000..bbf28efc7 --- /dev/null +++ b/src/test/mir-opt/unreachable_diverging.rs @@ -0,0 +1,20 @@ +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 {} + } +} |