comment out record of now-unused error code E0563

The sole appearance of this code was deleted in 6383de15; the existing practice
in these cases seems to be to comment out its mention in
`register_diagnostics!`.

fixing doctest failures in resurfaced extended information

After repatriating error explanations to the global registry, some lurking
doctest failures surfaced and needed to be chased down. Sadly, a few doctests
needed to be ignored due to a not-yet-understood regression in the doctest
`compile_fail` functionality (filed #43707).

de-orphan extended information

Bizarrely, librustc_passes, librustc_plugin, librustc_mir, and libsyntax
weren't getting their error explanations registered.

Resolves #35284.

Auto merge of #43397 - GuillaumeGomez:unused-union-field, r=petrochenkov

Don't warn on unused field on union

Fixes #43393.

Handle type aliases as well

Fix union unused fields check

Improve union unused field detection

Auto merge of #43655 - bjorn3:more_doc_comments, r=arielb1

Make some comments doc comments in librustc/middle/cstore.rs

Auto merge of #43488 - Florob:repeat-opt, r=arielb1

Optimize initialization of arrays using repeat expressions

This PR was inspired by [this thread](https://www.reddit.com/r/rust/comments/6o8ok9/understanding_rust_performances_a_newbie_question/) on Reddit.
It tries to bring array initialization in the same ballpark as `Vec::from_elem()` for unoptimized builds.
For optimized builds this should relieve LLVM of having to figure out the construct we generate is in fact a `memset()`.

To that end this emits `llvm.memset()` when:
* the array is of integer type and all elements are zero (`Vec::from_elem()` also explicitly optimizes for this case)
* the array elements are byte sized

If the array is zero-sized initialization is omitted entirely.

Auto merge of #43688 - frewsxcv:frewsxcv-bump-book, r=carols10cents

Bump 'src/doc/book' git submodule.

Primarily to pick up this change:

https://github.com/rust-lang/book/pull/866

...to move this PR forward:

https://github.com/rust-lang/rust/pull/43641

Bump 'src/doc/book' git submodule.

Primarily to pick up this change:

https://github.com/rust-lang/book/pull/866

...to move this PR forward:

https://github.com/rust-lang/rust/pull/43641

Improve dead code detection for unions

Don't warn on unused field on union

Auto merge of #43689 - edaniels:patch-1, r=GuillaumeGomez

Fix typo in coerce_forced_unit docstring

Fix typo in coerce_forced_unit docstring

Auto merge of #43652 - frewsxcv:frewsxcv-str-examples, r=QuietMisdreavus

String slice doc improvements.

None

Auto merge of #43554 - eddyb:apfloat, r=nikomatsakis

APFloat: Rewrite It In Rust and use it for deterministic floating-point CTFE.

As part of the CTFE initiative, we're forced to find a solution for floating-point operations.
By design, IEEE-754 does not explicitly define everything in a deterministic manner, and there is some variability between platforms, at the very least (e.g. NaN payloads).

If types are to evaluate constant expressions involving type (or in the future, const) generics, that evaluation needs to be *fully deterministic*, even across `rustc` host platforms.
That is, if `[T; T::X]` was used in a cross-compiled library, and the evaluation of `T::X` executed a floating-point operation, that operation has to be reproducible on *any other host*, only knowing `T` and the definition of the `X` associated const (as either AST or HIR).

Failure to uphold those rules allows an associated type (e.g. `<Foo as Iterator>::Item`) to be seen as two (or more) different types, depending on the current host, and such type safety violations typically allow writing of a `transmute` in safe code, given enough generics.

The options considered by @rust-lang/compiler were:
1. Ban floating-point operations in generic const-evaluation contexts
2. Emulate floating-point operations in an uniformly deterministic fashion

The former option may seem appealing at first, but floating-point operations *are allowed today*, so they can't be banned wholesale, a distinction has to be made between the code that already works, and future generic contexts. *Moreover*, every computation that succeeded *has to be cached*, otherwise the generic case can be reproduced without any generics. IMO there are too many ways it can go wrong, and a single violation can be enough for an unsoundness hole.
Not to mention we may end up really wanting floating-point operations *anyway*, in CTFE.

I went with the latter option, and seeing how LLVM *already* has a library for this exact purpose (as it needs to perform optimizations independently of host floating-point capabilities), i.e. `APFloat`, that was what I ended up basing this PR on.
But having been burned by the low reusability of bindings that link to LLVM, and because I would *rather* the floating-point operations to be wrong than not deterministic or not memory-safe (`APFloat` does far more pointer juggling than I'm comfortable with), I decided to RIIR.

This way, we have a guarantee of *no* `unsafe` code, a bit more control over the where native floating-point might accidentally be involved, and non-LLVM backends can share it.
I've also ported all the testcases over, *before* any functionality, to catch any mistakes.

Currently the PR replaces all CTFE operations to go through `apfloat::ieee::{Single,Double}`, keeping only the bits of the `f32` / `f64` memory representation in between operations.
Converting from a string also double-checks that `core::num` and `apfloat` agree on the interpretation of a floating-point number literal, in case either of them has any bugs left around.

r? @nikomatsakis
f? @nagisa @est31

<hr/>

Huge thanks to @edef1c for first demoing usable `APFloat` bindings and to @chandlerc for fielding my questions on IRC about `APFloat` peculiarities (also upstreaming some bugfixes).

Indicate how to turn byte slices back into a string slice.

Update str::split_at_mut example to demonstrate mutability.

Make some comments doc comments in librustc/middle/cstore.rs

Auto merge of #43640 - oli-obk:patch-5, r=nikomatsakis

Uplift some comments to Doc comments

Auto merge of #43642 - mmatyas:unskip_aarch64_tests, r=sanxiyn

Unskip some tests on AArch64

I've been running the test suite remotely on an Acer Chromebook R13 and natively on an ARM Juno developer board, both AArch64 devices. Most of the tests that are skipped on AArch64 are due to testing stdcall/fastcall/x86-specific code or the debugger, but I've found a few tests that could be enabled there.

These have been skipped previously due to failing on the `aarch64-linux-android` and `mac-android` buildbots, more than 2 years ago (#23471, #23695). It seems we don't test those platforms any more, but as they do work on AArch64 Linux, I'd like to propose re-enabling them. All of them pass on my devices.

codegen tests: Check type of `len` argument to `llvm.memset.*` based on the exact intrinsic used

Auto merge of #43639 - TobiasSchaffner:master, r=alexcrichton

Add L4Re Support in librustc_back

Add experimental support for x86_64-unknown-l4re-uclibc target, which covers the L4 Runtime Environment.

This pull request contains the changes that have to be made to librustc_back. It follows the changes humenda made in pull request https://github.com/rust-lang/libc/pull/591 to libc.

Next steps will be the modifications to the needed libraries. (libstd,  liballoc_system, libpanic_abort, libunwind)

Thanks to humenda for reviewing.

Auto merge of #43615 - dhduvall:lto-unaligned-read, r=nagisa

Fix some unaligned reads on SPARC in LTO

This fixes #43593 by eliminating some undefined behavior.

Auto merge of #43590 - michaelwoerister:no-reopening-1, r=nikomatsakis

incr.comp.: Assert that no DepNode is re-opened (see issue #42298).

This PR removes the last occurrence of DepNode re-opening and adds an assertion that prevents our doing so in the future too. The DepGraph should no be guaranteed to be cycle free.

r? @nikomatsakis

EDIT: Closes https://github.com/rust-lang/rust/issues/42298

Auto merge of #43577 - cuviper:link-llvm-dylib, r=sanxiyn

Link LLVM tools dynamically

Set `LLVM_LINK_LLVM_DYLIB=ON` -- "If enabled, tools will be linked with
the libLLVM shared library."  Rust doesn't ship any of the LLVM tools,
and only needs a few at all for some test cases, so statically linking
the tools is just a waste of space.  I've also had memory issues on
slower machines with LLVM debuginfo enabled, when several tools start
linking in parallel consuming several GBs each.

With the default configuration, `build/x86_64-unknown-linux-gnu/llvm`
was 1.5GB before, now down to 731MB.  The difference is more drastic
with `--enable-llvm-release-debuginfo`, from 28GB to "only" 13GB.

This does not change the linking behavior of `rustc_llvm`.

Auto merge of #43600 - scalexm:issue-35976, r=nikomatsakis

Add a more precise error message for issue #35976

When trying to perform static dispatch on something which derefs to a trait object, and the target trait is not in scope, we had confusing error messages if the target method had a `Self: Sized` bound. We add a more precise error message in this case: "consider using trait ...".

Fixes #35976.

r? @nikomatsakis

Indicate why str::{get,get_mut} examples return None.

Unskip some tests on AArch64

Uplift some comments to Doc comments

Auto merge of #43442 - zackmdavis:note_available_field_names_if_levenshtein_fails, r=nikomatsakis

field does not exist error: note fields if Levenshtein suggestion fails

When trying to access or initialize a nonexistent field, if we can't infer what
field was meant (by virtue of the purported field in the source being a small
Levenshtein distance away from an actual field, suggestive of a typo), issue a
note listing all the available fields. To reduce terminal clutter, we don't
issue the note when we have a `find_best_match_for_name` Levenshtein
suggestion: the suggestion is probably right.

The third argument of the call to `find_best_match_for_name` is changed to
`None`, accepting the default maximum Levenshtein distance of one-third of the
identifier supplied for correction. The previous value of `Some(name.len())`
was overzealous, inappropriately very Levenshtein-distant suggestions when the
attempted field access could not plausibly be a mere typo. For example, if a
struct has fields `mule` and `phone`, but I type `.donkey`, I'd rather the
error have a note listing that the available fields are, in fact, `mule` and
`phone` (which is the behavior induced by this patch) rather than the error
asking "did you mean `phone`?" (which is the behavior on master). The "only
find fits with at least one matching letter" comment was accurate when it was
first introduced in 09d992471 (January 2015), but is a vicious lie in its
present context before a call to `find_best_match_for_name` and must be
destroyed (replacing every letter is within a Levenshtein distance of name.len()).

The present author claims that this suffices to resolve #42599.

Rename `ConfirmResult` fields

Auto merge of #43403 - RalfJung:mir-validate, r=nikomatsakis

Add MIR Validate statement

This adds statements to MIR that express when types are to be validated (following [Types as Contracts](https://internals.rust-lang.org/t/types-as-contracts/5562)). Obviously nothing is stabilized, and in fact a `-Z` flag has to be passed for behavior to even change at all.

This is meant to make experimentation with Types as Contracts in miri possible. The design is definitely not final.

Cc @nikomatsakis @aturon

Use LLVM_LINK_LLVM_DYLIB only on linux-gnu and apple-darwin

Add L4Re Support in librustc_back

Add support for x86_64-unknown-l4re-uclibc target, which covers
the L4 Runtime Environment.

Auto merge of #43634 - dhduvall:solaris-test-fixes, r=sanxiyn

Fix a number of failing tests on Solaris and SPARC

Auto merge of #43459 - ids1024:asrawfd, r=alexcrichton

Implement AsRawFd for Stdin, Stdout, and Stderr

https://github.com/rust-lang/rfcs/issues/2074

trans: Reuse immediate value in call to call_memset()

Recognize SPARC in more tests where architecture matters.

Solaris linker options need to be accounted for in one test.

This is a follow-up to f189d7a6937 and 9d11b089ad1.  While `-z ignore`
is what needs to be passed to the Solaris linker, because gcc is used as
the default linker, both that form and `-Wl,-z -Wl,ignore` (including
extra double quotes) need to be taken into account, which explains the
more complex regular expression.

Fix AsRawHandle

Exclude Windows from LLVM_LINK_LLVM_DYLIB

Some tests use `res_init()` and need `-lresolv` on Solaris

This is a follow-up to ea23e50f, which fixed it for the build.

Fix a dangling symlink bug in `remove_dir_all()` on Solaris

This fixes a handful of long-failing tests.

Implement AsRawHandle for Std* on Windows

Auto merge of #43619 - frewsxcv:frewsxcv-thread, r=QuietMisdreavus

Thread docs fix and improvements.

None

Auto merge of #43618 - SimonSapin:nomiconup, r=steveklabnik

Update nomicon

(This should have been in https://github.com/rust-lang/rust/pull/42959.)

Auto merge of #43609 - dsprenkels:issue-40510, r=Mark-Simulacrum

Add regression test for #40510

This pull request adds a test case for issue #40510.

Fixes #40510.

incr.comp.: Make ConstEval dep-node anonymous.

Tweak error message

Handle ambiguous cases

Add a more precise error message
When trying to perform static dispatch on something which derefs
to a trait object, and the target trait is not in scope, we had
confusing error messages if the target method had a
`Self: Sized` bound. We add a more precise error message in this
case: "consider using trait ...".

Fixes #35976.

Auto merge of #43622 - RalfJung:config.toml, r=michaelwoerister

extend config.toml doc for debug-assertions

Even after I knew that I had to change config.toml to get any printing from debug! and trace!, going over the entire fail did not make it clear to me that `debug-assertions` is the option controlling that.

Auto merge of #43616 - mbrubeck:fnv, r=michaelwoerister

Remove unused FnvHash code

None

Add more regression tests for #40510

Auto merge of #43611 - nrc:save-tidy, r=eddyb

Update RLS and deps

This PR further moves towards configuring save-analysis using the rls-data Config struct. We remove completely the concept of api_crate. Updates the RLS so the client is expecting these changes and which pulls in a commit re-enabling all RLS tests (been disabled due to a span error for a while).

Appease tidy and fix save-analysis config for dist builds

extend config.toml doc

Indicate how `ThreadId` is created.

Fix broken links in `Thread` docs.

Update nomicon

Auto merge of #43614 - pornel:is_gotcha, r=BurntSushi

Emphasise that these functions look at the disk, not just the path

I thought that `PathBuf::new("foo/bar/").is_dir()` is always true, because the path ends in `/`. However, this is not what `is_dir()` function does. So I've updated the docs to make it clear.

Remove unused fnv hash code

Fix some unaligned reads on SPARC in LTO

This fixes #43593 by eliminating some undefined behavior.

Auto merge of #43607 - marioidival:master, r=alexcrichton

Remove unecessary test code #43219

related #43219

Emphasise that these functions look at the disk, not just the path

rustc_trans: do not pass floating-point values to LLVM through FFI.

rustc_const_math: use apfloat::ieee::{Single,Double} in ConstFloat.

Auto merge of #43605 - RalfJung:mapdoc, r=michaelwoerister

Improve hir::map::Map::get_parent_node doc

The documentation says
```
    /// Similar to get_parent, returns the parent node id or id if there is no
    /// parent.
    /// This function returns the immediate parent in the AST, whereas get_parent
    /// returns the enclosing item.
```
One would think that one can walk up the tree by repeatedly calling `get_parent_node` until it returns the argument, and then work on the `NodeId`s that arise. However, that is not true: `get_parent_node` will return id 0 (the crate itself) for items that sit directly in the crate; calling `get` on that `NodeId` will panic.

So, the fact that `get_parent_node` returns the root when passed the root is actually not really useful, because the root itself is already a somewhat degenerate node. This improves the doc so hopefully people writing code that "walks up the tree" don't run into this issue like I did...

Auto merge of #43612 - michaelwoerister:fix-cgu-hashing, r=eddyb

incr.comp.: Properly incorporate symbol linkage and visibility into CGU hash.

This PR fixes the way the CGU hash for incr. comp. is computed. The CGU hash represents which `TransItems` are emitted into which codegen unit with which linkage and visibility. Before the new, LLVM-independent symbol internalizer the CGU hash did not accurately contain `TransItem` linkage and visibility because we would not enable symbol internalization in incremental mode anyway. The new internalizer is also run in incremental mode which uncovered the inaccuracy of CGU hashing. Luckily, the fix is rather simple.

r? @eddyb
cc @nikomatsakis

incr.comp.: Properly incorporate symbol linkage and visibility into CGU hash.

Auto merge of #43602 - QuietMisdreavus:fantastic-shrinking-headings, r=GuillaumeGomez

rustdoc: shrink headings in non-top-level docblocks

Headings in per-method docs are often bigger than the function names/signatures themselves, so this tones those down to accentuate the methods.


Fixes #17193

Auto merge of #43584 - arielb1:unused-reads, r=eddyb

Fix quadratic performance with lots of use statements

This fixes 2 problems that caused quadratic performance when lots of use-statements were present. After this patch, performance is linear (and very fast) even with 1M uses.

Fixes #43572.
Fixes #43573.

r? @eddyb

Update RLS

Update rls-data dep

also release-validate return value before a call

save-analysis: only emit public fields in value of a struct if the config permits

Auto merge of #43603 - frewsxcv:rollup, r=frewsxcv

Rollup of 6 pull requests

- Successful merges: #43389, #43423, #43581, #43585, #43597, #43598
- Failed merges:

Remove unecessary test code #43219

improve hir::map::Map::get_parent_node doc

rustdoc: shrink headings in non-top-level docblocks

Add regression test for #40510

closure unsafety check: stop moving up when we hit an item

Rollup merge of #43598 - ibabushkin:master, r=eddyb

Derive `Hash` on `AssociatedKind`.

This is a trivial change useful in downstream code poking in rustc's
innards, in particular the semver verification tool I'm currently working on.

r? @eddyb

Rollup merge of #43597 - dhduvall:master, r=alexcrichton

Fix the Solaris pthread_t raw type in std to match what's in libc

The old type causes failures when building cargo 0.20.0 after rust-lang/libc@8304e06b5.

Rollup merge of #43585 - frewsxcv:frewsxcv-hashset-docs, r=steveklabnik,quietmisdreavus

Improve docs & doc examples for HashSet.

None

Rollup merge of #43581 - alexcrichton:inline-more, r=michaelwoerister

rustc: Inline bitwise modification operators

These need to be inlined across crates to avoid showing up as one-instruction
functions in profiles! In the benchmark from #43578 this decreased the
translation item collection step from 30s to 23s, and looks like it also allowed
vectorization elsewhere of the operations!

Rollup merge of #43423 - xliiv:cell-example, r=steveklabnik

Add simple docs example for struct Cell

Rollup merge of #43389 - alexcrichton:thread-error, r=michaelwoerister

Thread through the original error when opening archives

This updates the management of opening archives to thread through the original
piece of error information from LLVM over to the end consumer, trans.

Auto merge of #43579 - cuviper:extern-llvm-features, r=alexcrichton

Gate LLVMRustHasFeature on LLVM_RUSTLLVM

Commit c4710203c098b in #43492 make `LLVMRustHasFeature` "more robust"
by using `getFeatureTable()`.  However, this function is specific to
Rust's own LLVM fork, not upstream LLVM-4.0, so we need to use
`#if LLVM_RUSTLLVM` to guard this call.

Closes #43555.

rustc_apfloat: complete the IEEE & PPC implementations.

rustc_apfloat: port the suite of unit tests.

rustc_apfloat: stub IEEE & PPC implementations.

rustc_apfloat: introduce the base Float API.

Add doc example for HashSet::drain.

Remove unnecessary clones in doc examples.

Show the capacity in HashSet::with_capacity doc example.

Remove unnecessary 'mut' bindings.

Indicate HashSet is code-like in docs.