Skip to content

Commit

Permalink
rustc_trans: don't apply noalias on returned references.
Browse files Browse the repository at this point in the history
  • Loading branch information
eddyb committed Nov 25, 2017
1 parent cc6b88c commit 5eed95e
Show file tree
Hide file tree
Showing 3 changed files with 25 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/librustc_trans/abi.rs
Expand Up @@ -792,7 +792,8 @@ impl<'a, 'tcx> FnType<'tcx> {
// dependencies rather than pointer equality
let no_alias = match kind {
PointerKind::Shared => false,
PointerKind::Frozen | PointerKind::UniqueOwned => true,
PointerKind::UniqueOwned => true,
PointerKind::Frozen |
PointerKind::UniqueBorrowed => !is_return
};
if no_alias {
Expand Down
5 changes: 5 additions & 0 deletions src/test/run-make/issue-46239/Makefile
@@ -0,0 +1,5 @@
-include ../tools.mk

all:
$(RUSTC) main.rs -C opt-level=1
$(call RUN,main)
18 changes: 18 additions & 0 deletions src/test/run-make/issue-46239/main.rs
@@ -0,0 +1,18 @@
// Copyright 2017 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

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

fn dummy() {}

fn main() {
let f = (dummy as fn(),);
(*project(&f))();
}

0 comments on commit 5eed95e

Please sign in to comment.