about summary refs log tree commit diff
path: root/tests/codegen-llvm/noalias-freeze.rs
blob: 32c840140260507473f4081973ecc0ae86b793a5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
//@ compile-flags: -Copt-level=1

// References returned by a Frozen pointer type
// could be marked as "noalias", which caused miscompilation errors.
// This test runs the most minimal possible code that can reproduce this bug,
// and checks that noalias does not appear.
// See https://github.com/rust-lang/rust/issues/46239

#![crate_type = "lib"]

fn project<T>(x: &(T,)) -> &T {
    &x.0
}

fn dummy() {}

// CHECK-LABEL: @foo(
// CHECK-NOT: noalias
#[no_mangle]
pub fn foo() {
    let f = (dummy as fn(),);
    (*project(&f))();
}