2020-04-14 00:21:19 +02:00
|
|
|
// compile-flags: -C no-prepopulate-passes
|
|
|
|
|
#![crate_type = "lib"]
|
|
|
|
|
#![feature(ffi_pure)]
|
|
|
|
|
|
|
|
|
|
pub fn bar() { unsafe { foo() } }
|
|
|
|
|
|
2020-09-01 17:12:52 -04:00
|
|
|
extern "C" {
|
2020-04-14 00:21:19 +02:00
|
|
|
// CHECK-LABEL: declare void @foo()
|
|
|
|
|
// CHECK-SAME: [[ATTRS:#[0-9]+]]
|
|
|
|
|
// CHECK-DAG: attributes [[ATTRS]] = { {{.*}}readonly{{.*}} }
|
|
|
|
|
#[ffi_pure] pub fn foo();
|
|
|
|
|
}
|
