1 files changed, 30 insertions, 0 deletions
diff --git a/src/test/ui/mir/mir_codegen_calls_converging_drops_2.rs b/src/test/ui/mir/mir_codegen_calls_converging_drops_2.rs
new file mode 100644
index 000000000..e9446da9e
--- /dev/null
+++ b/src/test/ui/mir/mir_codegen_calls_converging_drops_2.rs
@@ -0,0 +1,30 @@
+// run-fail
+// error-pattern:complex called
+// error-pattern:dropped
+// error-pattern:exit
+// ignore-emscripten no processes
+
+struct Droppable;
+impl Drop for Droppable {
+    fn drop(&mut self) {
+        eprintln!("dropped");
+    }
+}
+
+// return value of this function is copied into the return slot
+fn complex() -> u64 {
+    eprintln!("complex called");
+    42
+}
+
+
+fn mir() -> u64 {
+    let x = Droppable;
+    return complex();
+    drop(x);
+}
+
+pub fn main() {
+    assert_eq!(mir(), 42);
+    panic!("exit");
+}