src/tools/miri/tests/fail/unsupported_foreign_function.rs


1
2
3
4
5
6
7
8
9
10
11

//@normalize-stderr-test: "OS `.*`" -> "$$OS"

fn main() {
    extern "Rust" {
        fn foo();
    }

    unsafe {
        foo(); //~ ERROR: unsupported operation: can't call foreign function `foo`
    }
}