]> git.lizzy.rs Git - rust.git/log
rust.git
3 years agoMinor grammar fix in doc comment for soft-deprecated methods
Wilfred Hughes [Sat, 5 Sep 2020 02:50:54 +0000 (19:50 -0700)]
Minor grammar fix in doc comment for soft-deprecated methods

3 years agoAuto merge of #75200 - ssomers:btree_valmut, r=Mark-Simulacrum
bors [Fri, 4 Sep 2020 23:16:23 +0000 (23:16 +0000)]
Auto merge of #75200 - ssomers:btree_valmut, r=Mark-Simulacrum

 BTreeMap: introduce marker::ValMut and reserve Mut for unique access

The mutable BTreeMap iterators (apart from `DrainFilter`) are double-ended, meaning they have to rely on a front and a back handle that each represent a reference into the tree. Reserve a type category `marker::ValMut` for them, so that we guarantee that they cannot reach operations on handles with borrow type `marker::Mut`and that these operations can assume unique access to the tree.

Including #75195, benchmarks report no genuine change:
```
benchcmp old new --threshold 5
 name                                 old ns/iter  new ns/iter  diff ns/iter   diff %  speedup
 btree::map::iter_100                 3,333        3,023                -310   -9.30%   x 1.10
 btree::map::range_unbounded_vs_iter  36,624       31,569             -5,055  -13.80%   x 1.16
```

r? @Mark-Simulacrum

3 years agoAuto merge of #76292 - Aaron1011:fix/proc-macro-panic-hide, r=petrochenkov
bors [Fri, 4 Sep 2020 20:58:37 +0000 (20:58 +0000)]
Auto merge of #76292 - Aaron1011:fix/proc-macro-panic-hide, r=petrochenkov

Respect `-Z proc-macro-backtrace` flag for panics inside libproc_macro

Fixes #76270

Previously, any panic occuring during a call to a libproc_macro method
(e.g. calling `Ident::new` with an invalid identifier) would always
cause an ICE message to be printed.

3 years agoAuto merge of #76315 - lcnr:map-track-caller, r=Mark-Simulacrum
bors [Fri, 4 Sep 2020 19:05:20 +0000 (19:05 +0000)]
Auto merge of #76315 - lcnr:map-track-caller, r=Mark-Simulacrum

add `#[track_caller]` to `local_def_id_to_hir_id`

Improves one of the more frequent ICE

3 years agoAuto merge of #75077 - LeSeulArtichaut:tys-kind, r=nikomatsakis
bors [Fri, 4 Sep 2020 17:07:39 +0000 (17:07 +0000)]
Auto merge of #75077 - LeSeulArtichaut:tys-kind, r=nikomatsakis

Refractor ty.kind -> ty.kind() and ty.flags -> ty.flags()

First step for the ["shared library to represent Rust types"](https://rust-lang.github.io/compiler-team/minutes/design-meeting/2020-03-12-shared-library-for-types/) work (rust-lang/wg-traits#16).

This PR makes the `TyS::kind` field private and adds a `kind()` method to access it.
As noted [on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/Looking.20to.20contribute/near/205185412), this refractoring might require a MCP. I am perfectly fine with having to wait until MCP is accepted and resolving the conflicts that pop up afterwards.

r? @nikomatsakis

3 years agoty.flags -> ty.flags()
LeSeulArtichaut [Thu, 6 Aug 2020 15:49:46 +0000 (17:49 +0200)]
ty.flags -> ty.flags()

3 years ago`ty.kind` -> `ty.kind()` in rustdoc and clippy
LeSeulArtichaut [Mon, 3 Aug 2020 22:18:29 +0000 (00:18 +0200)]
`ty.kind` -> `ty.kind()` in rustdoc and clippy

3 years agoChange ty.kind to a method
LeSeulArtichaut [Sun, 2 Aug 2020 22:49:11 +0000 (00:49 +0200)]
Change ty.kind to a method

3 years agoAuto merge of #75655 - nielx:fix/haiku-llvm-libz, r=Mark-Simulacrum
bors [Fri, 4 Sep 2020 14:32:33 +0000 (14:32 +0000)]
Auto merge of #75655 - nielx:fix/haiku-llvm-libz, r=Mark-Simulacrum

Disable zlib in LLVM on Haiku

PR #72696 enabled the option LLVM_ENABLE_ZLIB for the LLVM builds. Like NetBSD and aarch64-apple-darwin (see PR #75500), the LLVM build system not explicitly linking to libz on these platforms cause issues. For Haiku, this meant the runtime loader complaining about undefined symbols..

3 years agoAuto merge of #75207 - dylni:add-slice-check-range, r=KodrAus
bors [Fri, 4 Sep 2020 12:21:43 +0000 (12:21 +0000)]
Auto merge of #75207 - dylni:add-slice-check-range, r=KodrAus

Add `slice::check_range`

This method is useful for [`RangeBounds`] parameters. It's even been [rewritten](https://github.com/rust-lang/rust/blob/22ee68dc586440f96b76b32fbd6087507c6afdb9/src/librustc_data_structures/sorted_map.rs#L214) [many](https://github.com/rust-lang/rust/blob/22ee68dc586440f96b76b32fbd6087507c6afdb9/library/alloc/src/vec.rs#L1299) [times](https://github.com/rust-lang/rust/blob/22ee68dc586440f96b76b32fbd6087507c6afdb9/library/core/src/slice/mod.rs#L2441) in the standard library, sometimes assuming that the bounds won't be [`usize::MAX`].

For example, [`Vec::drain`] creates an empty iterator when [`usize::MAX`] is used as an inclusive end bound:

```rust
assert!(vec![1].drain(..=usize::max_value()).eq(iter::empty()));
```

If this PR is merged, I'll create another to use it for those methods.

[`RangeBounds`]: https://doc.rust-lang.org/std/ops/trait.RangeBounds.html
[`usize::MAX`]: https://doc.rust-lang.org/std/primitive.usize.html#associatedconstant.MAX
[`Vec::drain`]: https://doc.rust-lang.org/std/vec/struct.Vec.html#method.drain

3 years agoadd track_caller to `local_def_id_to_hir_id`
Bastian Kauschke [Fri, 4 Sep 2020 07:24:44 +0000 (09:24 +0200)]
add track_caller to `local_def_id_to_hir_id`

3 years agoAuto merge of #76004 - richkadel:llvm-coverage-map-gen-6b.5, r=tmandry
bors [Fri, 4 Sep 2020 01:31:07 +0000 (01:31 +0000)]
Auto merge of #76004 - richkadel:llvm-coverage-map-gen-6b.5, r=tmandry

Tools, tests, and experimenting with MIR-derived coverage counters

Leverages the new mir_dump output file in HTML+CSS (from #76074) to visualize coverage code regions
and the MIR features that they came from (including overlapping spans).

See example below.

The `run-make-fulldeps/instrument-coverage` test has been refactored to maximize test coverage and reduce code duplication. The new tests support testing with and without `-Clink-dead-code`, so Rust coverage can be tested on MSVC (which, currently, only works with `link-dead-code` _disabled_).

New tests validate coverage region generation and coverage reports with multiple counters per function. Starting with a simple `if-else` branch tests, coverage tests for each additional syntax type can be added by simply dropping in a new Rust sample program.

Includes a basic, MIR-block-based implementation of coverage injection,
available via `-Zexperimental-coverage`. This implementation has known
flaws and omissions, but is simple enough to validate the new tools and
tests.

The existing `-Zinstrument-coverage` option currently enables
function-level coverage only, which at least appears to generate
accurate coverage reports at that level.

Experimental coverage is not accurate at this time. When branch coverage
works as intended, the `-Zexperimental-coverage` option should be
removed.

This PR replaces the bulk of PR #75828, with the remaining parts of
that PR distributed among other separate and indentpent PRs.

This PR depends on two of those other PRs: #76002, #76003 and #76074

Rust compiler MCP rust-lang/compiler-team#278

Relevant issue: #34701 - Implement support for LLVMs code coverage
instrumentation

![Screen-Recording-2020-08-21-at-2](https://user-images.githubusercontent.com/3827298/90972923-ff417880-e4d1-11ea-92bb-8713c6198f6d.gif)

r? @tmandry
FYI: @wesleywiser

3 years agoAuto merge of #73996 - da-x:short-unique-paths, r=petrochenkov
bors [Thu, 3 Sep 2020 23:27:45 +0000 (23:27 +0000)]
Auto merge of #73996 - da-x:short-unique-paths, r=petrochenkov

diagnostics: shorten paths of unique symbols

This is a step towards implementing a fix for #50310, and continuation of the discussion in [Pre-RFC: Nicer Types In Diagnostics - compiler - Rust Internals](https://internals.rust-lang.org/t/pre-rfc-nicer-types-in-diagnostics/11139). Impressed upon me from previous discussion in #21934 that an RFC for this is not needed, and I should just come up with code.

The recent improvements to `use` suggestions that I've contributed have given rise to this implementation. Contrary to previous suggestions, it's rather simple logic, and I believe it only reduces the amount of cognitive load that a developer would need when reading type errors.

-----

If a symbol name can only be imported from one place, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path to the last component.

This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable from anywhere.

3 years agoAuto merge of #70793 - the8472:in-place-iter-collect, r=Amanieu
bors [Thu, 3 Sep 2020 21:20:21 +0000 (21:20 +0000)]
Auto merge of #70793 - the8472:in-place-iter-collect, r=Amanieu

specialize some collection and iterator operations to run in-place

This is a rebase and update of #66383 which was closed due inactivity.

Recent rustc changes made the compile time regressions disappear, at least for webrender-wrench. Running a stage2 compile and the rustc-perf suite takes hours on the hardware I have at the moment, so I can't do much more than that.

![Screenshot_2020-04-05 rustc performance data](https://user-images.githubusercontent.com/1065730/78462657-5d60f100-76d4-11ea-8a0b-4f3962707c38.png)

In the best case of the `vec::bench_in_place_recycle` synthetic microbenchmark these optimizations can provide a 15x speedup over the regular implementation which allocates a new vec for every benchmark iteration. [Benchmark results](https://gist.github.com/the8472/6d999b2d08a2bedf3b93f12112f96e2f). In real code the speedups are tiny, but it also depends on the allocator used, a system allocator that uses a process-wide mutex will benefit more than one with thread-local pools.

## What was changed

* `SpecExtend` which covered `from_iter` and `extend` specializations was split into separate traits
* `extend` and `from_iter` now reuse the `append_elements` if passed iterators are from slices.
* A preexisting `vec.into_iter().collect::<Vec<_>>()` optimization that passed through the original vec has been generalized further to also cover cases where the original has been partially drained.
* A chain of *Vec<T> / BinaryHeap<T> / Box<[T]>* `IntoIter`s  through various iterator adapters collected into *Vec<U>* and *BinaryHeap<U>* will be performed in place as long as `T` and `U` have the same alignment and size and aren't ZSTs.
* To enable above specialization the unsafe, unstable `SourceIter` and `InPlaceIterable` traits have been added. The first allows reaching through the iterator pipeline to grab a pointer to the source memory. The latter is a marker that promises that the read pointer will advance as fast or faster than the write pointer and thus in-place operation is possible in the first place.
* `vec::IntoIter` implements `TrustedRandomAccess` for `T: Copy` to allow in-place collection when there is a `Zip` adapter in the iterator. TRA had to be made an unstable public trait to support this.

## In-place collectible adapters

* `Map`
* `MapWhile`
* `Filter`
* `FilterMap`
* `Fuse`
* `Skip`
* `SkipWhile`
* `Take`
* `TakeWhile`
* `Enumerate`
* `Zip` (left hand side only, `Copy` types only)
* `Peek`
* `Scan`
* `Inspect`

## Concerns

`vec.into_iter().filter(|_| false).collect()` will no longer return a vec with 0 capacity, instead it will return its original allocation. This avoids the cost of doing any allocation or deallocation but could lead to large allocations living longer than expected.
If that's not acceptable some resizing policy at the end of the attempted in-place collect would be necessary, which in the worst case could result in one more memcopy than the non-specialized case.

## Possible followup work

* split liballoc/vec.rs to remove `ignore-tidy-filelength`
* try to get trivial chains such as `vec.into_iter().skip(1).collect::<Vec<)>>()` to compile to a `memmove` (currently compiles to a pile of SIMD, see #69187 )
* improve up the traits so they can be reused by other crates, e.g. itertools. I think currently they're only good enough for internal use
* allow iterators sourced from a `HashSet` to be in-place collected into a `Vec`

3 years agofix debug assertion
The8472 [Thu, 3 Sep 2020 20:15:47 +0000 (22:15 +0200)]
fix debug assertion

The InPlaceIterable debug assert checks that the write pointer
did not advance beyond the read pointer. But TrustedRandomAccess
never advances the read pointer, thus triggering the assert.
Skip the assert if the source pointer did not change during iteration.

3 years agoAuto merge of #73819 - euclio:rustdoc-summaries, r=jyn514,GuillaumeGomez
bors [Thu, 3 Sep 2020 19:07:38 +0000 (19:07 +0000)]
Auto merge of #73819 - euclio:rustdoc-summaries, r=jyn514,GuillaumeGomez

rustdoc: do not use plain summary for trait impls

Fixes #38386.
Fixes #48332.
Fixes #49430.
Fixes #62741.
Fixes #73474.

Unfortunately this is not quite ready to go because the newly-working links trigger a bunch of linkcheck failures. The failures are tough to fix because the links are resolved relative to the implementor, which could be anywhere in the module hierarchy.

(In the current docs, these links end up rendering as uninterpreted markdown syntax, so I don't think these failures are any worse than the status quo. It might be acceptable to just add them to the linkchecker whitelist.)

Ideally this could be fixed with intra-doc links ~~but it isn't working for me: I am currently investigating if it's possible to solve it this way.~~ Opened #73829.

EDIT: This is now ready!

3 years agoimprove comments and naming
The8472 [Wed, 2 Sep 2020 19:40:19 +0000 (21:40 +0200)]
improve comments and naming

3 years agoadd explanation to specialization marker
The8472 [Sun, 30 Aug 2020 00:15:45 +0000 (02:15 +0200)]
add explanation to specialization marker

3 years agoremove separate no-drop code path since it resulted in more LLVM IR
The8472 [Wed, 26 Aug 2020 21:32:09 +0000 (23:32 +0200)]
remove separate no-drop code path since it resulted in more LLVM IR

3 years agoremove empty Vec extend optimization
The8472 [Wed, 26 Aug 2020 21:24:34 +0000 (23:24 +0200)]
remove empty Vec extend optimization

The optimization meant that every extend code path had to emit llvm
IR for from_iter and extend spec_extend, which likely impacts
compile times while only improving a few edge-cases

3 years agoplease tidy
The8472 [Fri, 21 Aug 2020 21:56:23 +0000 (23:56 +0200)]
please tidy

3 years agoget things to work under min_specialization by leaning more heavily on #[rustc_unsafe...
The8472 [Fri, 21 Aug 2020 21:53:13 +0000 (23:53 +0200)]
get things to work under min_specialization by leaning more heavily on #[rustc_unsafe_specialization_marker]

3 years agoavoid applying in-place collect specialization in type-length test
The8472 [Sun, 24 May 2020 01:23:15 +0000 (03:23 +0200)]
avoid applying in-place collect specialization in type-length test

the test was sized to match external iteration only, since
vec's in-place collect now uses internal iteration we collect into
a different type now.
Note that any other try-fold based operation such as count() would also
have exceeded the type length limit for that iterator.

3 years agofix benchmark compile errors
The8472 [Wed, 20 May 2020 23:34:05 +0000 (01:34 +0200)]
fix benchmark compile errors

3 years agoapply required min_specialization attributes
The8472 [Mon, 18 May 2020 22:44:16 +0000 (00:44 +0200)]
apply required min_specialization attributes

3 years agosupport in-place collect for MapWhile adapters
The8472 [Sat, 4 Apr 2020 16:34:18 +0000 (18:34 +0200)]
support in-place collect for MapWhile adapters

3 years agopacify tidy
The8472 [Sun, 2 Feb 2020 19:24:40 +0000 (20:24 +0100)]
pacify tidy

3 years agogeneralize in-place collect to types of same size and alignment
The8472 [Tue, 28 Jan 2020 14:14:55 +0000 (15:14 +0100)]
generalize in-place collect to types of same size and alignment

3 years agoincrease comment verbosity
The8472 [Sun, 26 Jan 2020 19:52:59 +0000 (20:52 +0100)]
increase comment verbosity

3 years agowork around compiler overhead around lambdas in generics by extracting them into...
The8472 [Sun, 26 Jan 2020 19:51:57 +0000 (20:51 +0100)]
work around compiler overhead around lambdas in generics by extracting them into free functions

3 years agoextract IntoIter drop/forget used by specialization into separate methods
The8472 [Sun, 26 Jan 2020 19:50:05 +0000 (20:50 +0100)]
extract IntoIter drop/forget used by specialization into separate methods

3 years agoadd benchmark to cover in-place extend
The8472 [Sat, 25 Jan 2020 19:08:46 +0000 (20:08 +0100)]
add benchmark to cover in-place extend

3 years agoremove redundant cast
The8472 [Sat, 25 Jan 2020 16:58:34 +0000 (17:58 +0100)]
remove redundant cast

3 years agotest drops during in-place iteration
The8472 [Sat, 25 Jan 2020 16:55:47 +0000 (17:55 +0100)]
test drops during in-place iteration

3 years agomove unsafety into method, not relevant to caller
The8472 [Sat, 25 Jan 2020 14:02:13 +0000 (15:02 +0100)]
move unsafety into method, not relevant to caller

3 years agoreplace unsafe ptr::write with deref-write, benchmarks show no difference
The8472 [Sat, 25 Jan 2020 14:01:39 +0000 (15:01 +0100)]
replace unsafe ptr::write with deref-write, benchmarks show no difference

3 years agopacify tidy
The8472 [Wed, 15 Jul 2020 18:53:03 +0000 (20:53 +0200)]
pacify tidy

3 years agoreplace drop flag with ManuallyDrop
The8472 [Sat, 18 Jan 2020 15:13:28 +0000 (16:13 +0100)]
replace drop flag with ManuallyDrop

3 years agomark as_inner as unsafe and update comments
The8472 [Sat, 18 Jan 2020 15:03:58 +0000 (16:03 +0100)]
mark as_inner as unsafe and update comments

3 years agoavoid exposing that binary heap's IntoIter is backed by vec::IntoIter, use a private...
The8472 [Fri, 20 Dec 2019 19:28:10 +0000 (20:28 +0100)]
avoid exposing that binary heap's IntoIter is backed by vec::IntoIter, use a private trait instead

3 years agofix: bench didn't black_box its results
The8472 [Sat, 30 Nov 2019 18:40:28 +0000 (19:40 +0100)]
fix: bench didn't black_box its results

3 years agofix build issue due to stabilized feature
The8472 [Sat, 30 Nov 2019 14:35:18 +0000 (15:35 +0100)]
fix build issue due to stabilized feature

3 years agoimpl TrustedRandomAccess for vec::IntoIter
The8472 [Fri, 29 Nov 2019 00:11:14 +0000 (01:11 +0100)]
impl TrustedRandomAccess for vec::IntoIter

3 years agobench larger allocations
The8472 [Wed, 27 Nov 2019 21:19:15 +0000 (22:19 +0100)]
bench larger allocations

3 years agoinclude in-place .zip() in test
The8472 [Wed, 27 Nov 2019 21:19:06 +0000 (22:19 +0100)]
include in-place .zip() in test

3 years agoremove unecessary feature flag
The8472 [Mon, 24 Aug 2020 20:09:44 +0000 (22:09 +0200)]
remove unecessary feature flag

# Conflicts:
# library/alloc/src/lib.rs

3 years agomake tidy happy
The8472 [Sat, 23 Nov 2019 18:34:26 +0000 (19:34 +0100)]
make tidy happy

3 years agosupport in-place iteration for most adapters
The8472 [Sat, 23 Nov 2019 17:59:18 +0000 (18:59 +0100)]
support in-place iteration for most adapters

`Take` is not included since users probably call it with small constants
and it doesn't make sense to hold onto huge allocations in that case

3 years agomove free-standing method into trait impl
The8472 [Sat, 23 Nov 2019 17:30:32 +0000 (18:30 +0100)]
move free-standing method into trait impl

3 years agoadd in-place iteration for Zip
The8472 [Sat, 23 Nov 2019 17:29:47 +0000 (18:29 +0100)]
add in-place iteration for Zip

this picks the left hand side as source since it might be more natural to
consume that as IntoIter source

3 years agobench in-place zip
The8472 [Sat, 23 Nov 2019 17:26:52 +0000 (18:26 +0100)]
bench in-place zip

3 years agoadditional specializations tests
The8472 [Sat, 23 Nov 2019 13:34:58 +0000 (14:34 +0100)]
additional specializations tests

3 years agofix some in-place-collect edge-cases
The8472 [Sat, 23 Nov 2019 13:32:20 +0000 (14:32 +0100)]
fix some in-place-collect edge-cases

- it's an allocation optimization, so don't attempt to do it on ZSTs
- drop the tail of partially exhausted iters

3 years agoremove redundant code
The8472 [Sat, 23 Nov 2019 13:30:10 +0000 (14:30 +0100)]
remove redundant code

3 years agoimprove comments
The8472 [Thu, 21 Nov 2019 12:44:28 +0000 (13:44 +0100)]
improve comments

3 years agospecialize creating a Vec from a slice iterator where T: Copy
The8472 [Thu, 21 Nov 2019 12:43:53 +0000 (13:43 +0100)]
specialize creating a Vec from a slice iterator where T: Copy

this was already implemented for Extend but not for FromIterator

3 years agorestore SpecFrom<T, TrustedLen<Item=T>> specialization by nesting
The8472 [Thu, 21 Nov 2019 12:40:49 +0000 (13:40 +0100)]
restore SpecFrom<T, TrustedLen<Item=T>> specialization by nesting
specializations

3 years agouse From specializations on extend if extended Vec is empty
The8472 [Thu, 21 Nov 2019 12:24:48 +0000 (13:24 +0100)]
use From specializations on extend if extended Vec is empty

this enables in-place iteration and allocation reuse in additional cases

3 years agoexercise more of the in-place pipeline in the bench
The8472 [Thu, 21 Nov 2019 00:01:35 +0000 (01:01 +0100)]
exercise more of the in-place pipeline in the bench

3 years agobench in-place collect of droppables
The8472 [Wed, 20 Nov 2019 23:06:31 +0000 (00:06 +0100)]
bench in-place collect of droppables

3 years agocyclic in-place reuse bench
The8472 [Wed, 20 Nov 2019 22:37:50 +0000 (23:37 +0100)]
cyclic in-place reuse bench

3 years agoreturn the things under test so they get black_box()'ed
The8472 [Wed, 20 Nov 2019 02:09:30 +0000 (03:09 +0100)]
return the things under test so they get black_box()'ed

3 years agoadd benches from bluss' gists
The8472 [Tue, 19 Nov 2019 22:10:43 +0000 (23:10 +0100)]
add benches from bluss' gists

3 years agouse memmove instead of generic in-place iteration for IntoIter source
The8472 [Sun, 17 Nov 2019 13:50:48 +0000 (14:50 +0100)]
use memmove instead of generic in-place iteration for IntoIter source

this is the original SpecExtend<_, IntoIter> logic except generalizing
the fast-path to include a memmove

3 years agorestore Vec::extend specialization for vec::IntoIter sources that
The8472 [Sun, 17 Nov 2019 11:49:18 +0000 (12:49 +0100)]
restore Vec::extend specialization for vec::IntoIter sources that
was lost during refactoring

3 years agohide binary_heap::IntoIter internals behind impl Trait
The8472 [Sun, 17 Nov 2019 11:04:12 +0000 (12:04 +0100)]
hide binary_heap::IntoIter internals behind impl Trait

3 years agoremove example that relied on non-public trait
The8472 [Sun, 17 Nov 2019 00:32:36 +0000 (01:32 +0100)]
remove example that relied on non-public trait

3 years agorecover vectorization
The8472 [Sat, 16 Nov 2019 21:31:23 +0000 (22:31 +0100)]
recover vectorization

switch to try_fold and segregate the drop handling to keep
collect::<Vec<u8>>() and similar optimizer-friendly

It comes at the cost of less accurate debug_asserts and code complexity

3 years agoupdate benches
The8472 [Sat, 16 Nov 2019 16:27:39 +0000 (17:27 +0100)]
update benches

3 years agosimplify pointer arithmetic
The8472 [Fri, 15 Nov 2019 20:02:54 +0000 (21:02 +0100)]
simplify pointer arithmetic

3 years agofix doc link
The8472 [Fri, 15 Nov 2019 20:01:13 +0000 (21:01 +0100)]
fix doc link

3 years agouse add instead of offset
The8472 [Fri, 15 Nov 2019 02:54:44 +0000 (03:54 +0100)]
use add instead of offset

3 years agoimplement drop handling
The8472 [Fri, 15 Nov 2019 01:37:55 +0000 (02:37 +0100)]
implement drop handling

3 years agoassert that SourceIter requirements have not been violated by the pipeline
The8472 [Fri, 15 Nov 2019 00:27:41 +0000 (01:27 +0100)]
assert that SourceIter requirements have not been violated by the pipeline

3 years agomark SourceIter as unsafe, document invariants
The8472 [Fri, 15 Nov 2019 00:18:30 +0000 (01:18 +0100)]
mark SourceIter as unsafe, document invariants

3 years agoin-place collect for Vec. Box<[]> and BinaryHeap IntoIter and some adapters
The8472 [Fri, 11 Oct 2019 18:43:25 +0000 (20:43 +0200)]
in-place collect for Vec. Box<[]> and BinaryHeap IntoIter and some adapters

3 years agobench
The8472 [Fri, 18 Oct 2019 22:00:45 +0000 (00:00 +0200)]
bench

3 years agounrelated typo fix
The8472 [Fri, 11 Oct 2019 18:42:32 +0000 (20:42 +0200)]
unrelated typo fix

3 years agoRespect `-Z proc-macro-backtrace` flag for panics inside libproc_macro
Aaron Hill [Thu, 3 Sep 2020 16:11:18 +0000 (12:11 -0400)]
Respect `-Z proc-macro-backtrace` flag for panics inside libproc_macro

Fixes #76270

Previously, any panic occuring during a call to a libproc_macro method
(e.g. calling `Ident::new` with an invalid identifier) would always
cause an ICE message to be printed.

3 years agoAuto merge of #76283 - RalfJung:miri, r=RalfJung
bors [Thu, 3 Sep 2020 16:00:55 +0000 (16:00 +0000)]
Auto merge of #76283 - RalfJung:miri, r=RalfJung

update miri

Fixes https://github.com/rust-lang/rust/issues/76190
Cc @rust-lang/miri r? @ghost

3 years agorustc_lint: avoid trimmed paths for ty_find_init_error
Dan Aloni [Thu, 3 Sep 2020 11:33:55 +0000 (14:33 +0300)]
rustc_lint: avoid trimmed paths for ty_find_init_error

3 years agospecialization_graph: avoid trimmed paths for OverlapError
Dan Aloni [Thu, 3 Sep 2020 10:42:24 +0000 (13:42 +0300)]
specialization_graph: avoid trimmed paths for OverlapError

3 years agoupdate miri
Ralf Jung [Thu, 3 Sep 2020 10:41:27 +0000 (12:41 +0200)]
update miri

3 years agoTools, tests, and experimenting with MIR-derived coverage counters
Rich Kadel [Thu, 27 Aug 2020 21:13:04 +0000 (14:13 -0700)]
Tools, tests, and experimenting with MIR-derived coverage counters

Adds a new mir_dump output file in HTML/CSS to visualize code regions
and the MIR features that they came from (including overlapping spans).
See example below:

Includes a basic, MIR-block-based implementation of coverage injection,
available via `-Zexperimental-coverage`. This implementation has known
flaws and omissions, but is simple enough to validate the new tools and
tests.

The existing `-Zinstrument-coverage` option currently enables
function-level coverage only, which at least appears to generate
accurate coverage reports at that level.

Experimental coverage is not accurate at this time. When branch coverage
works as intended, the `-Zexperimental-coverage` option should be
removed.

This PR replaces the bulk of PR #75828, with the remaining parts of
that PR distributed among other separate and indentpent PRs.

This PR depends on three of those other PRs: #76000, #76002, and

Rust compiler MCP rust-lang/compiler-team#278

Relevant issue: #34701 - Implement support for LLVMs code coverage
instrumentation

![Screen-Recording-2020-08-21-at-2](https://user-images.githubusercontent.com/3827298/90972923-ff417880-e4d1-11ea-92bb-8713c6198f6d.gif)

3 years agorustc_driver: have TrimmedDefPaths::GoodPath only for rustc
Dan Aloni [Thu, 3 Sep 2020 06:30:51 +0000 (09:30 +0300)]
rustc_driver: have TrimmedDefPaths::GoodPath only for rustc

`run_compiler` is used by clippy and other tools, which should not have
the trimmed paths feature enabled by default, until we see it works well
for them.

Would also be nice to rename `TimePassesCallbacks` however it's a
submodule change.

3 years agoAuto merge of #76235 - jyn514:std-intra-links, r=poliorcetics
bors [Thu, 3 Sep 2020 05:53:48 +0000 (05:53 +0000)]
Auto merge of #76235 - jyn514:std-intra-links, r=poliorcetics

Convert many files to intra-doc links

Helps with https://github.com/rust-lang/rust/issues/75080
r? @poliorcetics
I recommend reviewing one commit at a time, but the diff is small enough you can do it all at once if you like :)

3 years agoAuto merge of #75971 - Amjad50:libstd-deny-unsafe_op_in_unsafe_fn, r=Mark-Simulacrum
bors [Thu, 3 Sep 2020 02:15:16 +0000 (02:15 +0000)]
Auto merge of #75971 - Amjad50:libstd-deny-unsafe_op_in_unsafe_fn, r=Mark-Simulacrum

Applied `#![deny(unsafe_op_in_unsafe_fn)]` in library/std/src/wasi

partial fix for #73904

There are still more that was not applied in [mod.rs]( https://github.com/rust-lang/rust/blob/38fab2ea92a48980219989817201bf2094ae826a/library/std/src/sys/wasi/mod.rs) and that is due to its using files from `../unsupported`

like:
```
#[path = "../unsupported/cmath.rs"]
pub mod cmath;
```

3 years agoApplied `#![deny(unsafe_op_in_unsafe_fn)]` in library/std/src/wasi
Amjad Alsharafi [Thu, 27 Aug 2020 02:43:58 +0000 (10:43 +0800)]
Applied `#![deny(unsafe_op_in_unsafe_fn)]` in library/std/src/wasi

All refactoring needed was only in `alloc.rs`, changed part of the code
in `alloc` method to satisfy the SAFETY statement

3 years agoAuto merge of #76265 - Dylan-DPC:rollup-j3i509l, r=Dylan-DPC
bors [Thu, 3 Sep 2020 00:24:50 +0000 (00:24 +0000)]
Auto merge of #76265 - Dylan-DPC:rollup-j3i509l, r=Dylan-DPC

Rollup of 12 pull requests

Successful merges:

 - #75150 (Add a note for Ipv4Addr::to_ipv6_compatible)
 - #76120 (Add `[T; N]::as_[mut_]slice`)
 - #76142 (Make all methods of `std::net::Ipv4Addr` const)
 - #76164 (Link to slice pattern in array docs)
 - #76167 (Replace MinGW library hack with heuristic controlling link mode)
 - #76204 (Rename and expose LoopState as ControlFlow)
 - #76238 (Move to intra-doc links for library/core/src/iter/traits/iterator.rs)
 - #76242 (Read: adjust a FIXME reference)
 - #76243 (Fix typos in vec try_reserve(_exact) docs)
 - #76245 (inliner: Avoid query cycles when optimizing generators)
 - #76255 (Update books)
 - #76261 (Use intra-doc links in `core::marker`)

Failed merges:

r? @ghost

3 years agoRollup merge of #76261 - camelid:intra-doc-links-for-core-marker, r=jyn514
Dylan DPC [Thu, 3 Sep 2020 00:22:18 +0000 (02:22 +0200)]
Rollup merge of #76261 - camelid:intra-doc-links-for-core-marker, r=jyn514

Use intra-doc links in `core::marker`

Part of #75080.

Also cleaned up a few things.

---

@rustbot modify labels: A-intra-doc-links T-doc

3 years agoRollup merge of #76255 - ehuss:update-books, r=ehuss
Dylan DPC [Thu, 3 Sep 2020 00:22:16 +0000 (02:22 +0200)]
Rollup merge of #76255 - ehuss:update-books, r=ehuss

Update books

## reference

4 commits in 1b6c4b0afab97c0230433466c97167bbbe8445f6..25391dba46262f882fa846beefaff54a966a8fa5
2020-08-18 17:04:28 -0700 to 2020-09-02 07:22:55 -0700
- clarify when reading uninititalized memory is allowed (rust-lang-nursery/reference#852)
- Update patterns chapter, add rest patterns. (rust-lang-nursery/reference#876)
- Improve Type-Coersion Documentation (rust-lang-nursery/reference#843)
- Added variable back into example. (rust-lang-nursery/reference#880)

## book

3 commits in c0a6a61b8205da14ac955425f74258ffd8ee065d..e5ed97128302d5fa45dbac0e64426bc7649a558c
2020-08-14 14:21:49 -0500 to 2020-08-31 12:53:40 -0500
- Fix type mismatch in listing 10-5 (rust-lang/book#2441)
- Update ppendix-06-translation.md (rust-lang/book#2437)
- Correct no-listing-10-result-in-tests: Take tests module out of the main function (rust-lang/book#2430)

## rust-by-example

3 commits in 80a10e22140e28392b99d24ed02f4c6d8cb770a0..19f0a0372af497b34369cf182d9d16156cab2969
2020-08-08 09:56:46 -0300 to 2020-08-26 09:38:48 -0300
- prefer `length` over `size` when talking about number of elements vs. bytesize (rust-lang/rust-by-example#1372)
- Split out variable shadowing into a separate example (rust-lang/rust-by-example#1370)
- Update extern crate related sections (rust-lang/rust-by-example#1369)

## edition-guide

1 commits in bd6e4a9f59c5c1545f572266af77f5c7a5bad6d1..81f16863014de60b53de401d71ff904d163ee030
2020-07-12 17:37:08 -0500 to 2020-08-27 13:56:31 -0700
- Fix a small typo. (rust-lang/edition-guide#218)

3 years agoRollup merge of #76245 - tmiasko:inline-generators, r=ecstatic-morse
Dylan DPC [Thu, 3 Sep 2020 00:22:14 +0000 (02:22 +0200)]
Rollup merge of #76245 - tmiasko:inline-generators, r=ecstatic-morse

inliner: Avoid query cycles when optimizing generators

The HIR Id trick is insufficient to prevent query cycles when optimizing
generators, since merely requesting a layout of a generator also
computes its `optimized_mir`.

Make no attempts to inline functions into generators within the same
crate to avoid query cycles.

Fixes #76181.

3 years agoRollup merge of #76243 - ama0:patch-1, r=jonas-schievink
Dylan DPC [Thu, 3 Sep 2020 00:22:13 +0000 (02:22 +0200)]
Rollup merge of #76243 - ama0:patch-1, r=jonas-schievink

Fix typos in vec try_reserve(_exact) docs

`try_reserve` and `try_reserve_exact` docs refer to calling `reserve` and `reserve_exact`.
`try_reserve_exact` example uses `try_reserve` method instead of `try_reserve_exact`.

3 years agoRollup merge of #76242 - RalfJung:read-fixme, r=Dylan-DPC
Dylan DPC [Thu, 3 Sep 2020 00:22:11 +0000 (02:22 +0200)]
Rollup merge of #76242 - RalfJung:read-fixme, r=Dylan-DPC

Read: adjust a FIXME reference

There's already another reference to https://github.com/rust-lang/rust/issues/42788 for basically the same problem, so lets reuse it here:
https://github.com/rust-lang/rust/blob/5e208efaa850efaa97495e81c49cf0f5767e8f49/library/std/src/io/mod.rs#L369-L376

r? @Dylan-DPC

3 years agoRollup merge of #76238 - denisvasilik:intra-doc-links-core-iterator, r=jyn514
Dylan DPC [Thu, 3 Sep 2020 00:22:10 +0000 (02:22 +0200)]
Rollup merge of #76238 - denisvasilik:intra-doc-links-core-iterator, r=jyn514

Move to intra-doc links for library/core/src/iter/traits/iterator.rs

Helps with #75080.

@jyn514 We're almost finished with this issue. Thanks for mentoring. If you have other topics to work on just let me know, I will be around in Discord.

@rustbot modify labels: T-doc, A-intra-doc-links

Known issues:

* Link from `core` to `std` (#74481):

    [`OsStr`]
    [`String`]
    [`VecDeque<T>`]

3 years agoRollup merge of #76204 - NoraCodes:nora/control_flow_enum, r=scottmcm
Dylan DPC [Thu, 3 Sep 2020 00:22:07 +0000 (02:22 +0200)]
Rollup merge of #76204 - NoraCodes:nora/control_flow_enum, r=scottmcm

Rename and expose LoopState as ControlFlow

Basic PR for #75744. Addresses everything there except for documentation; lots of examples are probably a good idea.

3 years agoRollup merge of #76167 - mati865:mingw-self-contained-heuristic, r=petrochenkov
Dylan DPC [Thu, 3 Sep 2020 00:22:06 +0000 (02:22 +0200)]
Rollup merge of #76167 - mati865:mingw-self-contained-heuristic, r=petrochenkov

Replace MinGW library hack with heuristic controlling link mode

Depends on https://github.com/rust-lang/rust/pull/76158
Closes https://github.com/rust-lang/rust/issues/68887

3 years agoRollup merge of #76164 - lzutao:slice-array, r=ehuss
Dylan DPC [Thu, 3 Sep 2020 00:22:04 +0000 (02:22 +0200)]
Rollup merge of #76164 - lzutao:slice-array, r=ehuss

Link to slice pattern in array docs

Fix a todo in https://github.com/rust-lang/reference/issues/739#issuecomment-578408449

3 years agoRollup merge of #76142 - CDirkx:const-ip, r=ecstatic-morse
Dylan DPC [Thu, 3 Sep 2020 00:22:02 +0000 (02:22 +0200)]
Rollup merge of #76142 - CDirkx:const-ip, r=ecstatic-morse

Make all methods of `std::net::Ipv4Addr` const

Make the following methods of `std::net::Ipv4Addr` unstable const under the `const_ipv4` feature:
 - `octets`
 - `is_loopback`
 - `is_private`
 - `is_link_local`
 - `is_global` (unstable)
 - `is_shared` (unstable)
 - `is_ietf_protocol_assignment` (unstable)
 - `is_benchmarking` (unstable)
 - `is_reserved` (unstable)
 - `is_multicast`
 - `is_broadcast`
 - `is_documentation`
 - `to_ipv6_compatible`
 - `to_ipv6_mapped`

This would make all methods of `Ipv6Addr` const.

Of these methods, `is_global`, `is_broadcast`, `to_ipv6_compatible`, and `to_ipv6_mapped` require a change in implementation.

Part of #76205

3 years agoRollup merge of #76120 - LukasKalbertodt:add-as-slice-method-to-array, r=Mark-Simulacrum
Dylan DPC [Thu, 3 Sep 2020 00:22:00 +0000 (02:22 +0200)]
Rollup merge of #76120 - LukasKalbertodt:add-as-slice-method-to-array, r=Mark-Simulacrum

Add `[T; N]::as_[mut_]slice`

Part of me trying to populate arrays with a couple of basic useful methods, like slices already have. The ability to add methods to arrays were added in #75212.  Tracking issue: #76118

This adds:

```rust
impl<T, const N: usize> [T; N] {
    pub fn as_slice(&self) -> &[T];
    pub fn as_mut_slice(&mut self) -> &mut [T];
}
```

These methods are like the ones on `std::array::FixedSizeArray` and in the crate `arraytools`.