mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-26 13:01:27 +03:00
Dominik Schwaiger
31 lines
1.1 KiB
Rust
31 lines
1.1 KiB
Rust
//! The tests here test that the `-Zllvm-writable` flag and
|
|
//! the `#[rustc_no_writable]` attribute have the desired effect.
|
|
//@ compile-flags: -Copt-level=3 -C no-prepopulate-passes -Zllvm-writable
|
|
#![crate_type = "lib"]
|
|
#![feature(rustc_attrs, unsafe_pinned)]
|
|
|
|
// CHECK: @mutable_borrow(ptr noalias noundef writable align 4 dereferenceable(4) %_1)
|
|
#[no_mangle]
|
|
pub fn mutable_borrow(_: &mut i32) {}
|
|
|
|
// CHECK: @mutable_unsafe_borrow(ptr noalias noundef writable align 2 dereferenceable(2) %_1)
|
|
#[no_mangle]
|
|
pub fn mutable_unsafe_borrow(_: &mut std::cell::UnsafeCell<i16>) {}
|
|
|
|
// CHECK: @option_borrow_mut(ptr noalias noundef writable align 4 dereferenceable_or_null(4) %_1)
|
|
#[no_mangle]
|
|
pub fn option_borrow_mut(_: Option<&mut i32>) {}
|
|
|
|
// CHECK: @box_moved(ptr noalias noundef nonnull align 4 %0)
|
|
#[no_mangle]
|
|
pub fn box_moved(_: Box<i32>) {}
|
|
|
|
// CHECK: @unsafe_pinned_borrow_mut(ptr noundef nonnull align 4 %_1)
|
|
#[no_mangle]
|
|
pub fn unsafe_pinned_borrow_mut(_: &mut std::pin::UnsafePinned<i32>) {}
|
|
|
|
// CHECK: @mutable_borrow_no_writable(ptr noalias noundef align 4 dereferenceable(4) %_1)
|
|
#[no_mangle]
|
|
#[rustc_no_writable]
|
|
pub fn mutable_borrow_no_writable(_: &mut i32) {}
|