Skip to content

Commit 07f91d5

Browse files
committed
---
yaml --- r: 135373 b: refs/heads/snap-stage3 c: 9ac804e h: refs/heads/master i: 135371: 58aff2a v: v3
1 parent 44f2f1a commit 07f91d5

File tree

404 files changed

+5950
-1474
lines changed

Some content is hidden

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

404 files changed

+5950
-1474
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
---
22
refs/heads/master: 74090504219e4e37c1a6d9fdd8600f44b51c7b04
33
refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
4-
refs/heads/snap-stage3: f96ee10e888bac4435973972f1799db509b3318e
4+
refs/heads/snap-stage3: 9ac804ecabe3800a16941691bb1eb90293fd2606
55
refs/heads/try: 14378ea357c06c23607ca61ade44f60a7a64a1c7
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
77
refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/.travis.yml

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,13 @@
33
# downloads a rust/cargo snapshot, which we don't really want for building rust.
44
language: c
55

6+
# Make sure we've got an up-to-date g++ compiler to get past the LLVM configure
7+
# script.
8+
install:
9+
- sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
10+
- sudo apt-get update -qq
11+
- sudo apt-get install g++-4.7
12+
613
# The test suite is in general way too stressful for travis, especially in
714
# terms of time limit and reliability. In the past we've tried to scale things
815
# back to only build the stage1 compiler and run a subset of tests, but this
@@ -11,13 +18,17 @@ language: c
1118
# As a result, we're just using travis to run `make tidy` now. It'll help
1219
# everyone find out about their trailing spaces early on!
1320
before_script:
14-
- ./configure
21+
- ./configure --llvm-root=`pwd`/local-llvm
1522
script:
1623
- make tidy
1724

1825
notifications:
1926
email: false
2027

28+
env:
29+
global:
30+
- LLVM_VERSION=3.4
31+
2132
branches:
2233
only:
2334
- master

branches/snap-stage3/mk/ctags.mk

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ CTAGS_LOCATIONS=$(patsubst ${CFG_SRC_DIR}src/llvm,, \
2828
$(patsubst ${CFG_SRC_DIR}src/rt/sundown,, \
2929
$(patsubst ${CFG_SRC_DIR}src/rt/vg,, \
3030
$(wildcard ${CFG_SRC_DIR}src/*) $(wildcard ${CFG_SRC_DIR}src/rt/*) \
31-
)))))))))
31+
)))))))))))
3232
CTAGS_OPTS=--options="${CFG_SRC_DIR}src/etc/ctags.rust" --languages=-javascript --recurse ${CTAGS_LOCATIONS}
3333
# We could use `--languages=Rust`, but there is value in producing tags for the
3434
# C++ parts of the code base too (at the time of writing, those are .h and .cpp

branches/snap-stage3/mk/rt.mk

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@
3535
# that's per-target so you're allowed to conditionally add files based on the
3636
# target.
3737
################################################################################
38-
NATIVE_LIBS := rust_builtin hoedown morestack miniz context_switch \
38+
NATIVE_LIBS := rust_builtin hoedown uv_support morestack miniz context_switch \
3939
rustrt_native rust_test_helpers
4040

4141
# $(1) is the target triple
@@ -50,6 +50,7 @@ NATIVE_DEPS_hoedown_$(1) := hoedown/src/autolink.c \
5050
hoedown/src/html_smartypants.c \
5151
hoedown/src/stack.c \
5252
hoedown/src/version.c
53+
NATIVE_DEPS_uv_support_$(1) := rust_uv.c
5354
NATIVE_DEPS_miniz_$(1) = miniz.c
5455
NATIVE_DEPS_rust_builtin_$(1) := rust_builtin.c \
5556
rust_android_dummy.c

branches/snap-stage3/src/compiletest/compiletest.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
// except according to those terms.
1010

1111
#![crate_type = "bin"]
12-
#![feature(phase)]
12+
#![feature(phase, slicing_syntax)]
1313

1414
#![deny(warnings)]
1515

branches/snap-stage3/src/compiletest/runtest.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -874,7 +874,7 @@ fn check_error_patterns(props: &TestProps,
874874
if done { return; }
875875

876876
let missing_patterns =
877-
props.error_patterns.slice(next_err_idx, props.error_patterns.len());
877+
props.error_patterns[next_err_idx..];
878878
if missing_patterns.len() == 1u {
879879
fatal_proc_rec(format!("error pattern '{}' not found!",
880880
missing_patterns[0]).as_slice(),

branches/snap-stage3/src/doc/guide-lifetimes.md

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -305,17 +305,21 @@ copying.
305305
# Circle(Point, f64), // origin, radius
306306
# Rectangle(Point, Size) // upper-left, dimensions
307307
# }
308+
# static tau: f64 = 6.28;
308309
fn compute_area(shape: &Shape) -> f64 {
309310
match *shape {
310-
Circle(_, radius) => std::f64::consts::PI * radius * radius,
311+
Circle(_, radius) => 0.5 * tau * radius * radius,
311312
Rectangle(_, ref size) => size.w * size.h
312313
}
313314
}
314315
~~~
315316

316317
The first case matches against circles. Here, the pattern extracts the
317318
radius from the shape variant and the action uses it to compute the
318-
area of the circle.
319+
area of the circle. (Like any up-to-date engineer, we use the [tau
320+
circle constant][tau] and not that dreadfully outdated notion of pi).
321+
322+
[tau]: http://www.math.utah.edu/~palais/pi.html
319323

320324
The second match is more interesting. Here we match against a
321325
rectangle and extract its size: but rather than copy the `size`

branches/snap-stage3/src/doc/guide-pointers.md

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -632,6 +632,19 @@ This part is coming soon.
632632

633633
This part is coming soon.
634634

635+
# Gc
636+
637+
The `Gc<T>` type exists for historical reasons, and is [still used
638+
internally](https://github.com/rust-lang/rust/issues/7929) by the compiler.
639+
It is not even a 'real' garbage collected type at the moment.
640+
641+
In the future, Rust may have a real garbage collected type, and so it
642+
has not yet been removed for that reason.
643+
644+
## Best practices
645+
646+
There is currently no legitimate use case for the `Gc<T>` type.
647+
635648
# Raw Pointers
636649

637650
This part is coming soon.

branches/snap-stage3/src/doc/guide-runtime.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ list):
3131
* Task synchronization
3232
* Task-local storage
3333
* Logging
34+
* Local heaps (GC heaps)
3435
* Task unwinding
3536

3637
## What is the runtime accomplishing?

branches/snap-stage3/src/doc/guide-unsafe.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -208,7 +208,9 @@ pub struct Unique<T> {
208208
// Implement methods for creating and using the values in the box.
209209
210210
// NB: For simplicity and correctness, we require that T has kind Send
211-
// (owned boxes relax this restriction).
211+
// (owned boxes relax this restriction, and can contain managed (GC) boxes).
212+
// This is because, as implemented, the garbage collector would not know
213+
// about any shared boxes stored in the malloc'd region of memory.
212214
impl<T: Send> Unique<T> {
213215
pub fn new(value: T) -> Unique<T> {
214216
unsafe {

branches/snap-stage3/src/doc/guide.md

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -195,11 +195,9 @@ The second point is the `println!()` part. This is calling a Rust **macro**,
195195
which is how metaprogramming is done in Rust. If it were a function instead, it
196196
would look like this: `println()`. For our purposes, we don't need to worry
197197
about this difference. Just know that sometimes, you'll see a `!`, and that
198-
means that you're calling a macro instead of a normal function. Rust implements
199-
`println!` as a macro rather than a function for good reasons, but that's a
200-
very advanced topic. You'll learn more when we talk about macros later. One
201-
last thing to mention: Rust's macros are significantly different than C macros,
202-
if you've used those. Don't be scared of using macros. We'll get to the details
198+
means that you're calling a macro instead of a normal function. One last thing
199+
to mention: Rust's macros are significantly different than C macros, if you've
200+
used those. Don't be scared of using macros. We'll get to the details
203201
eventually, you'll just have to trust us for now.
204202

205203
Next, `"Hello, world!"` is a **string**. Strings are a surprisingly complicated
@@ -661,12 +659,14 @@ error: mismatched types: expected `int` but found `()` (expected int but found (
661659
```
662660

663661
We expected an integer, but we got `()`. `()` is pronounced 'unit', and is a
664-
special type in Rust's type system. In Rust, `()` is _not_ a valid value for a
665-
variable of type `int`. It's only a valid value for variables of the type `()`,
666-
which aren't very useful. Remember how we said statements don't return a value?
667-
Well, that's the purpose of unit in this case. The semicolon turns any
668-
expression into a statement by throwing away its value and returning unit
669-
instead.
662+
special type in Rust's type system. `()` is different than `null` in other
663+
languages, because `()` is distinct from other types. For example, in C, `null`
664+
is a valid value for a variable of type `int`. In Rust, `()` is _not_ a valid
665+
value for a variable of type `int`. It's only a valid value for variables of
666+
the type `()`, which aren't very useful. Remember how we said statements don't
667+
return a value? Well, that's the purpose of unit in this case. The semicolon
668+
turns any expression into a statement by throwing away its value and returning
669+
unit instead.
670670

671671
There's one more time in which you won't see a semicolon at the end of a line
672672
of Rust code. For that, we'll need our next concept: functions.
@@ -1680,11 +1680,11 @@ just `int`s.
16801680

16811681
Rust provides a method on these `IoResult<T>`s called `ok()`, which does the
16821682
same thing as our `match` statement, but assuming that we have a valid value.
1683-
We then call `expect()` on the result, which will terminate our program if we
1684-
don't have a valid value. In this case, if we can't get input, our program
1685-
doesn't work, so we're okay with that. In most cases, we would want to handle
1686-
the error case explicitly. `expect()` allows us to give an error message if
1687-
this crash happens.
1683+
If we don't, it will terminate our program. In this case, if we can't get
1684+
input, our program doesn't work, so we're okay with that. In most cases, we
1685+
would want to handle the error case explicitly. The result of `ok()` has a
1686+
method, `expect()`, which allows us to give an error message if this crash
1687+
happens.
16881688

16891689
We will cover the exact details of how all of this works later in the Guide.
16901690
For now, this gives you enough of a basic understanding to work with.
@@ -2030,7 +2030,7 @@ fn main() {
20302030
match cmp(input, secret_number) {
20312031
Less => println!("Too small!"),
20322032
Greater => println!("Too big!"),
2033-
Equal => println!("You win!"),
2033+
Equal => { println!("You win!"); },
20342034
}
20352035
}
20362036
@@ -2727,8 +2727,7 @@ mod hello {
27272727
}
27282728
```
27292729

2730-
Usage of the `pub` keyword is sometimes called 'exporting', because
2731-
we're making the function available for other modules. This will work:
2730+
This will work:
27322731

27332732
```{notrust,ignore}
27342733
$ cargo run
@@ -3292,7 +3291,8 @@ use super::times_four;
32923291

32933292
Because we've made a nested module, we can import functions from the parent
32943293
module by using `super`. Sub-modules are allowed to 'see' private functions in
3295-
the parent.
3294+
the parent. We sometimes call this usage of `use` a 're-export,' because we're
3295+
exporting the name again, somewhere else.
32963296

32973297
We've now covered the basics of testing. Rust's tools are primitive, but they
32983298
work well in the simple cases. There are some Rustaceans working on building

branches/snap-stage3/src/doc/reference.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3381,7 +3381,7 @@ fn main() {
33813381
33823382
```
33833383

3384-
Patterns can also dereference pointers by using the `&`, `box` symbols,
3384+
Patterns can also dereference pointers by using the `&`, `box` or `@` symbols,
33853385
as appropriate. For example, these two matches on `x: &int` are equivalent:
33863386

33873387
```
@@ -3828,7 +3828,7 @@ type signature of `print`, and the cast expression in `main`.
38283828
Within the body of an item that has type parameter declarations, the names of
38293829
its type parameters are types:
38303830

3831-
```
3831+
```ignore
38323832
fn map<A: Clone, B: Clone>(f: |A| -> B, xs: &[A]) -> Vec<B> {
38333833
if xs.len() == 0 {
38343834
return vec![];

branches/snap-stage3/src/etc/x86.supp

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -373,6 +373,14 @@
373373
fun:_ZN4llvm4UsernwEjj
374374
}
375375

376+
{
377+
libuv-0-byte-realloc
378+
Memcheck:Leak
379+
fun:malloc
380+
...
381+
fun:*uv_loop_delete*
382+
}
383+
376384
{
377385
race-or-something-ask-pcwalton-0
378386
Memcheck:Value4
@@ -494,3 +502,15 @@
494502
fun:*
495503
...
496504
}
505+
506+
{
507+
libuv-mac-no-thread-join
508+
Memcheck:Leak
509+
fun:malloc_zone_malloc
510+
fun:_CFRuntimeCreateInstance
511+
fun:CFRunLoopSourceCreate
512+
fun:uv__platform_loop_init
513+
fun:uv__loop_init
514+
fun:uv_loop_new
515+
...
516+
}

branches/snap-stage3/src/liballoc/heap.rs

Lines changed: 9 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -182,15 +182,9 @@ mod imp {
182182

183183
#[inline]
184184
pub unsafe fn reallocate_inplace(ptr: *mut u8, size: uint, align: uint,
185-
old_size: uint) -> bool {
185+
_old_size: uint) -> bool {
186186
let flags = align_to_flags(align);
187-
let new_size = je_xallocx(ptr as *mut c_void, size as size_t, 0, flags) as uint;
188-
// checking for failure to shrink is tricky
189-
if size < old_size {
190-
usable_size(size, align) == new_size as uint
191-
} else {
192-
new_size >= size
193-
}
187+
je_xallocx(ptr as *mut c_void, size as size_t, 0, flags) == size as size_t
194188
}
195189

196190
#[inline]
@@ -256,9 +250,9 @@ mod imp {
256250
}
257251

258252
#[inline]
259-
pub unsafe fn reallocate_inplace(_ptr: *mut u8, size: uint, _align: uint,
260-
old_size: uint) -> bool {
261-
size == old_size
253+
pub unsafe fn reallocate_inplace(_ptr: *mut u8, _size: uint, _align: uint,
254+
_old_size: uint) -> bool {
255+
false
262256
}
263257

264258
#[inline]
@@ -318,9 +312,9 @@ mod imp {
318312
}
319313

320314
#[inline]
321-
pub unsafe fn reallocate_inplace(_ptr: *mut u8, size: uint, _align: uint,
322-
old_size: uint) -> bool {
323-
size == old_size
315+
pub unsafe fn reallocate_inplace(_ptr: *mut u8, _size: uint, _align: uint,
316+
_old_size: uint) -> bool {
317+
false
324318
}
325319

326320
#[inline]
@@ -341,21 +335,9 @@ mod imp {
341335
}
342336

343337
#[cfg(test)]
344-
mod test {
338+
mod bench {
345339
extern crate test;
346340
use self::test::Bencher;
347-
use heap;
348-
349-
#[test]
350-
fn basic_reallocate_inplace_noop() {
351-
unsafe {
352-
let size = 4000;
353-
let ptr = heap::allocate(size, 8);
354-
let ret = heap::reallocate_inplace(ptr, size, 8, size);
355-
heap::deallocate(ptr, size, 8);
356-
assert!(ret);
357-
}
358-
}
359341

360342
#[bench]
361343
fn alloc_owned_small(b: &mut Bencher) {

branches/snap-stage3/src/liballoc/lib.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -92,6 +92,7 @@ pub use boxed as owned;
9292

9393
pub mod heap;
9494
pub mod libc_heap;
95+
pub mod util;
9596

9697
// Primitive types using the heaps above
9798

branches/snap-stage3/src/liballoc/rc.rs

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -541,6 +541,14 @@ mod tests {
541541
assert!(y.upgrade().is_none());
542542
}
543543

544+
#[test]
545+
fn gc_inside() {
546+
// see issue #11532
547+
use std::gc::GC;
548+
let a = Rc::new(RefCell::new(box(GC) 1i));
549+
assert!(a.try_borrow_mut().is_some());
550+
}
551+
544552
#[test]
545553
fn weak_self_cyclic() {
546554
struct Cycle {

0 commit comments

Comments
 (0)