tests/run-pass/bools.rs

   1 #![crate_type = "lib"]
   2 #![feature(custom_attribute)]
   3 #![allow(dead_code, unused_attributes)]
   4
   5 #[miri_run]
   6 fn boolean() -> bool {
   7     true
   8 }
   9
  10 #[miri_run]
  11 fn if_false() -> i64 {
  12     let c = false;
  13     if c { 1 } else { 0 }
  14 }
  15
  16 #[miri_run]
  17 fn if_true() -> i64 {
  18     let c = true;
  19     if c { 1 } else { 0 }
  20 }
  21
  22 #[miri_run]
  23 fn match_bool() -> i16 {
  24     let b = true;
  25     match b {
  26         true => 1,
  27         _ => 0,
  28     }
  29 }