about summary refs log tree commit diff
diff options
context:
space:
mode:
authorJohn Hodge <tpg@ucc.asn.au>2016-02-07 19:35:39 +0800
committerJohn Hodge <tpg@ucc.asn.au>2016-02-07 21:33:30 +0800
commitf08626bc9b99eef97dbb78a8ac5f7dec958c0be7 (patch)
tree7db7176d33da5bddb0f2b86a5c76f9d88dea6e4f
parent3623797ebb9674322c4cfcfb0bb7b002afe17f11 (diff)
downloadrust-f08626bc9b99eef97dbb78a8ac5f7dec958c0be7.tar.gz
rust-f08626bc9b99eef97dbb78a8ac5f7dec958c0be7.zip
Emit destructor invocation in FnOnce shim for Fn/FnMut
- Fixes #29946
-rw-r--r--src/librustc_trans/trans/closure.rs2
-rw-r--r--src/test/run-pass/issue-29948.rs32
2 files changed, 33 insertions, 1 deletions
diff --git a/src/librustc_trans/trans/closure.rs b/src/librustc_trans/trans/closure.rs
index 5bdfc099f08..c2d6422e3b0 100644
--- a/src/librustc_trans/trans/closure.rs
+++ b/src/librustc_trans/trans/closure.rs
@@ -421,7 +421,7 @@ fn trans_fn_once_adapter_shim<'a, 'tcx>(
         }
     }, ArgVals(&llargs[(self_idx + 1)..]), dest).bcx;
 
-    fcx.pop_custom_cleanup_scope(self_scope);
+    fcx.pop_and_trans_custom_cleanup_scope(bcx, self_scope);
 
     finish_fn(&fcx, bcx, sig.output, DebugLoc::None);
 
diff --git a/src/test/run-pass/issue-29948.rs b/src/test/run-pass/issue-29948.rs
new file mode 100644
index 00000000000..ec2b53313fa
--- /dev/null
+++ b/src/test/run-pass/issue-29948.rs
@@ -0,0 +1,32 @@
+// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+struct Foo<'a>(&'a mut bool);
+
+impl<'a> Drop for Foo<'a> {
+    fn drop(&mut self) {
+        *self.0 = true;
+    }
+}
+
+fn f<T: FnOnce()>(t: T) {
+    t()
+}
+
+fn main() {
+    let mut ran_drop = false;
+    {
+        let x = Foo(&mut ran_drop);
+        let x = move || { let _ = x; };
+        f(x);
+    }
+    assert!(ran_drop);
+}
+