rust/tests/ui/abi/statics/static-mut-foreign.rs
2023-01-11 09:32:08 +00:00

42 lines
1.0 KiB
Rust

// run-pass
// Constants (static variables) can be used to match in patterns, but mutable
// statics cannot. This ensures that there's some form of error if this is
// attempted.
// ignore-wasm32-bare no libc to test ffi with
#![feature(rustc_private)]
extern crate libc;
#[link(name = "rust_test_helpers", kind = "static")]
extern "C" {
static mut rust_dbg_static_mut: libc::c_int;
pub fn rust_dbg_static_mut_check_four();
}
unsafe fn static_bound(_: &'static libc::c_int) {}
fn static_bound_set(a: &'static mut libc::c_int) {
*a = 3;
}
unsafe fn run() {
assert_eq!(rust_dbg_static_mut, 3);
rust_dbg_static_mut = 4;
assert_eq!(rust_dbg_static_mut, 4);
rust_dbg_static_mut_check_four();
rust_dbg_static_mut += 1;
assert_eq!(rust_dbg_static_mut, 5);
rust_dbg_static_mut *= 3;
assert_eq!(rust_dbg_static_mut, 15);
rust_dbg_static_mut = -3;
assert_eq!(rust_dbg_static_mut, -3);
static_bound(&rust_dbg_static_mut);
static_bound_set(&mut rust_dbg_static_mut);
}
pub fn main() {
unsafe { run() }
}