src/test/run-pass/cleanup-rvalue-during-if-and-while.rs

   1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11
  12 // This test verifies that temporaries created for `while`'s and `if`
  13 // conditions are dropped after the condition is evaluated.
  14
  15
  16 #![allow(unknown_features)]
  17 #![feature(box_syntax)]
  18
  19 struct Temporary;
  20
  21 static mut DROPPED: isize = 0;
  22
  23 impl Drop for Temporary {
  24     fn drop(&mut self) {
  25         unsafe { DROPPED += 1; }
  26     }
  27 }
  28
  29 impl Temporary {
  30     fn do_stuff(&self) -> bool {true}
  31 }
  32
  33 fn borrow() -> Box<Temporary> { box Temporary }
  34
  35
  36 pub fn main() {
  37     let mut i = 0;
  38
  39     // This loop's condition
  40     // should call `Temporary`'s
  41     // `drop` 6 times.
  42     while borrow().do_stuff() {
  43         i += 1;
  44         unsafe { assert_eq!(DROPPED, i) }
  45         if i > 5 {
  46             break;
  47         }
  48     }
  49
  50     // This if condition should
  51     // call it 1 time
  52     if borrow().do_stuff() {
  53         unsafe { assert_eq!(DROPPED, i + 1) }
  54     }
  55 }