diff options
| author | Erik Desjardins <erikdesjardins@users.noreply.github.com> | 2023-01-04 19:24:42 -0500 |
|---|---|---|
| committer | Erik Desjardins <erikdesjardins@users.noreply.github.com> | 2023-01-04 19:24:42 -0500 |
| commit | d165a6d70844020e4958ded4f80e30d64dd0bac1 (patch) | |
| tree | eef68e49afbaceb09300d3d037bfd1b3a6734587 /src/test/codegen | |
| parent | c7572670a1302f5c7e245d069200e22da9df0316 (diff) | |
| download | rust-d165a6d70844020e4958ded4f80e30d64dd0bac1.tar.gz rust-d165a6d70844020e4958ded4f80e30d64dd0bac1.zip | |
cleanup: handle -Zmutable-noalias like -Zbox-noalias
Diffstat (limited to 'src/test/codegen')
| -rw-r--r-- | src/test/codegen/noalias-flag.rs | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/test/codegen/noalias-flag.rs b/src/test/codegen/noalias-flag.rs new file mode 100644 index 00000000000..a9ec61e286d --- /dev/null +++ b/src/test/codegen/noalias-flag.rs @@ -0,0 +1,23 @@ +// compile-flags: -O -Zmutable-noalias=no + +#![crate_type = "lib"] + +// `-Zmutable-noalias=no` should disable noalias on mut refs... + +// CHECK-LABEL: @test_mut_ref( +// CHECK-NOT: noalias +// CHECK-SAME: %x +#[no_mangle] +pub fn test_mut_ref(x: &mut i32) -> &mut i32 { + x +} + +// ...but not on shared refs + +// CHECK-LABEL: @test_ref( +// CHECK-SAME: noalias +// CHECK-SAME: %x +#[no_mangle] +pub fn test_ref(x: &i32) -> &i32 { + x +} |
