test-cargo-miri/build.rs

   1 #![feature(asm)]
   2
   3 fn not_in_miri() -> i32 {
   4     // Inline assembly definitely does not work in Miri.
   5     let dummy = 42;
   6     unsafe {
   7         asm!("" : : "r"(&dummy));
   8     }
   9     return dummy;
  10 }
  11
  12 fn main() {
  13     not_in_miri();
  14     println!("cargo:rerun-if-changed=build.rs");
  15 }