diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-07-21 14:34:12 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-07-22 14:28:48 +0200 |
| commit | a27f3e3fd1e4d16160f8885b6b06665b5319f56c (patch) | |
| tree | b033935392cbadf6f85d2dbddf433a88e323aeeb /tests/codegen/addr-of-mutate.rs | |
| parent | ed93c1783b404d728d4809973a0550eb33cd293f (diff) | |
| download | rust-a27f3e3fd1e4d16160f8885b6b06665b5319f56c.tar.gz rust-a27f3e3fd1e4d16160f8885b6b06665b5319f56c.zip | |
Rename `tests/codegen` into `tests/codegen-llvm`
Diffstat (limited to 'tests/codegen/addr-of-mutate.rs')
| -rw-r--r-- | tests/codegen/addr-of-mutate.rs | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/tests/codegen/addr-of-mutate.rs b/tests/codegen/addr-of-mutate.rs deleted file mode 100644 index 14bc4b8ab28..00000000000 --- a/tests/codegen/addr-of-mutate.rs +++ /dev/null @@ -1,33 +0,0 @@ -//@ compile-flags: -C opt-level=3 -C no-prepopulate-passes - -#![crate_type = "lib"] - -// Test for the absence of `readonly` on the argument when it is mutated via `&raw const`. -// See <https://github.com/rust-lang/rust/issues/111502>. - -// CHECK: i8 @foo(ptr noalias{{( nocapture)?}} noundef align 1{{( captures\(none\))?}} dereferenceable(128) %x) -#[no_mangle] -pub fn foo(x: [u8; 128]) -> u8 { - let ptr = core::ptr::addr_of!(x).cast_mut(); - unsafe { - (*ptr)[0] = 1; - } - x[0] -} - -// CHECK: i1 @second(ptr noalias{{( nocapture)?}} noundef align {{[0-9]+}}{{( captures\(none\))?}} dereferenceable({{[0-9]+}}) %a_ptr_and_b) -#[no_mangle] -pub unsafe fn second(a_ptr_and_b: (*mut (i32, bool), (i64, bool))) -> bool { - let b_bool_ptr = core::ptr::addr_of!(a_ptr_and_b.1.1).cast_mut(); - (*b_bool_ptr) = true; - a_ptr_and_b.1.1 -} - -// If going through a deref (and there are no other mutating accesses), then `readonly` is fine. -// CHECK: i1 @third(ptr noalias{{( nocapture)?}} noundef readonly align {{[0-9]+}}{{( captures\(none\))?}} dereferenceable({{[0-9]+}}) %a_ptr_and_b) -#[no_mangle] -pub unsafe fn third(a_ptr_and_b: (*mut (i32, bool), (i64, bool))) -> bool { - let b_bool_ptr = core::ptr::addr_of!((*a_ptr_and_b.0).1).cast_mut(); - (*b_bool_ptr) = true; - a_ptr_and_b.1.1 -} |
