2020-04-20 10:38:38 +02:00
|
|
|
#![feature(llvm_asm)]
|
2019-08-28 09:15:31 +02:00
|
|
|
|
|
|
|
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));
|
2019-08-28 09:15:31 +02:00
|
|
|
}
|
|
|
|
return dummy;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
not_in_miri();
|
|
|
|
println!("cargo:rerun-if-changed=build.rs");
|
|
|
|
}
|