summaryrefslogtreecommitdiffstats
path: root/src/test/mir-opt/simplify-locals-removes-unused-discriminant-reads.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/mir-opt/simplify-locals-removes-unused-discriminant-reads.rs')
-rw-r--r--src/test/mir-opt/simplify-locals-removes-unused-discriminant-reads.rs15
1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/mir-opt/simplify-locals-removes-unused-discriminant-reads.rs b/src/test/mir-opt/simplify-locals-removes-unused-discriminant-reads.rs
new file mode 100644
index 000000000..84f57decc
--- /dev/null
+++ b/src/test/mir-opt/simplify-locals-removes-unused-discriminant-reads.rs
@@ -0,0 +1,15 @@
+// compile-flags: -Zunsound-mir-opts
+
+fn map(x: Option<Box<()>>) -> Option<Box<()>> {
+ match x {
+ None => None,
+ Some(x) => Some(x),
+ }
+}
+
+fn main() {
+ map(None);
+}
+
+// EMIT_MIR_FOR_EACH_BIT_WIDTH
+// EMIT_MIR simplify_locals_removes_unused_discriminant_reads.map.SimplifyLocals.diff