Commit Graph

83873 Commits

Author SHA1 Message Date
Pietro Albini
8455a7fcbe
Rollup merge of #54402 - bgermann:master, r=alexcrichton
Use no_default_libraries for all NetBSD flavors

The no_default_libraries was introduced in #28578 because the
NetBSD-based rumprun needed to disable the link flag.
This moves the definition to be used by all NetBSD linker flavors to
close #49627.

A different solution would be adding -lc but as there is no platform
with explicit -lc, this approach is used.
2018-09-22 09:56:35 +02:00
Pietro Albini
5d8a27e4da
Rollup merge of #54374 - SergioBenitez:pub-multispan, r=alexcrichton
Make 'proc_macro::MultiSpan' public.

Oversight from #52896.
2018-09-22 09:56:34 +02:00
Pietro Albini
7248b79082
Rollup merge of #54371 - QuietMisdreavus:rustdoc-ui-testing, r=GuillaumeGomez
add -Zui-testing to rustdoc

Before we depend on the `rustdoc-ui` tests some more, let's make rustdoc act the same as the compiler when they're actually being executed.
2018-09-22 09:56:33 +02:00
Pietro Albini
167a045e2e
Rollup merge of #54370 - nnethercote:better-domain_size, r=nikomatsakis
Improve handling of type bounds in `bit_set.rs`.

Currently, `BitSet` doesn't actually know its own domain size; it just
knows how many words it contains. We can make it better.
2018-09-22 09:56:32 +02:00
Pietro Albini
23636e3f99
Rollup merge of #54350 - Munksgaard:support-edition-in-doc-test, r=steveklabnik
Support specifying edition in doc test

Fixes #52623

r? @QuietMisdreavus
2018-09-22 09:56:30 +02:00
Pietro Albini
e59df621a8
Rollup merge of #54323 - Keruspe:rustc-color, r=Mark-Simulacrum
rustbuild: drop color handling

Let cargo handle that for us

Fixes #54322

Needs a beta backport
2018-09-22 09:56:29 +02:00
Pietro Albini
e3cc48a4ce
Rollup merge of #54280 - japaric:no-cas-for-thumbv6, r=alexcrichton
remove (more) CAS API from Atomic* types where not natively supported

closes #54276

In PR #51953 I made the Atomic* types available on targets like thumbv6m and
msp430 with the intention of *only* exposing the load and store API on those
types -- the rest of the API doesn't work on those targets because the are no
native instructions to implement CAS loops.

Unfortunately, it seems I didn't properly cfg away all the CAS API on those
targets, as evidenced in #54276. This PR amends the issue by removing the rest
of the CAS API.

This is technically a breaking change because *libraries* that were using this
API and were being compiled for e.g. thumbv6m-none-eabi will stop compiling.
However, using those libraries (before this change) in programs (binaries) would
lead to linking errors when compiled for e.g. thumbv6m so this change
effectively shifts a linker error in binaries to a compiler error in libraries.

On a side note: extending the Atomic API is a bit error prone because of these
non-cas targets. Unless the author of the change is aware of these targets and
properly uses `#[cfg(atomic = "cas")]` they could end up exposing new CAS API on
these targets. I can't think of a test to check that an API is not present on
some target, but we could extend the `tidy` tool to check that *all* newly added
atomic API has the `#[cfg(atomic = "cas")]` attribute unless it's whitelisted in
`tidy` then the author of the change would have to verify if the API can be used
on non-cas targets.

In any case, I'd like to plug this hole ASAP. We can revisit testing in a
follow-up issue / PR.

r? @alexcrichton
cc @mvirkkunen
2018-09-22 09:56:28 +02:00
Pietro Albini
822c51121e
Rollup merge of #54261 - varkor:dyn-keyword-2018, r=petrochenkov
Make `dyn` a keyword in the 2018 edition

Proposed in https://github.com/rust-lang/rust/issues/44662#issuecomment-421596088.
2018-09-22 09:56:27 +02:00
Pietro Albini
e6ee4e056d
Rollup merge of #53652 - oconnor663:copy_in_place, r=alexcrichton
define copy_within on slices

This is a safe wrapper around `ptr::copy`, for regions within a single slice. Previously, safe in-place copying was only available as a side effect of `Vec::drain`.

I've wanted this API a couple times in the past, and I figured I'd just whip up a PR to help discuss it. It's possible something like this exists elsewhere and I just missed it. It might also be a big enough addition to warrant an RFC, I'm not sure.
2018-09-22 09:56:24 +02:00
bors
4a6e875b81 Auto merge of #54403 - eddyb:oopsie-daisy-stabilize, r=alexcrichton
Stabilize crate_in_paths, extern_absolute_paths and extern_prelude on all editions.

Needed for beta, path-related migrations to Rust 2018 don't work on RC1 without these stabilizations.

r? @aturon cc @nikomatsakis @Centril @alexcrichton
2018-09-22 07:06:11 +00:00
Eduard-Mihai Burtescu
fa2c246384 Stabilize crate_in_paths, extern_absolute_paths and extern_prelude on all editions. 2018-09-22 09:26:40 +03:00
bors
c97b60ff3f Auto merge of #54334 - steveklabnik:update-cargo, r=alexcrichton
update cargo

This pulls in https://github.com/rust-lang/cargo/pull/6052, which is needed for the edition preview, and will be backported to beta as well.
2018-09-22 02:18:17 +00:00
bors
63c75d375d Auto merge of #54223 - pnkfelix:issue-53764-uiify-run-pass, r=nikomatsakis
`ui`ify run-pass

This addresses the remainder of #53764 by first converting `src/test/run-pass` into another `ui`-style test suite, and then turning on `compare-mode=nll` for that new suite.

After this lands, we can address #54047 for the short term by moving all the `src/test/ui/run-pass` tests back to `src/test/run-pass`.

(Longer term, the compiler team's current (hypothetical sketch of a) plan (see [1][], [2][]) is unify all the tests by embedding these meta-properties like "// run-pass` into their headers explicitly and dropping the significance of their location on the file system.)

[1]: https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/subject/weekly.20meeting.202018-09-13/near/133889370
[2]: https://github.com/rust-lang/rust/issues/54047#issuecomment-421030356
2018-09-21 20:54:57 +00:00
Christian Poveda
ad9bf17177
Update .mailmap 2018-09-21 14:02:45 -05:00
Alex Crichton
8ccf112be2 Update Cargo
This commit brings in a few Cargo updates

* Updates Cargo with experimental HTTP/2 support - a post on the forums
  will be made about testing this when available.
* Bumps Cargo's own version number
2018-09-21 10:23:12 -07:00
Alex Crichton
1b938068b6 Ignore new test on Windows 2018-09-21 10:05:23 -07:00
Ralf Jung
8e74ee0998 fix comment 2018-09-21 16:25:33 +02:00
Felix S. Klock II
a79db050c8 Allow unused_imports lint on test where lint only fires on non-linux targets... 2018-09-21 16:21:40 +02:00
Felix S. Klock II
3b585f1955 Allow dead_code lint on some tests where the lint only fires on non-x86 targets... 2018-09-21 16:21:40 +02:00
Felix S. Klock II
23e7e78209 Added comment above Mode::RunPass noting that it now behaves like Mode::Ui. 2018-09-21 16:21:40 +02:00
Felix S. Klock II
1eb8690cf3 Make the // skip-codegen property apply to ui tests too. 2018-09-21 16:21:40 +02:00
Felix S. Klock II
9e33d57517 Added expected (compile-time) outputs.
* In the case of `derive-same-struct`, it seemed cleaner to add the
  output than to try to modify the macro itself (which is where the
  output is coming from).

* In the case of `custom-derive-partial-eq`, it was just easier to add
  the output than to attempt to port the test to use a procedural
  macro.
2018-09-21 16:21:40 +02:00
Felix S. Klock II
3a44115a72 Add Rustc prefixes to derive(Decodable, Encodable).
As a bit of a hack, make `rustc_serialize` an alias of the private
`serialize` crate, just so the new derive continues working.

Fix #54287.
2018-09-21 16:21:39 +02:00
Felix S. Klock II
43061d3a78 Allow various lints in src/test/run-pass-fulldeps/ so that it can continue under ui test mode.
(One of them led me to file rust-lang/rust#54288.)
2018-09-21 16:21:39 +02:00
Felix S. Klock II
1df6d42fff you can have // compile-pass markers in headers of compile-fail/ tests.
(It seems only `compile-fail-fulldeps/` exercises this functionality,
unfortunately.)
2018-09-21 16:21:39 +02:00
Felix S. Klock II
bae2bf12f6 Similar to above, failed to notice that Mode::Incremental delegates to run_{rpass,rfail,cfail}_test.
(Also, maybe we should revise the names to make it clear that sometimes "cfail" means "cpass"...)
2018-09-21 16:21:39 +02:00
Felix S. Klock II
a66b7d4e9d Mark ParseFail as tests that are not expected to compile.
(I did not notice earlier that `ParseFail` delegates to `fn run_cfail_test`.)
2018-09-21 16:21:38 +02:00
Felix S. Klock II
2664db235c Run the newly ui-ified run-pass tests under compare-mode=nll as well.
Fix #53764.
2018-09-21 16:21:38 +02:00
Felix S. Klock II
6219448af6 Add expected output for compiler to tests of optimization-fuel-{0,1}.rs. 2018-09-21 16:21:38 +02:00
Felix S. Klock II
5def991033 Ignore the output itself on rustc-rust-log.rs (added in rust-lang/rust#42737). 2018-09-21 16:21:38 +02:00
Felix S. Klock II
371fffdbed Workaround rust-lang/rust#54222 by just ignoring the warning about the linker flag. 2018-09-21 16:21:37 +02:00
Felix S. Klock II
c9f2c2de92 Allow various lints as part of ui-ifying src/test/run-pass suite. 2018-09-21 16:21:37 +02:00
Felix S. Klock II
d28c5bafff Provide way for ui tests to opt out of having their output checked.
Namely, this adds support for:

 * `// dont-check-compiler-stdout`, and
 * `// dont-check-compiler-stderr`.

Obviously almost all ui tests wont want to opt into these, since the whole point
of a ui test is to check the compiler ui. However, since this PR is converting
run-pass into (another set of) ui tests, these header options make sense in that
context.

(Also this puts us into a better position for eventually turning
*every* test suite into a ui test suite, by making ui-ness the default
and forcing tests to opt out explicitly.)
2018-09-21 16:21:37 +02:00
Felix S. Klock II
ae0a53a39b Support // skip-codegen in header of ui tests
(just like how they behaved under previous run-pass semantics)
2018-09-21 16:21:37 +02:00
Felix S. Klock II
ddb1a2afb7 Make src/test/run-pass/ act like an alternative ui test suite. 2018-09-21 16:21:36 +02:00
ljedrz
48f46056b7 Simplify slice's first(_mut) and last(_mut) with get 2018-09-21 13:06:44 +02:00
Nicholas Nethercote
b2f25e3c38 Compress Liveness data some more.
Profiling shows that the `(reader, writer, used)` triples used by
liveness analysis almost always have invalid `reader` and `writer`
fields. We can take advantage of this knowledge to use a compressed
representation for them, falling back to a secondary table for the
uncommon cases.

This change reduces instruction counts on numerous benchmarks, the best
by 16%. It also reduces max-rss on numerous benchmarks, the best by 38%.

The patch also renames these triples from `Users` to `RWU`, because it's
confusing having a type whose name is plural and then used within
vectors whose names are also plural.
2018-09-21 20:54:10 +10:00
bors
1002e404e1 Auto merge of #54399 - alexcrichton:fix-bug, r=steveklabnik
std: Check for overflow in `str::repeat`

This commit fixes a buffer overflow issue in the standard library
discovered by Scott McMurray where if a large number was passed to
`str::repeat` it may cause and out of bounds write to the buffer of a `Vec`.
This bug was accidentally introduced in #48657 when optimizing the
`str::repeat` function. The bug affects stable Rust releases 1.26.0 to
1.29.0. We plan on backporting this fix to create a 1.29.1 release, and
the 1.30.0 release onwards will include this fix.

The fix in this commit is to introduce a deterministic panic in the case of
capacity overflow. When repeating a slice where the resulting length is larger
than the address space, there’s no way it can succeed anyway!

The standard library and surrounding libraries were briefly checked to see if
there were othere instances of preallocating a vector with a calculation that
may overflow. No instances of this bug (out of bounds write due to a calculation
overflow) were found at this time.

Note that this commit is the first steps towards fixing this issue,
we'll be making a formal post to the Rust security list once these
commits have been merged.
2018-09-21 10:30:24 +00:00
Esteban Küber
06d577d8b2 Detect for _ in in bar {} typo 2018-09-20 22:40:44 -07:00
Joseph Post
7f9a259d3f add applicability to span suggestion call 2018-09-20 21:16:33 -05:00
memoryruins
70da203259 Remove incidental notes 2018-09-20 22:07:57 -04:00
Vadim Petrochenkov
9784d3543f parser: Tweak function parameter parsing to avoid rollback on succesfull path 2018-09-21 04:26:53 +03:00
memoryruins
d341b177ae Add test for deref recursion limit printing twice 2018-09-20 21:14:05 -04:00
bors
2fa1390f6c Auto merge of #54389 - kennytm:rollup, r=kennytm
Rollup of 15 pull requests

Successful merges:

 - #52813 (Duration div mul extras)
 - #53470 (Warn about metadata loader errors)
 - #54233 (Remove LLVM 3.9 workaround.)
 - #54257 (Switch wasm math symbols to their original names)
 - #54258 (Enable fatal warnings for the wasm32 linker)
 - #54266 (Update LLVM to fix "bool" arguments on PPC32)
 - #54290 (Switch linker for aarch64-pc-windows-msvc from LLD to MSVC)
 - #54292 (Suggest array indexing when tuple indexing on an array)
 - #54295 (A few cleanups and minor improvements to rustc/traits)
 - #54298 (miri: correctly compute expected alignment for field)
 - #54333 (Update The Book to latest)
 - #54337 (Remove unneeded clone() from tests in librustdoc)
 - #54346 (rustc: future-proof error reporting for polymorphic constants in types.)
 - #54362 (Pass --batch to gdb)
 - #54367 (Add regression test for thread local static mut borrows)
2018-09-20 22:47:34 +00:00
Rémy Rakic
3bdba74ed3 Disable rustfix temporarily on extern-const.rs
`src/test/ui/extern/extern-const.rs` seems to have an inconsistent behaviour across build configurations, possibly non-deterministically. This is tracked in issue 54388.

For this PR, disable running rustfix on it because it failed on CI, until that issue is fixed.
2018-09-20 23:22:42 +02:00
bgermann
36d562ff23 Use no_default_libraries for all NetBSD flavors
The no_default_libraries was introduced in #28578 because the
NetBSD-based rumprun needed to disable the link flag.
This moves the definition to be used by all NetBSD linker flavors to
close #49627.

A different solution would be adding -lc but as there is no platform
with explicit -lc, this approach is used.
2018-09-20 20:00:02 +02:00
Alex Crichton
8ac88d375e std: Check for overflow in str::repeat
This commit fixes a buffer overflow issue in the standard library
discovered by Scott McMurray where if a large number was passed to
`str::repeat` it may cause and out of bounds write to the buffer of a `Vec`.
This bug was accidentally introduced in #48657 when optimizing the
`str::repeat` function. The bug affects stable Rust releases 1.26.0 to
1.29.0. We plan on backporting this fix to create a 1.29.1 release, and
the 1.30.0 release onwards will include this fix.

The fix in this commit is to introduce a deterministic panic in the case of
capacity overflow. When repeating a slice where the resulting length is larger
than the address space, there’s no way it can succeed anyway!

The standard library and surrounding libraries were briefly checked to see if
there were othere instances of preallocating a vector with a calculation that
may overflow. No instances of this bug (out of bounds write due to a calculation
overflow) were found at this time.

Note that this commit is the first steps towards fixing this issue,
we'll be making a formal post to the Rust security list once these
commits have been merged.
2018-09-20 09:31:53 -07:00
kennytm
ec085962c6
Rollup merge of #54367 - spastorino:add-thread-local-static-borrow-test, r=pnkfelix
Add regression test for thread local static mut borrows

FIXME(#54366) - We probably shouldn't allow `#[thread_local] static mut` to get a `'static` lifetime, but for now, we should at least test the behavior that `rustc` currently has.
2018-09-20 23:28:08 +08:00
kennytm
e76ca54ea4
Rollup merge of #54362 - tromey:travis-gdb-batch-mode, r=nikomatsakis
Pass --batch to gdb

In one of my travis builds, I was surprised to find that the gdb
pager was in use and caused travis to time out.  Adding `--batch`
to the gdb invocation will disable the pager.  Note that the
`-ex q` is retained, to make sure gdb exits with status 0, just in
case `set -e` is in effect somehow.
2018-09-20 23:28:05 +08:00
kennytm
f2aabb7138
Rollup merge of #54346 - eddyb:constant-horror, r=nikomatsakis
rustc: future-proof error reporting for polymorphic constants in types.

Currently, we have 3 categories of positions where a constant can be used (`const` and associated `const` can be considered "aliases" for an expression):
* runtime - if the function is polymorphic, we could even just warn and emit a panic
* `static` - always monomorphic, so we can error at definition site
* type-system - **must** *enforce* evaluation success where it was written

That last one is the tricky one, because we can't easily turn *the presence* a type with an erroring const into a runtime panic, and we'd have to do post-monomorphization errors (which we'd rather avoid).

<hr/>

The solution we came up with, as part of the plans for const generics, is to require successful evaluation wherever a constant shows up in a type (currently in array lengths, and values for const parameters in the future), *through* the WF system, which means that in certain situations (e.g. function signatures) we can assume evaluation *will* succeed, and require it of users (e.g. callers) instead (we've been doing this for lifetime bounds, for a long time now, and it's pretty ergonomic).

So once we do sth about #43408, this example *should* work, by propagating the responsability, to callers of `foo::<X>`, of proving `std::mem::size_of::<X>()` succeeds (and those callers can do the same).
```rust
pub fn foo<T>(_: [u8; std::mem::size_of::<T>()]) {}
```
But this one *shouldn't*, as there is nothing in the signature/bounds to indicate it:
```rust
pub fn bar<T>() {
    let _: [u8; std::mem::size_of::<T>()];
}
```

<hr/>

I've come across some bit of code in the compiler that ignores const-evaluation errors *even when* they come from a constant in a type, and I've added an ICE *only when* there are no other reported errors (e.g. it's fine to ignore evaluation errors if the constant doesn't even type-check).

r? @nikomatsakis cc @oli-obk @RalfJung @Centril
2018-09-20 23:28:03 +08:00