mirror of https://github.com/rust-lang/rust.git
25 lines
786 B
Rust
25 lines
786 B
Rust
// Verifies that type metadata identifiers for for weakly-linked symbols are
|
|
// emitted correctly.
|
|
//
|
|
//@ needs-sanitizer-cfi
|
|
//@ compile-flags: -Clinker-plugin-lto -Copt-level=0 -Zsanitizer=cfi -Ctarget-feature=-crt-static
|
|
#![crate_type = "bin"]
|
|
#![feature(linkage)]
|
|
|
|
unsafe extern "C" {
|
|
#[linkage = "extern_weak"]
|
|
static FOO: Option<unsafe extern "C" fn(f64) -> ()>;
|
|
}
|
|
// CHECK: @_rust_extern_with_linkage_FOO = internal global ptr @FOO
|
|
|
|
fn main() {
|
|
unsafe {
|
|
if let Some(method) = FOO {
|
|
method(4.2);
|
|
// CHECK: call i1 @llvm.type.test(ptr {{%method|%0}}, metadata !"_ZTSFvdE")
|
|
}
|
|
}
|
|
}
|
|
|
|
// CHECK: declare !type !{{[0-9]+}} !type !{{[0-9]+}} !type !{{[0-9]+}} !type !{{[0-9]+}} extern_weak void @FOO(double) unnamed_addr #{{[0-9]+}}
|