Skip to content

Commit 12c6f62

Browse files
committed
---
yaml --- r: 180183 b: refs/heads/tmp c: aa0db17 h: refs/heads/master i: 180181: ab57098 180179: 9751bcd 180175: 6ee7dc1 v: v3
1 parent 2abad4d commit 12c6f62

File tree

163 files changed

+2647
-637
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

163 files changed

+2647
-637
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,4 +34,4 @@ refs/heads/building: 126db549b038c84269a1e4fe46f051b2c15d6970
3434
refs/heads/beta: 44a287e6eb22ec3c2a687fc156813577464017f7
3535
refs/heads/windistfix: 7608dbad651f02e837ed05eef3d74a6662a6e928
3636
refs/tags/1.0.0-alpha: e42bd6d93a1d3433c486200587f8f9e12590a4d7
37-
refs/heads/tmp: f9a1087f2730ab021d5356a5df703baeccffc020
37+
refs/heads/tmp: aa0db172de42a981a64730df146ccf3d737c5762

branches/tmp/mk/docs.mk

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -87,7 +87,7 @@ endif
8787

8888
# Check for xelatex
8989

90-
ifeq ($(CFG_XELATEX),)
90+
ifneq ($(CFG_XELATEX),)
9191
CFG_LATEX := $(CFG_XELATEX)
9292
XELATEX = 1
9393
else

branches/tmp/src/compiletest/compiletest.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@
1414
#![feature(collections)]
1515
#![feature(int_uint)]
1616
#![feature(io)]
17-
#![feature(os)]
1817
#![feature(path)]
1918
#![feature(rustc_private)]
2019
#![feature(slicing_syntax, unboxed_closures)]
@@ -48,8 +47,7 @@ pub mod common;
4847
pub mod errors;
4948

5049
pub fn main() {
51-
let args = env::args().map(|s| s.into_string().unwrap()).collect();;
52-
let config = parse_config(args);
50+
let config = parse_config(env::args().collect());
5351

5452
if config.valgrind_path.is_none() && config.force_valgrind {
5553
panic!("Can't find Valgrind to run Valgrind tests");

branches/tmp/src/compiletest/util.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ pub fn make_new_path(path: &str) -> String {
4040

4141
// Windows just uses PATH as the library search path, so we have to
4242
// maintain the current value while adding our own
43-
match env::var_string(lib_path_env_var()) {
43+
match env::var(lib_path_env_var()) {
4444
Ok(curr) => {
4545
format!("{}{}{}", path, path_div(), curr)
4646
}

branches/tmp/src/doc/reference.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3196,6 +3196,7 @@ stands for a *single* data field, whereas a wildcard `..` stands for *all* the
31963196
fields of a particular variant. For example:
31973197

31983198
```
3199+
#![feature(box_patterns)]
31993200
#![feature(box_syntax)]
32003201
enum List<X> { Nil, Cons(X, Box<List<X>>) }
32013202
@@ -3259,6 +3260,7 @@ the inside of the match.
32593260
An example of a `match` expression:
32603261

32613262
```
3263+
#![feature(box_patterns)]
32623264
#![feature(box_syntax)]
32633265
# fn process_pair(a: i32, b: i32) { }
32643266
# fn process_ten() { }
@@ -3294,6 +3296,7 @@ Subpatterns can also be bound to variables by the use of the syntax `variable @
32943296
subpattern`. For example:
32953297

32963298
```
3299+
#![feature(box_patterns)]
32973300
#![feature(box_syntax)]
32983301
32993302
enum List { Nil, Cons(uint, Box<List>) }

branches/tmp/src/libarena/lib.rs

Lines changed: 50 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,7 @@ use std::cell::{Cell, RefCell};
4242
use std::cmp;
4343
use std::intrinsics::{TyDesc, get_tydesc};
4444
use std::intrinsics;
45+
use std::marker;
4546
use std::mem;
4647
use std::num::{Int, UnsignedInt};
4748
use std::ptr;
@@ -88,27 +89,29 @@ impl Chunk {
8889
/// than objects without destructors. This reduces overhead when initializing
8990
/// plain-old-data (`Copy` types) and means we don't need to waste time running
9091
/// their destructors.
91-
pub struct Arena {
92+
pub struct Arena<'longer_than_self> {
9293
// The head is separated out from the list as a unbenchmarked
9394
// microoptimization, to avoid needing to case on the list to access the
9495
// head.
9596
head: RefCell<Chunk>,
9697
copy_head: RefCell<Chunk>,
9798
chunks: RefCell<Vec<Chunk>>,
99+
_invariant: marker::InvariantLifetime<'longer_than_self>,
98100
}
99101

100-
impl Arena {
102+
impl<'a> Arena<'a> {
101103
/// Allocates a new Arena with 32 bytes preallocated.
102-
pub fn new() -> Arena {
104+
pub fn new() -> Arena<'a> {
103105
Arena::new_with_size(32)
104106
}
105107

106108
/// Allocates a new Arena with `initial_size` bytes preallocated.
107-
pub fn new_with_size(initial_size: usize) -> Arena {
109+
pub fn new_with_size(initial_size: usize) -> Arena<'a> {
108110
Arena {
109111
head: RefCell::new(chunk(initial_size, false)),
110112
copy_head: RefCell::new(chunk(initial_size, true)),
111113
chunks: RefCell::new(Vec::new()),
114+
_invariant: marker::InvariantLifetime,
112115
}
113116
}
114117
}
@@ -122,7 +125,7 @@ fn chunk(size: usize, is_copy: bool) -> Chunk {
122125
}
123126

124127
#[unsafe_destructor]
125-
impl Drop for Arena {
128+
impl<'longer_than_self> Drop for Arena<'longer_than_self> {
126129
fn drop(&mut self) {
127130
unsafe {
128131
destroy_chunk(&*self.head.borrow());
@@ -180,7 +183,7 @@ fn un_bitpack_tydesc_ptr(p: usize) -> (*const TyDesc, bool) {
180183
((p & !1) as *const TyDesc, p & 1 == 1)
181184
}
182185

183-
impl Arena {
186+
impl<'longer_than_self> Arena<'longer_than_self> {
184187
fn chunk_size(&self) -> usize {
185188
self.copy_head.borrow().capacity()
186189
}
@@ -293,7 +296,7 @@ impl Arena {
293296
/// Allocates a new item in the arena, using `op` to initialize the value,
294297
/// and returns a reference to it.
295298
#[inline]
296-
pub fn alloc<T, F>(&self, op: F) -> &mut T where F: FnOnce() -> T {
299+
pub fn alloc<T:'longer_than_self, F>(&self, op: F) -> &mut T where F: FnOnce() -> T {
297300
unsafe {
298301
if intrinsics::needs_drop::<T>() {
299302
self.alloc_noncopy(op)
@@ -317,20 +320,6 @@ fn test_arena_destructors() {
317320
}
318321
}
319322

320-
#[test]
321-
fn test_arena_alloc_nested() {
322-
struct Inner { value: usize }
323-
struct Outer<'a> { inner: &'a Inner }
324-
325-
let arena = Arena::new();
326-
327-
let result = arena.alloc(|| Outer {
328-
inner: arena.alloc(|| Inner { value: 10 })
329-
});
330-
331-
assert_eq!(result.inner.value, 10);
332-
}
333-
334323
#[test]
335324
#[should_fail]
336325
fn test_arena_destructors_fail() {
@@ -365,6 +354,10 @@ pub struct TypedArena<T> {
365354

366355
/// A pointer to the first arena segment.
367356
first: RefCell<*mut TypedArenaChunk<T>>,
357+
358+
/// Marker indicating that dropping the arena causes its owned
359+
/// instances of `T` to be dropped.
360+
_own: marker::PhantomData<T>,
368361
}
369362

370363
struct TypedArenaChunk<T> {
@@ -460,6 +453,7 @@ impl<T> TypedArena<T> {
460453
ptr: Cell::new((*chunk).start() as *const T),
461454
end: Cell::new((*chunk).end() as *const T),
462455
first: RefCell::new(chunk),
456+
_own: marker::PhantomData,
463457
}
464458
}
465459
}
@@ -523,6 +517,41 @@ mod tests {
523517
z: i32,
524518
}
525519

520+
#[test]
521+
fn test_arena_alloc_nested() {
522+
struct Inner { value: u8 }
523+
struct Outer<'a> { inner: &'a Inner }
524+
enum EI<'e> { I(Inner), O(Outer<'e>) }
525+
526+
struct Wrap<'a>(TypedArena<EI<'a>>);
527+
528+
impl<'a> Wrap<'a> {
529+
fn alloc_inner<F:Fn() -> Inner>(&self, f: F) -> &Inner {
530+
let r: &EI = self.0.alloc(EI::I(f()));
531+
if let &EI::I(ref i) = r {
532+
i
533+
} else {
534+
panic!("mismatch");
535+
}
536+
}
537+
fn alloc_outer<F:Fn() -> Outer<'a>>(&self, f: F) -> &Outer {
538+
let r: &EI = self.0.alloc(EI::O(f()));
539+
if let &EI::O(ref o) = r {
540+
o
541+
} else {
542+
panic!("mismatch");
543+
}
544+
}
545+
}
546+
547+
let arena = Wrap(TypedArena::new());
548+
549+
let result = arena.alloc_outer(|| Outer {
550+
inner: arena.alloc_inner(|| Inner { value: 10 }) });
551+
552+
assert_eq!(result.inner.value, 10);
553+
}
554+
526555
#[test]
527556
pub fn test_copy() {
528557
let arena = TypedArena::new();

0 commit comments

Comments
 (0)