---

yaml
---
r: 67511
b: refs/heads/master
c: ea5f829
h: refs/heads/master
i:
  67509: c4e36dd
  67507: e4cfecb
  67503: 54ebd86
v: v3

Author: alexcrichton

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 5f59c46e0f5605a0cc90ebdb26b4d258a8f7b43a
+refs/heads/master: ea5f829307c3a4ba62f6d83e3c3cf0b6affc34f0
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 18e3db7392d2d0697b7e27d6d986139960144d85
 refs/heads/try: 7b78b52e602bb3ea8174f9b2006bff3315f03ef9

trunk/src/libextra/rc.rs

@@ -53,13 +53,13 @@ impl<T> Rc<T> {
 }
 
 impl<T: Send> Rc<T> {
-    pub fn from_send(value: T) -> Rc<T> {
+    pub fn from_owned(value: T) -> Rc<T> {
         unsafe { Rc::new(value) }
     }
 }
 
 impl<T: Freeze> Rc<T> {
-    pub fn from_freeze(value: T) -> Rc<T> {
+    pub fn from_const(value: T) -> Rc<T> {
         unsafe { Rc::new(value) }
     }
 }
@@ -111,7 +111,7 @@ mod test_rc {
 
     #[test]
     fn test_clone() {
-        let x = Rc::from_send(Cell::new(5));
+        let x = Rc::from_owned(Cell::new(5));
         let y = x.clone();
         do x.borrow().with_mut_ref |inner| {
             *inner = 20;
@@ -121,7 +121,7 @@ mod test_rc {
 
     #[test]
     fn test_deep_clone() {
-        let x = Rc::from_send(Cell::new(5));
+        let x = Rc::from_owned(Cell::new(5));
         let y = x.deep_clone();
         do x.borrow().with_mut_ref |inner| {
             *inner = 20;
@@ -131,21 +131,21 @@ mod test_rc {
 
     #[test]
     fn test_simple() {
-        let x = Rc::from_freeze(5);
+        let x = Rc::from_const(5);
         assert_eq!(*x.borrow(), 5);
     }
 
     #[test]
     fn test_simple_clone() {
-        let x = Rc::from_freeze(5);
+        let x = Rc::from_const(5);
         let y = x.clone();
         assert_eq!(*x.borrow(), 5);
         assert_eq!(*y.borrow(), 5);
     }
 
     #[test]
     fn test_destructor() {
-        let x = Rc::from_send(~5);
+        let x = Rc::from_owned(~5);
         assert_eq!(**x.borrow(), 5);
     }
 }
@@ -178,13 +178,13 @@ impl<T> RcMut<T> {
 }
 
 impl<T: Send> RcMut<T> {
-    pub fn from_send(value: T) -> RcMut<T> {
+    pub fn from_owned(value: T) -> RcMut<T> {
         unsafe { RcMut::new(value) }
     }
 }
 
 impl<T: Freeze> RcMut<T> {
-    pub fn from_freeze(value: T) -> RcMut<T> {
+    pub fn from_const(value: T) -> RcMut<T> {
         unsafe { RcMut::new(value) }
     }
 }
@@ -258,7 +258,7 @@ mod test_rc_mut {
 
     #[test]
     fn test_clone() {
-        let x = RcMut::from_send(5);
+        let x = RcMut::from_owned(5);
         let y = x.clone();
         do x.with_mut_borrow |value| {
             *value = 20;
@@ -270,7 +270,7 @@ mod test_rc_mut {
 
     #[test]
     fn test_deep_clone() {
-        let x = RcMut::from_freeze(5);
+        let x = RcMut::from_const(5);
         let y = x.deep_clone();
         do x.with_mut_borrow |value| {
             *value = 20;
@@ -282,7 +282,7 @@ mod test_rc_mut {
 
     #[test]
     fn borrow_many() {
-        let x = RcMut::from_send(5);
+        let x = RcMut::from_owned(5);
         let y = x.clone();
 
         do x.with_borrow |a| {
@@ -298,7 +298,7 @@ mod test_rc_mut {
 
     #[test]
     fn modify() {
-        let x = RcMut::from_freeze(5);
+        let x = RcMut::from_const(5);
         let y = x.clone();
 
         do y.with_mut_borrow |a| {
@@ -313,22 +313,22 @@ mod test_rc_mut {
 
     #[test]
     fn release_immutable() {
-        let x = RcMut::from_send(5);
+        let x = RcMut::from_owned(5);
         do x.with_borrow |_| {}
         do x.with_mut_borrow |_| {}
     }
 
     #[test]
     fn release_mutable() {
-        let x = RcMut::from_freeze(5);
+        let x = RcMut::from_const(5);
         do x.with_mut_borrow |_| {}
         do x.with_borrow |_| {}
     }
 
     #[test]
     #[should_fail]
     fn frozen() {
-        let x = RcMut::from_send(5);
+        let x = RcMut::from_owned(5);
         let y = x.clone();
 
         do x.with_borrow |_| {
@@ -340,7 +340,7 @@ mod test_rc_mut {
     #[test]
     #[should_fail]
     fn mutable_dupe() {
-        let x = RcMut::from_freeze(5);
+        let x = RcMut::from_const(5);
         let y = x.clone();
 
         do x.with_mut_borrow |_| {
@@ -352,7 +352,7 @@ mod test_rc_mut {
     #[test]
     #[should_fail]
     fn mutable_freeze() {
-        let x = RcMut::from_send(5);
+        let x = RcMut::from_owned(5);
         let y = x.clone();
 
         do x.with_mut_borrow |_| {
@@ -364,7 +364,7 @@ mod test_rc_mut {
     #[test]
     #[should_fail]
     fn restore_freeze() {
-        let x = RcMut::from_freeze(5);
+        let x = RcMut::from_const(5);
         let y = x.clone();
 
         do x.with_borrow |_| {

trunk/src/librustc/middle/trans/base.rs

@@ -2460,7 +2460,7 @@ pub fn get_item_val(ccx: @mut CrateContext, id: ast::NodeId) -> ValueRef {
                             // LLVM type is not fully determined by the Rust type.
                             let v = consts::const_expr(ccx, expr);
                             ccx.const_values.insert(id, v);
-                            exprt = m == ast::m_mutbl;
+                            exprt = (m == ast::m_mutbl || i.vis == ast::public);
 
                             unsafe {
                                 let llty = llvm::LLVMTypeOf(v);

trunk/src/librustc/middle/trans/expr.rs

@@ -115,7 +115,7 @@ return type, such as `while` loops or assignments (`a = b`).
 
 
 use back::abi;
-use lib::llvm::{ValueRef, llvm};
+use lib::llvm::{ValueRef, llvm, SetLinkage, ExternalLinkage};
 use lib;
 use metadata::csearch;
 use middle::trans::_match;
@@ -132,7 +132,6 @@ use middle::trans::consts;
 use middle::trans::controlflow;
 use middle::trans::datum::*;
 use middle::trans::debuginfo;
-use middle::trans::inline;
 use middle::trans::machine;
 use middle::trans::meth;
 use middle::trans::tvec;
@@ -148,7 +147,6 @@ use middle::trans::machine::llsize_of;
 
 use middle::trans::type_::Type;
 
-use std::cast::transmute;
 use std::hashmap::HashMap;
 use std::vec;
 use syntax::print::pprust::{expr_to_str};
@@ -936,20 +934,10 @@ fn trans_lvalue_unadjusted(bcx: @mut Block, expr: @ast::expr) -> DatumBlock {
         //! Translates a reference to a path.
 
         let _icx = push_ctxt("trans_def_lvalue");
-        let ccx = bcx.ccx();
         match def {
             ast::def_static(did, _) => {
                 let const_ty = expr_ty(bcx, ref_expr);
 
-                fn get_did(ccx: @mut CrateContext, did: ast::def_id)
-                    -> ast::def_id {
-                    if did.crate != ast::LOCAL_CRATE {
-                        inline::maybe_instantiate_inline(ccx, did)
-                    } else {
-                        did
-                    }
-                }
-
                 fn get_val(bcx: @mut Block, did: ast::def_id, const_ty: ty::t)
                            -> ValueRef {
                     // For external constants, we don't inline.
@@ -976,16 +964,19 @@ fn trans_lvalue_unadjusted(bcx: @mut Block, expr: @ast::expr) -> DatumBlock {
                             let symbol = csearch::get_symbol(
                                 bcx.ccx().sess.cstore,
                                 did);
-                            let llval = llvm::LLVMAddGlobal( bcx.ccx().llmod, llty.to_ref(),
-                                transmute::<&u8,*i8>(&symbol[0]));
+                            let llval = do symbol.as_c_str |buf| {
+                                llvm::LLVMAddGlobal(bcx.ccx().llmod,
+                                                    llty.to_ref(),
+                                                    buf)
+                            };
+                            SetLinkage(llval, ExternalLinkage);
                             let extern_const_values = &mut bcx.ccx().extern_const_values;
                             extern_const_values.insert(did, llval);
                             llval
                         }
                     }
                 }
 
-                let did = get_did(ccx, did);
                 let val = get_val(bcx, did, const_ty);
                 DatumBlock {
                     bcx: bcx,

trunk/src/test/auxiliary/xcrate_static_addresses.rs

@@ -0,0 +1,23 @@
+// Copyright 2013 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.
+
+pub static global: int = 3;
+
+pub fn verify_same(a: &'static int) {
+    let a = a as *int as uint;
+    let b = &global as *int as uint;
+    assert_eq!(a, b);
+}
+
+condition!{ pub test: int -> (); }
+
+pub fn raise() {
+    test::cond.raise(3);
+}

trunk/src/test/compile-fail/rcmut-not-const-and-not-owned.rs

@@ -14,7 +14,7 @@ fn o<T: Send>(_: &T) {}
 fn c<T: Freeze>(_: &T) {}
 
 fn main() {
-    let x = extra::rc::RcMut::from_send(0);
+    let x = extra::rc::RcMut::from_owned(0);
     o(&x); //~ ERROR instantiating a type parameter with an incompatible type `extra::rc::RcMut<int>`, which does not fulfill `Send`
     c(&x); //~ ERROR instantiating a type parameter with an incompatible type `extra::rc::RcMut<int>`, which does not fulfill `Freeze`
 }

trunk/src/test/run-pass/xcrate-static-addresses.rs

@@ -0,0 +1,27 @@
+// Copyright 2013 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.
+
+// xfail-fast
+// aux-build:xcrate_static_addresses.rs
+
+extern mod xcrate_static_addresses;
+
+use other = xcrate_static_addresses;
+
+pub fn main() {
+    other::verify_same(&other::global);
+
+    // Previously this fail'd because there were two addresses that were being
+    // used when declaring constants.
+    do other::test::cond.trap(|_| {
+    }).inside {
+        other::raise();
+    }
+}