]> git.lizzy.rs Git - rust.git/log
rust.git
7 years agoRollup merge of #42579 - maccoda:maccoda/env_docs, r=steveklabnik
Corey Farwell [Mon, 12 Jun 2017 16:39:46 +0000 (12:39 -0400)]
Rollup merge of #42579 - maccoda:maccoda/env_docs, r=steveklabnik

env docs completion.

Should be closing #29351 with the alignment of the iterators to the template.

7 years agoAuto merge of #42570 - birkenfeld:patch-3, r=frewsxcv
bors [Mon, 12 Jun 2017 13:59:39 +0000 (13:59 +0000)]
Auto merge of #42570 - birkenfeld:patch-3, r=frewsxcv

Add dedicated docstrings to Sum/Product impl of Result

(and fix a minor grammar typo below)

7 years agoAuto merge of #42537 - michaelwoerister:tcx-for-dep-node, r=nikomatsakis
bors [Mon, 12 Jun 2017 11:39:35 +0000 (11:39 +0000)]
Auto merge of #42537 - michaelwoerister:tcx-for-dep-node, r=nikomatsakis

incr.comp.: Make DepNode `Copy` and valid across compilation sessions

This PR moves `DepNode` to a representation that does not need retracing and thus simplifies comparing dep-graphs from different compilation sessions. The code also gets a lot simpler in many places, since we don't need the generic parameter on `DepNode` anymore.  See https://github.com/rust-lang/rust/issues/42294 for details.

~~NOTE: Only the last commit of this is new, the rest is already reviewed in https://github.com/rust-lang/rust/pull/42504.~~

This PR is almost done but there are some things I still want to do:
- [x] Add some module-level documentation to `dep_node.rs`, explaining especially what the `define_dep_nodes!()` macro is about.
- [x] Do another pass over the dep-graph loading logic. I suspect that we can get rid of building the `edges` map and also use arrays instead of hash maps in some places.

cc @rust-lang/compiler
r? @nikomatsakis

7 years agoAdd dedicated docstrings to Sum/Product impl of Result
Georg Brandl [Fri, 9 Jun 2017 20:34:18 +0000 (22:34 +0200)]
Add dedicated docstrings to Sum/Product impl of Result

(and fix a minor grammar typo below)

7 years agoAuto merge of #42572 - ollie27:rustdoc_create_dir_all, r=GuillaumeGomez
bors [Mon, 12 Jun 2017 08:49:51 +0000 (08:49 +0000)]
Auto merge of #42572 - ollie27:rustdoc_create_dir_all, r=GuillaumeGomez

rustdoc: Use `create_dir_all` to create output directory

Currently rustdoc will fail if passed `-o foo/doc` if the `foo`
directory doesn't exist.

Also remove unneeded `mkdir` as `create_dir_all` can now handle
concurrent invocations since #39799.

7 years agoAdd some documentation to the dep_node module.
Michael Woerister [Fri, 9 Jun 2017 15:58:49 +0000 (17:58 +0200)]
Add some documentation to the dep_node module.

7 years agoAuto merge of #42419 - ucarion:ucarion-explain-rc-arc-abbrev, r=frewsxcv
bors [Mon, 12 Jun 2017 04:08:14 +0000 (04:08 +0000)]
Auto merge of #42419 - ucarion:ucarion-explain-rc-arc-abbrev, r=frewsxcv

Explicate what "Rc" and "Arc" stand for.

A person on the weekly "Easy Questions" Reddit thread [was mystified by what `Arc`/`Rc` means](https://www.reddit.com/r/rust/comments/6dyud9/hey_rustaceans_got_an_easy_question_ask_here/did87ds/). Though this is explained in various places, it's not mentioned in the documentation directly.

This PR adds an explanation of the `Rc`/`Arc` acronyms to their respective documentations. There are two things I'm not sure of:

* Does "Rc" mean "Reference Count**er**" or "Reference Count**ed**"? ~~I went with the former.~~ *Edit:* I've changed this to use the latter alternative.
* Should this information be spelled out elsewhere, such as in the docs for the `rc` module?

7 years agoAuto merge of #42585 - GuillaumeGomez:E0609, r=Susurrus
bors [Sun, 11 Jun 2017 23:51:04 +0000 (23:51 +0000)]
Auto merge of #42585 - GuillaumeGomez:E0609, r=Susurrus

Add E0609

Part of #42229.

cc @Susurrus

7 years agoAdd E0610
Guillaume Gomez [Sun, 11 Jun 2017 17:48:46 +0000 (19:48 +0200)]
Add E0610

7 years agoAuto merge of #42155 - seanmonstar:unimplemented, r=sfackler
bors [Sun, 11 Jun 2017 18:56:27 +0000 (18:56 +0000)]
Auto merge of #42155 - seanmonstar:unimplemented, r=sfackler

core: allow messages in unimplemented!() macro

This makes `unimplemented!()` match `unreachable!()`, allowing a message and possible formatting to be provided to better explain what and/or why something is not implemented.

I've used this myself in hyper for a while, include the type and method name, to better help while prototyping new modules, like `unimplemented!("Conn::poll_complete")`, or `unimplemented!("Conn::poll; state={:?}", state)`.

7 years agoAdd E0609
Guillaume Gomez [Sat, 10 Jun 2017 19:19:40 +0000 (21:19 +0200)]
Add E0609

7 years agoAuto merge of #40454 - djzin:fast-swap, r=sfackler
bors [Sun, 11 Jun 2017 16:40:52 +0000 (16:40 +0000)]
Auto merge of #40454 - djzin:fast-swap, r=sfackler

speed up mem::swap

I would have thought that the mem::swap code didn't need an intermediate variable precisely because the pointers are guaranteed never to alias. And.. it doesn't! It seems that llvm will also auto-vectorize this case for large structs, but alas it doesn't seem to have all the aliasing info it needs and so will add redundant checks (and even not bother with autovectorizing for small types). Looks like a lot of performance could still be gained here, so this might be a good test case for future optimizer improvements.

Here are the current benchmarks for the simd version of mem::swap; the timings are in cycles (code below) measured with 10 iterations. The timings for sizes > 32 which are not a multiple of 8 tend to be ever so slightly faster in the old code, but not always. For large struct sizes (> 1024) the new code shows a marked improvement.

\* = latest commit
† = subtracted from other measurements

| arr_length | noop<sup>†</sup> | rust_stdlib | simd_u64x4\* | simd_u64x8
|------------------|------------|-------------------|-------------------|-------------------
8|80|90|90|90
16|72|177|177|177
24|32|76|76|76
32|68|188|112|188
40|32|80|60|80
48|32|84|56|84
56|32|108|72|108
64|32|108|72|76
72|80|350|220|230
80|80|350|220|230
88|80|420|270|270
96|80|420|270|270
104|80|500|320|320
112|80|490|320|320
120|72|528|342|342
128|48|360|234|234
136|72|987|387|387
144|80|1070|420|420
152|64|856|376|376
160|68|804|400|400
168|80|1060|520|520
176|80|1070|520|520
184|32|464|228|228
192|32|504|228|228
200|32|440|248|248
208|72|987|573|573
216|80|1464|220|220
224|48|852|450|450
232|72|1182|666|666
240|32|428|288|288
248|32|428|308|308
256|80|860|770|770
264|80|1130|820|820
272|80|1340|820|820
280|80|1220|870|870
288|72|1227|804|804
296|72|1356|849|849

7 years agoAuto merge of #42569 - birkenfeld:patch-2, r=frewsxcv
bors [Sun, 11 Jun 2017 14:29:56 +0000 (14:29 +0000)]
Auto merge of #42569 - birkenfeld:patch-2, r=frewsxcv

Simplify FromIterator example of Result

The previous version may be clearer for newcomers, but this is how you'd write it idiomaticly.

7 years agoAuto merge of #42580 - tommyip:import-error, r=petrochenkov
bors [Sat, 10 Jun 2017 21:35:31 +0000 (21:35 +0000)]
Auto merge of #42580 - tommyip:import-error, r=petrochenkov

Only emit one error for `use foo::self;`

Currently `use foo::self;` would emit both E0429 and E0432. This commit silence the latter one (assuming `foo` is a valid module).

Fixes #42559

7 years agoAuto merge of #42563 - eddyb:infer, r=nikomatsakis
bors [Sat, 10 Jun 2017 19:21:24 +0000 (19:21 +0000)]
Auto merge of #42563 - eddyb:infer, r=nikomatsakis

Disentangle InferCtxt, MemCategorizationContext and ExprUseVisitor.

At some point in the past, `InferCtxt` started being used to replace an old "`Typer`" abstraction, which provided access to `TypeckTables` and had optionally type inference to account for.
That didn't play so nicely with the `'gcx`/`'tcx` split and I had to introduce `borrowck_fake_infer_ctxt`.
The situation wasn't great but it wasn't too painful inside `rustc` itself.

Recently I've found that method being used in clippy, which does need EUV (before we make it plausible to run lints on HAIR or MIR), and set out to separate inference from tables, for the sake of lint authors.
Also fixes #42435 to make it trivial to compute type layout or use EUV from lints.

The remaining uses of `TypeckTables` in `InferCtxt` are for closure kinds and signatures, used in trait selection and projection normalization. The solution there is likely to add them as bounds to `ParamEnv`.

r? @nikomatsakis
cc @mcarton @llogiq @Manishearth

7 years agorustc: make the comon case of tcx.infer_ctxt(()) nicer.
Eduard-Mihai Burtescu [Fri, 9 Jun 2017 07:55:16 +0000 (10:55 +0300)]
rustc: make the comon case of tcx.infer_ctxt(()) nicer.

7 years agorustc: make InferCtxt optional in MemCategorizationContext.
Eduard-Mihai Burtescu [Thu, 8 Jun 2017 20:57:16 +0000 (23:57 +0300)]
rustc: make InferCtxt optional in MemCategorizationContext.

7 years agoOnly emit one error for `use foo::self;`
Tommy Ip [Sat, 10 Jun 2017 09:55:19 +0000 (10:55 +0100)]
Only emit one error for `use foo::self;`

Currently `use foo::self;` would emit both E0429 and E0432. This
commit silence the latter one (assuming `foo` is a valid module).

Fixes #42559

7 years agorustc: do not depend on infcx.tables in MemCategorizationContext.
Eduard-Mihai Burtescu [Thu, 8 Jun 2017 20:57:01 +0000 (23:57 +0300)]
rustc: do not depend on infcx.tables in MemCategorizationContext.

7 years agoAuto merge of #42556 - scottmcm:ctz-nz, r=BurntSushi
bors [Sat, 10 Jun 2017 09:11:36 +0000 (09:11 +0000)]
Auto merge of #42556 - scottmcm:ctz-nz, r=BurntSushi

Get LLVM to stop generating dead assembly in next_power_of_two

It turns out that LLVM can turn `@llvm.ctlz.i64(_, true)` into `@llvm.ctlz.i64(_, false)` ([`ctlz`](http://llvm.org/docs/LangRef.html#llvm-ctlz-intrinsic)) where valuable, but never does the opposite.  That leads to some silly assembly getting generated in certain cases.

A contrived-but-clear example https://is.gd/VAIKuC:
```rust
fn foo(x:u64) -> u32 {
    if x == 0 { return !0; }
    x.leading_zeros()
}
```
Generates
```asm
testq %rdi, %rdi
je .LBB0_1
je .LBB0_3    ; <-- wha?
bsrq %rdi, %rax
xorq $63, %rax
retq
.LBB0_1:
movl $-1, %eax
retq
.LBB0_3:
movl $64, %eax  ; <-- dead
retq
```

I noticed this in `next_power_of_two`, which without this PR generates the following:
```asm
cmpq $2, %rcx
jae .LBB1_2
movl $1, %eax
retq
.LBB1_2:
decq %rcx
je .LBB1_3
bsrq %rcx, %rcx
xorq $63, %rcx
jmp .LBB1_5
.LBB1_3:
movl $64, %ecx  ; <-- dead
.LBB1_5:
movq $-1, %rax
shrq %cl, %rax
incq %rax
retq
```

And with this PR becomes
```asm
cmpq $2, %rcx
jae .LBB0_2
movl $1, %eax
retq
.LBB0_2:
decq %rcx
bsrq %rcx, %rcx
xorl $63, %ecx
movq $-1, %rax
shrq %cl, %rax
incq %rax
retq
```

7 years agoAuto merge of #42533 - Mark-Simulacrum:macro-parse-speed-small, r=jseyfried
bors [Sat, 10 Jun 2017 06:50:12 +0000 (06:50 +0000)]
Auto merge of #42533 - Mark-Simulacrum:macro-parse-speed-small, r=jseyfried

Speed up expansion

This reduces duplication, thereby increasing expansion speed. Based on tests with rust-uinput, this produces a 29x performance win (440 seconds to 15 seconds). I want to land this first, since it's a minimal patch, but with more changes to the macro parsing I can get down to 12 seconds locally.

There is one FIXME added to the code that I'll keep for now since changing it will spread outward and increase the patch size, I think.

Fixes #37074.

r? @jseyfried
cc @oberien

7 years agoenv docs completion.
Dylan Maccora [Sat, 10 Jun 2017 06:19:28 +0000 (16:19 +1000)]
env docs completion.

7 years agoAuto merge of #42573 - frewsxcv:rollup, r=frewsxcv
bors [Fri, 9 Jun 2017 23:19:49 +0000 (23:19 +0000)]
Auto merge of #42573 - frewsxcv:rollup, r=frewsxcv

Rollup of 5 pull requests

- Successful merges: #42307, #42385, #42531, #42551, #42558
- Failed merges:

7 years agoRollup merge of #42558 - xfq:patch-1, r=steveklabnik
Corey Farwell [Fri, 9 Jun 2017 22:29:29 +0000 (18:29 -0400)]
Rollup merge of #42558 - xfq:patch-1, r=steveklabnik

Update TRPL link in README.md

7 years agoRollup merge of #42551 - tshepang:better-cell-replace-docs, r=steveklabnik
Corey Farwell [Fri, 9 Jun 2017 22:29:28 +0000 (18:29 -0400)]
Rollup merge of #42551 - tshepang:better-cell-replace-docs, r=steveklabnik

doc: a more complete explanation, and a better example

7 years agoRollup merge of #42531 - mmatyas:aarch64_compile-test_fix, r=nagisa
Corey Farwell [Fri, 9 Jun 2017 22:29:27 +0000 (18:29 -0400)]
Rollup merge of #42531 - mmatyas:aarch64_compile-test_fix, r=nagisa

Ignore variadic FFI test on AArch64

I've cross compiled Rust to `aarch64-linux-gnu`, and tried to run the compile-fail tests, but `variadic-ffi.rs` fails with the following error:

```
The ABI `"stdcall"` is not supported for the current target [E0570]
```

The test seems to be ignored on (32-bit) ARM, so I turned it off for AArch64 too.

7 years agoRollup merge of #42385 - Manishearth:its-a-vec, r=steveklabnik
Corey Farwell [Fri, 9 Jun 2017 22:29:26 +0000 (18:29 -0400)]
Rollup merge of #42385 - Manishearth:its-a-vec, r=steveklabnik

Vec<T> is pronounced 'vec'

I've never heard it pronounced "vector". Is this an outdated recommendation?

(or have I been doing it wrong all this time)

r? @steveklabnik

7 years agoRollup merge of #42307 - clarcharr:js-license, r=frewsxcv
Corey Farwell [Fri, 9 Jun 2017 22:29:25 +0000 (18:29 -0400)]
Rollup merge of #42307 - clarcharr:js-license, r=frewsxcv

Make rustdoc.js use license comments.

This will ensure that JS minifiers and the like will preserve the license statement even after minimisation.

7 years agorustdoc: Use `create_dir_all` to create output directory
Oliver Middleton [Fri, 9 Jun 2017 22:03:08 +0000 (23:03 +0100)]
rustdoc: Use `create_dir_all` to create output directory

Currently rustdoc will fail if passed `-o foo/doc` if the `foo`
directory doesn't exist.

Also remove unneeded `mkdir` as `create_dir_all` can now handle
concurrent invocations.

7 years agoSimplify FromIterator example of Result
Georg Brandl [Fri, 9 Jun 2017 20:20:32 +0000 (22:20 +0200)]
Simplify FromIterator example of Result

7 years agoAuto merge of #42278 - gentoo90:gdb-pretty-printers, r=michaelwoerister
bors [Fri, 9 Jun 2017 18:17:15 +0000 (18:17 +0000)]
Auto merge of #42278 - gentoo90:gdb-pretty-printers, r=michaelwoerister

Fix GDB pretty-printer for tuples and pointers

Names of children should not be the same, because GDB uses them to distinguish the children.

|Before|After|
|---|---|
|![tuples_before](https://cloud.githubusercontent.com/assets/1297574/26527639/5d6cf10e-43a0-11e7-9498-abfcddb08055.png)|![tuples_after](https://cloud.githubusercontent.com/assets/1297574/26527655/9699233a-43a0-11e7-83c6-f58f713b51a0.png)|

`main.rs`
```rust
enum Test {
    Zero,
    One(i32),
    Two(i32, String),
    Three(i32, String, Vec<String>),
}

fn main() {
    let tuple = (1, 2, "Asdfgh");
    let zero = Test::Zero;
    let one = Test::One(10);
    let two = Test::Two(42, "Qwerty".to_owned());
    let three = Test::Three(9000,
                            "Zxcvbn".to_owned(),
                            vec!["lorem".to_owned(), "ipsum".to_owned(), "dolor".to_owned()]);
    println!(""); // breakpoint here
}
```

`launch.json`
```json
{
    "version": "0.2.0",
    "configurations": [
        {
            "type": "gdb",
            "request": "launch",
            "gdbpath": "rust-gdb",
            "name": "Launch Program",
            "valuesFormatting": "prettyPrinters", //this requires plugin Native Debug >= 0.20.0
            "target": "./target/debug/test_pretty_printers",
            "cwd": "${workspaceRoot}"
        }
    ]
}
```

7 years agoAdd compat_str() which works with unicode in both Python 2 and 3
gentoo90 [Fri, 9 Jun 2017 16:09:02 +0000 (19:09 +0300)]
Add compat_str() which works with unicode in both Python 2 and 3

GDB can be built with Python 2 or with Python 3

7 years agoPretty-printers tests: gdbr -> gdb
gentoo90 [Fri, 9 Jun 2017 15:51:28 +0000 (18:51 +0300)]
Pretty-printers tests: gdbr -> gdb

7 years agoincr.comp.: Clean up and optimize dep-graph loading.
Michael Woerister [Fri, 9 Jun 2017 13:01:44 +0000 (15:01 +0200)]
incr.comp.: Clean up and optimize dep-graph loading.

7 years agoincr.comp.: Uniformly represent DepNodes as (Kind, StableHash) pairs.
Michael Woerister [Fri, 2 Jun 2017 15:36:30 +0000 (17:36 +0200)]
incr.comp.: Uniformly represent DepNodes as (Kind, StableHash) pairs.

7 years agoAuto merge of #42507 - ibabushkin:external-span-trans, r=eddyb
bors [Fri, 9 Jun 2017 12:49:49 +0000 (12:49 +0000)]
Auto merge of #42507 - ibabushkin:external-span-trans, r=eddyb

Fix translation of external spans

Previously, I noticed that spans from external crates don't generate any output. This limitation is problematic if analysis is performed on one or more external crates, as is the case with [rust-semverver](https://github.com/ibabushkin/rust-semverver). This change should address this behaviour, with the potential drawback that a minor performance hit is to be expected, as spans from potentially large crates have to be translated now.

7 years agoAuto merge of #42521 - alexcrichton:enosys, r=cuviper
bors [Fri, 9 Jun 2017 10:28:12 +0000 (10:28 +0000)]
Auto merge of #42521 - alexcrichton:enosys, r=cuviper

std: Handle ENOSYS when calling `pipe2`

Should help fix an accidental regression from #39386.

7 years agorustc_typeck: do not mutate tables directly during upvar inference.
Eduard-Mihai Burtescu [Thu, 8 Jun 2017 10:38:30 +0000 (13:38 +0300)]
rustc_typeck: do not mutate tables directly during upvar inference.

7 years agorustc: track the current ty::ParamEnv in lint::LateContext.
Eduard-Mihai Burtescu [Wed, 7 Jun 2017 12:21:55 +0000 (15:21 +0300)]
rustc: track the current ty::ParamEnv in lint::LateContext.

7 years agorustc: remove redundant krate field from lint::LateContext.
Eduard-Mihai Burtescu [Wed, 7 Jun 2017 12:21:29 +0000 (15:21 +0300)]
rustc: remove redundant krate field from lint::LateContext.

7 years agoAuto merge of #42504 - michaelwoerister:hash-dep-nodes-prep, r=nikomatsakis
bors [Fri, 9 Jun 2017 08:03:14 +0000 (08:03 +0000)]
Auto merge of #42504 - michaelwoerister:hash-dep-nodes-prep, r=nikomatsakis

Some preparatory refactorings for hash-based DepNodes

This PR collects some changes that turn out to be necessary for implementing `DepNodes` based on stable hashes (see #42294). The commits are self-contained and mostly straightforward.

The most interesting change here is the introduction of `DefIndices` for things that are not part of the AST: Some pieces of crate metadata now have a `DefIndex` too.

cc @eddyb
r? @nikomatsakis

7 years agohack around bug in emscripten
Djzin [Fri, 9 Jun 2017 06:07:58 +0000 (07:07 +0100)]
hack around bug in emscripten

7 years agoUse ctlz_nonzero to improve ASM from next_power_of_two
Scott McMurray [Fri, 9 Jun 2017 04:29:45 +0000 (21:29 -0700)]
Use ctlz_nonzero to improve ASM from next_power_of_two

7 years agoAdd ctlz_nonzero & cttz_nonzero intrinsics
Scott McMurray [Sun, 28 May 2017 03:56:25 +0000 (20:56 -0700)]
Add ctlz_nonzero & cttz_nonzero intrinsics

LLVM currently doesn't remove the "bypass if argument is zero" assembly inside branches where the value is known to be non-zero, pessimizing code that uses uN::leading_zeros

7 years agoUpdate TRPL link in README.md
Fuqiao Xue [Fri, 9 Jun 2017 05:37:22 +0000 (13:37 +0800)]
Update TRPL link in README.md

7 years agoAuto merge of #42027 - mjkillough:typedef_assoc_items, r=QuietMisdreavus
bors [Fri, 9 Jun 2017 04:09:39 +0000 (04:09 +0000)]
Auto merge of #42027 - mjkillough:typedef_assoc_items, r=QuietMisdreavus

Document direct implementations on type aliases.

This improves #32077, but is not a complete fix.

For a type alias `type NewType = AliasedType`, it will include any `impl NewType` and `impl
Trait for NewType` blocks in the documentation for `NewType`.

A complete fix would include the implementations from the aliased type in the type alias' documentation, so that users have a complete picture of methods that are available on the alias. However, to do this properly would require a fix for #14072, as the alias may affect the type parameters of the type alias, making the documentation difficult to understand. (That is, for `type Result = std::result::Result<(), ()>` we would ideally show documentation for `impl Result<(), ()>`, rather than generic documentation for `impl<T, E> Result<T, E>`).

I think this improvement is worthwhile, as it exposes implementations which are not currently documented by rustdoc. The documentation for the implementations on the aliased type are still accessible by clicking through to the docs for that type. (Although perhaps it's now less obvious to the user that they should click-through to get there).

7 years agoDocument direct implementations on type aliases.
Michael Killough [Tue, 16 May 2017 06:16:44 +0000 (13:16 +0700)]
Document direct implementations on type aliases.

This improves #32077, but is not a complete fix. For a type alias `type
NewType = AliasedType`, it will include any `impl NewType` and `impl
Trait for NewType` blocks in the documentation for `NewType`.

A complete fix would include the implementations from the aliased type
in the type alias' documentation, so that users have a complete
picture of methods that are available on the alias. However, to do this
properly would require a fix for #14072, as the alias may affect the
type parameters of the type alias, making the documentation difficult to
understand. (That is, for `type Result = std::result::Result<(), ()>` we
would ideally show documentation for `impl Result<(), ()>`, rather than
generic documentation for `impl<T, E> Result<T, E>`).

I think this improvement is worthwhile, as it exposes implementations
which are not currently documented by rustdoc. The documentation for the
implementations on the aliased type are still accessible by clicking
through to the docs for that type. (Although perhaps it's now less
obvious to the user that they should click-through to get there).

7 years agoAuto merge of #42491 - RalfJung:bootstrap-help, r=alexcrichton
bors [Thu, 8 Jun 2017 22:21:29 +0000 (22:21 +0000)]
Auto merge of #42491 - RalfJung:bootstrap-help, r=alexcrichton

bootstrap: improve 'build --help' by explaining what exactly the last example does

I recently found myself confused about what exactly gets built how often when I run which command; I think this would have helped me.

One thing I did not touch, but I feel could also be improved, is the wording just above: "For a quick build with a usable compile, you can pass".  I am not a native speaker, but this sounds odd to me. Do you mean "For a quick build of a usable compiler" (but then it should say where the usable compiler is produced)? Or do you mean "For a quick build testing if the compiler is usable"? I can reword this, but I'd like to make sure I understand the intent of the message.

What about
```
    For a quick build of a usable compiler, you can pass:

        ./x.py build --stage 1 src/libtest

    This will first build everything once (like --stage 0 without further
    arguments would), and then use the compiler built in stage 0 to build
    src/libtest and its dependencies.
    Once this is done, build/$ARCH/stage1 contains a usable compiler.
```
However, I am not sure this is actually true. In particular, why even bother building the libstd in stage 1? AFAIK that ends up in `build/*/stage1-std`, not in `build/*/stage1` (which is filled from `build/*/stage0-*`).

7 years agodoc: a more complete explanation, and a better example
Tshepang Lekhonkhobe [Thu, 8 Jun 2017 20:46:11 +0000 (22:46 +0200)]
doc: a more complete explanation, and a better example

7 years agoAuto merge of #42487 - alexcrichton:smaller-personality, r=vadimcn
bors [Thu, 8 Jun 2017 19:52:53 +0000 (19:52 +0000)]
Auto merge of #42487 - alexcrichton:smaller-personality, r=vadimcn

std: Avoid panics in rust_eh_personality

This commit removes a few calls to panic and/or assert in `rust_eh_personality`.
This function definitely can't itself panic (that'd probably segfault or do
something else weird) and I was also noticing that a `pub extern fn foo() {}`
cdylib was abnormally large. Turns out all that size was the panicking machinery
brought in by the personality function!

The change here is to return a `Result` internally so we can bubble up the fatal
error, eventually translating to the appropriate error code for the libunwind
ABI.

7 years agoSpeed up expansion.
Mark Simulacrum [Thu, 8 Jun 2017 11:51:32 +0000 (05:51 -0600)]
Speed up expansion.

This reduces duplication, thereby increasing expansion speed.

7 years agostd: Handle ENOSYS when calling `pipe2`
Alex Crichton [Thu, 8 Jun 2017 01:31:35 +0000 (18:31 -0700)]
std: Handle ENOSYS when calling `pipe2`

Should help fix an accidental regression from #39386.

7 years agostd: Avoid panics in rust_eh_personality
Alex Crichton [Tue, 6 Jun 2017 18:34:10 +0000 (11:34 -0700)]
std: Avoid panics in rust_eh_personality

This commit removes a few calls to panic and/or assert in `rust_eh_personality`.
This function definitely can't itself panic (that'd probably segfault or do
something else weird) and I was also noticing that a `pub extern fn foo() {}`
cdylib was abnormally large. Turns out all that size was the panicking machinery
brought in by the personality function!

The change here is to return a `Result` internally so we can bubble up the fatal
error, eventually translating to the appropriate error code for the libunwind
ABI.

7 years agoAuto merge of #42500 - hsivonen:neon, r=japaric
bors [Thu, 8 Jun 2017 13:52:13 +0000 (13:52 +0000)]
Auto merge of #42500 - hsivonen:neon, r=japaric

Change `llvm.neon.*` to `llvm.arm.neon.*` in the mapping for platform intrinsics

This avoids linker errors when using platform intrinsics on 32-bit ARM with
NEON.

Fixes rust-lang-nursery/simd#10.

I don't have an explanation why the old code might have worked when the `simd` crate was written, since the new LLVM intrinsic naming seems to have existed as early as 2012. Maybe LLVM accepted two naming schemes for a few years and dropped the `llvm.neon.*` version recently? I don't know.

Also, I don't know how to write a unit test for this.

7 years agoAuto merge of #42489 - eddyb:untyped-stmts, r=nikomatsakis
bors [Thu, 8 Jun 2017 11:18:45 +0000 (11:18 +0000)]
Auto merge of #42489 - eddyb:untyped-stmts, r=nikomatsakis

Statements do not have types.

Past refactors accidentally left in some dead type-checking code - nothing reads the always-`()` types.

r? @nikomatsakis

7 years agoIgnore variadic FFI test on AArch64
Mátyás Mustoha [Thu, 8 Jun 2017 10:03:08 +0000 (12:03 +0200)]
Ignore variadic FFI test on AArch64

7 years agoAuto merge of #42443 - tommyip:better_closure_msg, r=nikomatsakis
bors [Thu, 8 Jun 2017 08:37:48 +0000 (08:37 +0000)]
Auto merge of #42443 - tommyip:better_closure_msg, r=nikomatsakis

Better closure error message

Use tracked data introduced in #42196 to provide a better closure
error message by showing why a closure implements `FnOnce`.

```
error[E0525]: expected a closure that implements the `Fn` trait, but
this closure only implements `FnOnce`
 --> $DIR/issue_26046.rs:4:19
  |
4 |       let closure = move || {
  |  ___________________^
5 | |         vec
6 | |     };
  | |_____^
  |
note: closure is `FnOnce` because it moves the variable `vec` out of
its environment
 --> $DIR/issue_26046.rs:5:9
  |
5 |         vec
  |         ^^^

error: aborting due to previous error(s)
```

Fixes #26046

r? @nikomatsakis
cc @doomrobo

7 years agoAuto merge of #42481 - brson:wingnu, r=alexcrichton
bors [Thu, 8 Jun 2017 06:02:04 +0000 (06:02 +0000)]
Auto merge of #42481 - brson:wingnu, r=alexcrichton

Fix setting PATH during linkage on windows-gnu

This makes the behavior almost exactly the same as before the VS2017 patch, except that on MSVC builds the host bin path is no longer added to PATH. I am not sure that's actually necessary on any platform.

r? @alexcrichton

Fixes https://github.com/rust-lang/rust/issues/42422

7 years agobootstrap: further clarify build --help
Ralf Jung [Thu, 8 Jun 2017 05:08:48 +0000 (22:08 -0700)]
bootstrap: further clarify build --help

7 years agoAuto merge of #42522 - frewsxcv:rollup, r=frewsxcv
bors [Thu, 8 Jun 2017 03:46:16 +0000 (03:46 +0000)]
Auto merge of #42522 - frewsxcv:rollup, r=frewsxcv

Rollup of 5 pull requests

- Successful merges: #42470, #42490, #42497, #42510, #42512
- Failed merges:

7 years agoMake rustdoc.js use license comments.
Clar Charr [Tue, 30 May 2017 04:17:11 +0000 (00:17 -0400)]
Make rustdoc.js use license comments.

7 years agoRollup merge of #42512 - Keruspe:master, r=alexcrichton
Corey Farwell [Thu, 8 Jun 2017 01:58:46 +0000 (21:58 -0400)]
Rollup merge of #42512 - Keruspe:master, r=alexcrichton

update git2

Fixes build with libressl

7 years agoRollup merge of #42510 - mbrubeck:docs, r=QuietMisdreavus
Corey Farwell [Thu, 8 Jun 2017 01:58:45 +0000 (21:58 -0400)]
Rollup merge of #42510 - mbrubeck:docs, r=QuietMisdreavus

Update step_by docs to say iterator instead of range

None

7 years agoRollup merge of #42497 - qnighy:just-use-try-in-three-places, r=eddyb
Corey Farwell [Thu, 8 Jun 2017 01:58:45 +0000 (21:58 -0400)]
Rollup merge of #42497 - qnighy:just-use-try-in-three-places, r=eddyb

Replace some matches with try.

This patch just replaces `match`es with `?` in the compiler, which I came across when I'm reading the parser.

7 years agoRollup merge of #42490 - gaurikholkar:master, r=eddyb
Corey Farwell [Thu, 8 Jun 2017 01:58:44 +0000 (21:58 -0400)]
Rollup merge of #42490 - gaurikholkar:master, r=eddyb

Changing error message from `contains interior mutability` to `may contain interior mutability`

Fixes #40313 . I have changed the message from `contains interior mutability` to `may contain interior mutability` for the following example
```
use std::cell::Cell;
use std::panic::catch_unwind;
fn main() {
    let mut x = Cell::new(22);
    catch_unwind(|| { x.set(23); });
}
```
which has been added as a ui test.

Also, the message [here](https://github.com/gaurikholkar/rust/blob/master/src/librustc_mir/transform/qualify_consts.rs#L666) and it's respective `compile-fail` test have been modified.

cc @nikomatsakis  @Mark-Simulacrum  @eddyb

7 years agoRollup merge of #42470 - frewsxcv:frewsxcv/ffi-cstr-doc-examples, r=QuietMisdreavus
Corey Farwell [Thu, 8 Jun 2017 01:58:43 +0000 (21:58 -0400)]
Rollup merge of #42470 - frewsxcv:frewsxcv/ffi-cstr-doc-examples, r=QuietMisdreavus

Add doc examples for `CString` methods.

None

7 years agoAuto merge of #40706 - irfanhudda:doc-next-power-of-two, r=alexcrichton
bors [Thu, 8 Jun 2017 01:07:08 +0000 (01:07 +0000)]
Auto merge of #40706 - irfanhudda:doc-next-power-of-two, r=alexcrichton

Improve documentation of next_power_of_two

Clarify overflow behavior of `next_power_of_two`.

Related Issue: #18604

7 years agocore: allow messages in unimplemented!() macro
Sean McArthur [Thu, 8 Jun 2017 00:06:55 +0000 (17:06 -0700)]
core: allow messages in unimplemented!() macro

7 years agoAuto merge of #42447 - alexcrichton:update-cargo, r=petrochenkov
bors [Wed, 7 Jun 2017 22:48:15 +0000 (22:48 +0000)]
Auto merge of #42447 - alexcrichton:update-cargo, r=petrochenkov

Update Cargo

Brings in some perf improvements!

7 years agoCover all cases in closure errors
Tommy Ip [Wed, 7 Jun 2017 20:26:28 +0000 (21:26 +0100)]
Cover all cases in closure errors

7 years agoupdate git2
Marc-Antoine Perennou [Wed, 7 Jun 2017 19:42:17 +0000 (21:42 +0200)]
update git2

Fixes build with libressl

Signed-off-by: Marc-Antoine Perennou <Marc-Antoine@Perennou.com>
7 years agoUpdate docs to say iterator instead of range
Matt Brubeck [Wed, 7 Jun 2017 16:24:35 +0000 (09:24 -0700)]
Update  docs to say iterator instead of range

7 years agoAuto merge of #42378 - steveklabnik:rustdoc-docs, r=frewsxcv
bors [Wed, 7 Jun 2017 15:16:46 +0000 (15:16 +0000)]
Auto merge of #42378 - steveklabnik:rustdoc-docs, r=frewsxcv

The Rustdoc book

A work-in-progress start for docs for rustdoc.

This doesn't actually generate the docs yet; I wanted to open this PR to get feedback on this approach, the chapters headings themselves, and to see if anyone wanted to help fill in the ones that aren't done yet.

Start of #42322.

/cc @rust-lang/dev-tools @rust-lang/docs

7 years agoUpdate Cargo
Alex Crichton [Mon, 5 Jun 2017 16:36:48 +0000 (09:36 -0700)]
Update Cargo

Brings in some perf improvements!

7 years agoFix translation of external spans.
Inokentiy Babushkin [Wed, 7 Jun 2017 14:17:11 +0000 (16:17 +0200)]
Fix translation of external spans.

7 years agoAuto merge of #42486 - eddyb:issue-39882, r=nikomatsakis
bors [Wed, 7 Jun 2017 12:34:13 +0000 (12:34 +0000)]
Auto merge of #42486 - eddyb:issue-39882, r=nikomatsakis

rustc_trans: do not store pair fields if they are ZSTs.

Should help with #39882 even if it's not a complete fix AFAICT.

7 years agoAllocate DefIndices for global crate metadata.
Michael Woerister [Wed, 7 Jun 2017 08:45:20 +0000 (10:45 +0200)]
Allocate DefIndices for global crate metadata.

This allows for treating global crate metadata the same as regular metadata with regard to incr. comp.

7 years agoAuto merge of #42482 - eddyb:issue-42467, r=nikomatsakis
bors [Wed, 7 Jun 2017 10:09:11 +0000 (10:09 +0000)]
Auto merge of #42482 - eddyb:issue-42467, r=nikomatsakis

rustc: T: 'empty always holds for all types.

Fixes #42467 by special-casing `ReEmpty` to always hold, even for parameters.
The reason this is the case is that `ReEmpty` is the result of inferring a region variable with no constraints attached to it, so there is no lifetime a type would contain which would be strictly shorter.

r? @nikomatsakis

7 years agoindentation fixes
gaurikholkar [Wed, 7 Jun 2017 09:22:21 +0000 (02:22 -0700)]
indentation fixes

7 years agoChange `llvm.neon.*` to `llvm.arm.neon.*` in the mapping for platform intrinsics
Henri Sivonen [Wed, 7 Jun 2017 08:17:16 +0000 (11:17 +0300)]
Change `llvm.neon.*` to `llvm.arm.neon.*` in the mapping for platform intrinsics

This avoids linker errors when using platform intrinsics on 32-bit ARM with
NEON.

Fixes rust-lang-nursery/simd#10.

7 years agoAuto merge of #42480 - eddyb:issue-42463, r=nikomatsakis
bors [Wed, 7 Jun 2017 07:52:12 +0000 (07:52 +0000)]
Auto merge of #42480 - eddyb:issue-42463, r=nikomatsakis

rustc_typeck: do not overlap a borrow of TypeckTables with method lookup.

If trait selection is reached, it could potentially request a closure signature, which will have to borrow the `TypeckTables` of the current function, and so those tables *should not* be mutably borrowed.

Fixes #42463.
r? @nikomatsakis

7 years agoAuto merge of #42494 - frewsxcv:rollup, r=frewsxcv
bors [Wed, 7 Jun 2017 04:24:15 +0000 (04:24 +0000)]
Auto merge of #42494 - frewsxcv:rollup, r=frewsxcv

Rollup of 7 pull requests

- Successful merges: #42409, #42415, #42429, #42438, #42466, #42469, #42485
- Failed merges:

7 years agoReplace some matches with try.
Masaki Hara [Sun, 4 Jun 2017 05:10:14 +0000 (14:10 +0900)]
Replace some matches with try.

7 years agoRollup merge of #42485 - Mark-Simulacrum:skip-no-doc, r=alexcrichton
Corey Farwell [Wed, 7 Jun 2017 02:36:37 +0000 (22:36 -0400)]
Rollup merge of #42485 - Mark-Simulacrum:skip-no-doc, r=alexcrichton

Skip printing for skipped doc tests.

Followup to https://github.com/rust-lang/rust/pull/42437 to further reduce noise.

r? @alexcrichton

7 years agoRollup merge of #42469 - citizen428:document-assert-macros, r=steveklabnik
Corey Farwell [Wed, 7 Jun 2017 02:36:36 +0000 (22:36 -0400)]
Rollup merge of #42469 - citizen428:document-assert-macros, r=steveklabnik

Doc changes for assert macros

See #29381

7 years agoRollup merge of #42466 - wesleywiser:fix_42407, r=arielb1
Corey Farwell [Wed, 7 Jun 2017 02:36:35 +0000 (22:36 -0400)]
Rollup merge of #42466 - wesleywiser:fix_42407, r=arielb1

syntax_pos::Symbol should not implement Sync

Fixes #42407

7 years agoRollup merge of #42438 - king6cong:master, r=alexcrichton
Corey Farwell [Wed, 7 Jun 2017 02:36:34 +0000 (22:36 -0400)]
Rollup merge of #42438 - king6cong:master, r=alexcrichton

doc rewording

7 years agoRollup merge of #42429 - venkatagiri:llvm_config, r=alexcrichton
Corey Farwell [Wed, 7 Jun 2017 02:36:34 +0000 (22:36 -0400)]
Rollup merge of #42429 - venkatagiri:llvm_config, r=alexcrichton

rustc_llvm: re-run build script if config.toml changes

closes #35199

7 years agoRollup merge of #42415 - stephen-lazaro:Issue29094, r=arielb1
Corey Farwell [Wed, 7 Jun 2017 02:36:33 +0000 (22:36 -0400)]
Rollup merge of #42415 - stephen-lazaro:Issue29094, r=arielb1

Remove 'elided' from lifetime resolution error

Removes 'elided' from lifetime resolution errors
Removes 'elided' from relevant error messaging tests

This PR resolves https://github.com/rust-lang/rust/issues/29094

r? @Mark-Simulacrum

7 years agoRollup merge of #42409 - bjorn3:patch-3, r=frewsxcv
Corey Farwell [Wed, 7 Jun 2017 02:36:32 +0000 (22:36 -0400)]
Rollup merge of #42409 - bjorn3:patch-3, r=frewsxcv

Better docs

Working on more doc improvements

Edit: done for today

7 years agoAuto merge of #42133 - cuviper:stdio-from, r=alexcrichton
bors [Wed, 7 Jun 2017 02:11:20 +0000 (02:11 +0000)]
Auto merge of #42133 - cuviper:stdio-from, r=alexcrichton

Add conversions from File and Child* handles to Stdio

`Stdio` now implements `From<ChildStdin>`, `From<ChildStdout>`,
`From<ChildStderr>`, and `From<File>`.

The `Command::stdin`/`stdout`/`stderr` methods now take any type that
implements `Into<Stdio>`.

This makes it much easier to write shell-like command chains, piping to
one another and redirecting to and from files.  Otherwise one would need
to use the unsafe and OS-specific `from_raw_fd` or `from_raw_handle`.

7 years agoAdd conversions from File and Child* handles to Stdio
Josh Stone [Tue, 6 Jun 2017 22:42:55 +0000 (15:42 -0700)]
Add conversions from File and Child* handles to Stdio

`Stdio` now implements `From<ChildStdin>`, `From<ChildStdout>`,
`From<ChildStderr>`, and `From<File>`.

The `Command::stdin`/`stdout`/`stderr` methods now take any type that
implements `Into<Stdio>`.

This makes it much easier to write shell-like command chains, piping to
one another and redirecting to and from files.  Otherwise one would need
to use the unsafe and OS-specific `from_raw_fd` or `from_raw_handle`.

7 years agoFix setting PATH during linkage on windows-gnu
Brian Anderson [Tue, 6 Jun 2017 02:07:43 +0000 (19:07 -0700)]
Fix setting PATH during linkage on windows-gnu

7 years agobootstrap: improve 'build --help' by explaining what exactly the last example does
Ralf Jung [Tue, 6 Jun 2017 21:26:56 +0000 (14:26 -0700)]
bootstrap: improve 'build --help' by explaining what exactly the last example does

7 years agoAuto merge of #42361 - GuillaumeGomez:error-codes, r=arielb1
bors [Tue, 6 Jun 2017 20:46:10 +0000 (20:46 +0000)]
Auto merge of #42361 - GuillaumeGomez:error-codes, r=arielb1

Add E0602

Part of #42229.

cc @Susurrus

7 years agoChanging error message for interior mutability, adding ui test
gaurikholkar [Thu, 1 Jun 2017 10:16:26 +0000 (15:46 +0530)]
Changing error message for interior mutability, adding ui test

7 years agoStatements do not have types.
Eduard-Mihai Burtescu [Tue, 6 Jun 2017 19:43:59 +0000 (22:43 +0300)]
Statements do not have types.

7 years agorustc_typeck: do not overlap a borrow of TypeckTables with method lookup.
Eduard-Mihai Burtescu [Tue, 6 Jun 2017 15:50:21 +0000 (18:50 +0300)]
rustc_typeck: do not overlap a borrow of TypeckTables with method lookup.

7 years agorustc_trans: do not store pair fields if they are ZSTs.
Eduard-Mihai Burtescu [Tue, 6 Jun 2017 18:13:13 +0000 (21:13 +0300)]
rustc_trans: do not store pair fields if they are ZSTs.

7 years agoSkip printing for skipped doc tests.
Mark Simulacrum [Tue, 6 Jun 2017 18:00:22 +0000 (12:00 -0600)]
Skip printing for skipped doc tests.