16 lines
287 B
Rust
Raw Normal View History

2020-04-20 10:38:38 +02:00
#![feature(llvm_asm)]
fn not_in_miri() -> i32 {
// Inline assembly definitely does not work in Miri.
let dummy = 42;
unsafe {
2020-04-20 10:38:38 +02:00
llvm_asm!("" : : "r"(&dummy));
}
return dummy;
}
fn main() {
not_in_miri();
println!("cargo:rerun-if-changed=build.rs");
}