Skip to content

Commit 6cf0f67

Browse files
committed
---
yaml --- r: 216537 b: refs/heads/stable c: 796be61 h: refs/heads/master i: 216535: 3d8b401 v: v3
1 parent 77c6b2f commit 6cf0f67

File tree

12 files changed

+274
-96
lines changed

12 files changed

+274
-96
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,5 +29,5 @@ refs/heads/tmp: 378a370ff2057afeb1eae86eb6e78c476866a4a6
2929
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
3030
refs/tags/homu-tmp: a5286998df566e736b32f6795bfc3803bdaf453d
3131
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
32-
refs/heads/stable: f4176b52d3817b93570a73e2768736276d76ebf5
32+
refs/heads/stable: 796be61e9099a440c90f35636ec6a41f89f3639f
3333
refs/tags/1.0.0: 55bd4f8ff2b323f317ae89e254ce87162d52a375

branches/stable/src/compiletest/compiletest.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -269,7 +269,7 @@ pub fn test_opts(config: &Config) -> test::TestOpts {
269269
run_ignored: config.run_ignored,
270270
logfile: config.logfile.clone(),
271271
run_tests: true,
272-
run_benchmarks: true,
272+
bench_benchmarks: true,
273273
nocapture: env::var("RUST_TEST_NOCAPTURE").is_ok(),
274274
color: test::AutoColor,
275275
}

branches/stable/src/libcollections/slice.rs

Lines changed: 2 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1004,11 +1004,7 @@ pub trait SliceConcatExt<T: ?Sized, U> {
10041004
/// # Examples
10051005
///
10061006
/// ```
1007-
/// let v = vec!["hello", "world"];
1008-
///
1009-
/// let s: String = v.concat();
1010-
///
1011-
/// println!("{}", s); // prints "helloworld"
1007+
/// assert_eq!(["hello", "world"].concat(), "helloworld");
10121008
/// ```
10131009
#[stable(feature = "rust1", since = "1.0.0")]
10141010
fn concat(&self) -> U;
@@ -1018,11 +1014,7 @@ pub trait SliceConcatExt<T: ?Sized, U> {
10181014
/// # Examples
10191015
///
10201016
/// ```
1021-
/// let v = vec!["hello", "world"];
1022-
///
1023-
/// let s: String = v.connect(" ");
1024-
///
1025-
/// println!("{}", s); // prints "hello world"
1017+
/// assert_eq!(["hello", "world"].connect(" "), "hello world");
10261018
/// ```
10271019
#[stable(feature = "rust1", since = "1.0.0")]
10281020
fn connect(&self, sep: &T) -> U;

branches/stable/src/libcore/cell.rs

Lines changed: 32 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -144,7 +144,7 @@
144144
use clone::Clone;
145145
use cmp::PartialEq;
146146
use default::Default;
147-
use marker::{Copy, Send, Sync};
147+
use marker::{Copy, Send, Sync, Sized};
148148
use ops::{Deref, DerefMut, Drop};
149149
use option::Option;
150150
use option::Option::{None, Some};
@@ -266,9 +266,9 @@ impl<T:PartialEq + Copy> PartialEq for Cell<T> {
266266
///
267267
/// See the [module-level documentation](index.html) for more.
268268
#[stable(feature = "rust1", since = "1.0.0")]
269-
pub struct RefCell<T> {
270-
value: UnsafeCell<T>,
269+
pub struct RefCell<T: ?Sized> {
271270
borrow: Cell<BorrowFlag>,
271+
value: UnsafeCell<T>,
272272
}
273273

274274
/// An enumeration of values returned from the `state` method on a `RefCell<T>`.
@@ -328,7 +328,9 @@ impl<T> RefCell<T> {
328328
debug_assert!(self.borrow.get() == UNUSED);
329329
unsafe { self.value.into_inner() }
330330
}
331+
}
331332

333+
impl<T: ?Sized> RefCell<T> {
332334
/// Query the current state of this `RefCell`
333335
///
334336
/// The returned value can be dispatched on to determine if a call to
@@ -449,7 +451,7 @@ impl<T> RefCell<T> {
449451
}
450452

451453
#[stable(feature = "rust1", since = "1.0.0")]
452-
unsafe impl<T> Send for RefCell<T> where T: Send {}
454+
unsafe impl<T: ?Sized> Send for RefCell<T> where T: Send {}
453455

454456
#[stable(feature = "rust1", since = "1.0.0")]
455457
impl<T: Clone> Clone for RefCell<T> {
@@ -469,7 +471,7 @@ impl<T:Default> Default for RefCell<T> {
469471
}
470472

471473
#[stable(feature = "rust1", since = "1.0.0")]
472-
impl<T: PartialEq> PartialEq for RefCell<T> {
474+
impl<T: ?Sized + PartialEq> PartialEq for RefCell<T> {
473475
#[inline]
474476
fn eq(&self, other: &RefCell<T>) -> bool {
475477
*self.borrow() == *other.borrow()
@@ -519,15 +521,15 @@ impl<'b> Clone for BorrowRef<'b> {
519521
///
520522
/// See the [module-level documentation](index.html) for more.
521523
#[stable(feature = "rust1", since = "1.0.0")]
522-
pub struct Ref<'b, T:'b> {
524+
pub struct Ref<'b, T: ?Sized + 'b> {
523525
// FIXME #12808: strange name to try to avoid interfering with
524526
// field accesses of the contained type via Deref
525527
_value: &'b T,
526528
_borrow: BorrowRef<'b>,
527529
}
528530

529531
#[stable(feature = "rust1", since = "1.0.0")]
530-
impl<'b, T> Deref for Ref<'b, T> {
532+
impl<'b, T: ?Sized> Deref for Ref<'b, T> {
531533
type Target = T;
532534

533535
#[inline]
@@ -582,15 +584,15 @@ impl<'b> BorrowRefMut<'b> {
582584
///
583585
/// See the [module-level documentation](index.html) for more.
584586
#[stable(feature = "rust1", since = "1.0.0")]
585-
pub struct RefMut<'b, T:'b> {
587+
pub struct RefMut<'b, T: ?Sized + 'b> {
586588
// FIXME #12808: strange name to try to avoid interfering with
587589
// field accesses of the contained type via Deref
588590
_value: &'b mut T,
589591
_borrow: BorrowRefMut<'b>,
590592
}
591593

592594
#[stable(feature = "rust1", since = "1.0.0")]
593-
impl<'b, T> Deref for RefMut<'b, T> {
595+
impl<'b, T: ?Sized> Deref for RefMut<'b, T> {
594596
type Target = T;
595597

596598
#[inline]
@@ -600,7 +602,7 @@ impl<'b, T> Deref for RefMut<'b, T> {
600602
}
601603

602604
#[stable(feature = "rust1", since = "1.0.0")]
603-
impl<'b, T> DerefMut for RefMut<'b, T> {
605+
impl<'b, T: ?Sized> DerefMut for RefMut<'b, T> {
604606
#[inline]
605607
fn deref_mut<'a>(&'a mut self) -> &'a mut T {
606608
self._value
@@ -633,7 +635,7 @@ impl<'b, T> DerefMut for RefMut<'b, T> {
633635
/// recommended to access its fields directly, `get` should be used instead.
634636
#[lang="unsafe_cell"]
635637
#[stable(feature = "rust1", since = "1.0.0")]
636-
pub struct UnsafeCell<T> {
638+
pub struct UnsafeCell<T: ?Sized> {
637639
/// Wrapped value
638640
///
639641
/// This field should not be accessed directly, it is made public for static
@@ -642,7 +644,7 @@ pub struct UnsafeCell<T> {
642644
pub value: T,
643645
}
644646

645-
impl<T> !Sync for UnsafeCell<T> {}
647+
impl<T: ?Sized> !Sync for UnsafeCell<T> {}
646648

647649
impl<T> UnsafeCell<T> {
648650
/// Constructs a new instance of `UnsafeCell` which will wrap the specified
@@ -664,7 +666,12 @@ impl<T> UnsafeCell<T> {
664666
UnsafeCell { value: value }
665667
}
666668

667-
/// Gets a mutable pointer to the wrapped value.
669+
/// Unwraps the value.
670+
///
671+
/// # Unsafety
672+
///
673+
/// This function is unsafe because there is no guarantee that this or other threads are
674+
/// currently inspecting the inner value.
668675
///
669676
/// # Examples
670677
///
@@ -673,22 +680,15 @@ impl<T> UnsafeCell<T> {
673680
///
674681
/// let uc = UnsafeCell::new(5);
675682
///
676-
/// let five = uc.get();
683+
/// let five = unsafe { uc.into_inner() };
677684
/// ```
678685
#[inline]
679686
#[stable(feature = "rust1", since = "1.0.0")]
680-
pub fn get(&self) -> *mut T {
681-
// FIXME(#23542) Replace with type ascription.
682-
#![allow(trivial_casts)]
683-
&self.value as *const T as *mut T
684-
}
687+
pub unsafe fn into_inner(self) -> T { self.value }
688+
}
685689

686-
/// Unwraps the value.
687-
///
688-
/// # Unsafety
689-
///
690-
/// This function is unsafe because there is no guarantee that this or other threads are
691-
/// currently inspecting the inner value.
690+
impl<T: ?Sized> UnsafeCell<T> {
691+
/// Gets a mutable pointer to the wrapped value.
692692
///
693693
/// # Examples
694694
///
@@ -697,9 +697,14 @@ impl<T> UnsafeCell<T> {
697697
///
698698
/// let uc = UnsafeCell::new(5);
699699
///
700-
/// let five = unsafe { uc.into_inner() };
700+
/// let five = uc.get();
701701
/// ```
702702
#[inline]
703703
#[stable(feature = "rust1", since = "1.0.0")]
704-
pub unsafe fn into_inner(self) -> T { self.value }
704+
pub fn get(&self) -> *mut T {
705+
// FIXME(#23542) Replace with type ascription.
706+
#![allow(trivial_casts)]
707+
&self.value as *const T as *mut T
708+
}
709+
705710
}

branches/stable/src/libcore/fmt/mod.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1062,7 +1062,7 @@ impl<T: Copy + Debug> Debug for Cell<T> {
10621062
}
10631063

10641064
#[stable(feature = "rust1", since = "1.0.0")]
1065-
impl<T: Debug> Debug for RefCell<T> {
1065+
impl<T: ?Sized + Debug> Debug for RefCell<T> {
10661066
fn fmt(&self, f: &mut Formatter) -> Result {
10671067
match self.borrow_state() {
10681068
BorrowState::Unused | BorrowState::Reading => {
@@ -1074,14 +1074,14 @@ impl<T: Debug> Debug for RefCell<T> {
10741074
}
10751075

10761076
#[stable(feature = "rust1", since = "1.0.0")]
1077-
impl<'b, T: Debug> Debug for Ref<'b, T> {
1077+
impl<'b, T: ?Sized + Debug> Debug for Ref<'b, T> {
10781078
fn fmt(&self, f: &mut Formatter) -> Result {
10791079
Debug::fmt(&**self, f)
10801080
}
10811081
}
10821082

10831083
#[stable(feature = "rust1", since = "1.0.0")]
1084-
impl<'b, T: Debug> Debug for RefMut<'b, T> {
1084+
impl<'b, T: ?Sized + Debug> Debug for RefMut<'b, T> {
10851085
fn fmt(&self, f: &mut Formatter) -> Result {
10861086
Debug::fmt(&*(self.deref()), f)
10871087
}

branches/stable/src/libcoretest/cell.rs

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -159,3 +159,27 @@ fn refcell_default() {
159159
let cell: RefCell<u64> = Default::default();
160160
assert_eq!(0, *cell.borrow());
161161
}
162+
163+
#[test]
164+
fn unsafe_cell_unsized() {
165+
let cell: &UnsafeCell<[i32]> = &UnsafeCell::new([1, 2, 3]);
166+
{
167+
let val: &mut [i32] = unsafe { &mut *cell.get() };
168+
val[0] = 4;
169+
val[2] = 5;
170+
}
171+
let comp: &mut [i32] = &mut [4, 2, 5];
172+
assert_eq!(unsafe { &mut *cell.get() }, comp);
173+
}
174+
175+
#[test]
176+
fn refcell_unsized() {
177+
let cell: &RefCell<[i32]> = &RefCell::new([1, 2, 3]);
178+
{
179+
let b = &mut *cell.borrow_mut();
180+
b[0] = 4;
181+
b[2] = 5;
182+
}
183+
let comp: &mut [i32] = &mut [4, 2, 5];
184+
assert_eq!(&*cell.borrow(), comp);
185+
}

branches/stable/src/librustc_trans/trans/_match.rs

Lines changed: 33 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -210,6 +210,7 @@ use trans::consts;
210210
use trans::datum::*;
211211
use trans::debuginfo::{self, DebugLoc, ToDebugLoc};
212212
use trans::expr::{self, Dest};
213+
use trans::monomorphize;
213214
use trans::tvec;
214215
use trans::type_of;
215216
use middle::ty::{self, Ty};
@@ -1076,9 +1077,39 @@ fn compile_submatch_continue<'a, 'p, 'blk, 'tcx>(mut bcx: Block<'blk, 'tcx>,
10761077
let adt_vals = if any_irrefutable_adt_pat(bcx.tcx(), m, col) {
10771078
let repr = adt::represent_type(bcx.ccx(), left_ty);
10781079
let arg_count = adt::num_args(&*repr, 0);
1079-
let field_vals: Vec<ValueRef> = (0..arg_count).map(|ix|
1080-
adt::trans_field_ptr(bcx, &*repr, val, 0, ix)
1080+
let (arg_count, struct_val) = if type_is_sized(bcx.tcx(), left_ty) {
1081+
(arg_count, val)
1082+
} else {
1083+
// For an unsized ADT (i.e. DST struct), we need to treat
1084+
// the last field specially: instead of simply passing a
1085+
// ValueRef pointing to that field, as with all the others,
1086+
// we skip it and instead construct a 'fat ptr' below.
1087+
(arg_count - 1, Load(bcx, expr::get_dataptr(bcx, val)))
1088+
};
1089+
let mut field_vals: Vec<ValueRef> = (0..arg_count).map(|ix|
1090+
adt::trans_field_ptr(bcx, &*repr, struct_val, 0, ix)
10811091
).collect();
1092+
1093+
match left_ty.sty {
1094+
ty::ty_struct(def_id, substs) if !type_is_sized(bcx.tcx(), left_ty) => {
1095+
// The last field is technically unsized but
1096+
// since we can only ever match that field behind
1097+
// a reference we construct a fat ptr here.
1098+
let fields = ty::lookup_struct_fields(bcx.tcx(), def_id);
1099+
let unsized_ty = fields.iter().last().map(|field| {
1100+
let fty = ty::lookup_field_type(bcx.tcx(), def_id, field.id, substs);
1101+
monomorphize::normalize_associated_type(bcx.tcx(), &fty)
1102+
}).unwrap();
1103+
let llty = type_of::type_of(bcx.ccx(), unsized_ty);
1104+
let scratch = alloca_no_lifetime(bcx, llty, "__struct_field_fat_ptr");
1105+
let data = adt::trans_field_ptr(bcx, &*repr, struct_val, 0, arg_count);
1106+
let len = Load(bcx, expr::get_len(bcx, val));
1107+
Store(bcx, data, expr::get_dataptr(bcx, scratch));
1108+
Store(bcx, len, expr::get_len(bcx, scratch));
1109+
field_vals.push(scratch);
1110+
}
1111+
_ => {}
1112+
}
10821113
Some(field_vals)
10831114
} else if any_uniq_pat(m, col) || any_region_pat(m, col) {
10841115
Some(vec!(Load(bcx, val)))

0 commit comments

Comments
 (0)