103769 Commits

Author SHA1 Message Date
Remy Rakic
4a760c6ea1 add regression test for issue 67053 2019-12-05 15:09:06 +01:00
Remy Rakic
bc0df79db3 libcore: rnable 2 unstable const fn features
So that we can bootstrap successfully
2019-12-05 15:01:30 +01:00
Remy Rakic
0f12711dd0 make const-qualif look at more const fns
the unstables ones in libcore, with the unstable feature disabled, were not checked
2019-12-05 14:59:56 +01:00
Ralf Jung
e5d50e3e88 comments 2019-12-05 14:38:24 +01:00
Ralf Jung
e822235323 add a test 2019-12-05 14:33:37 +01:00
Ralf Jung
8655ad5936 codegen: mark invalid SetDiscriminant unreachable 2019-12-05 14:20:53 +01:00
Konrad Borowski
6996ae1e79 Add UI test for Pin PartialEq unsoundness 2019-12-05 13:44:03 +01:00
Konrad Borowski
dfcf764d09 Document why Pin implementations aren't derived 2019-12-05 13:44:03 +01:00
Konrad Borowski
1cf0db19d4 Use deref target in Pin trait implementations
Using deref target instead of pointer itself avoids providing access to
`&Rc<T>` for malicious implementations, which would allow calling
`Rc::get_mut`.

This is a breaking change necessary due to unsoundness, however
the impact of it should be minimal.

This only fixes the issue with malicious `PartialEq` implementations,
other `Pin` soundness issues are still here.

See <https://internals.rust-lang.org/t/unsoundness-in-pin/11311/73>
for more details.
2019-12-05 13:44:03 +01:00
bors
1e2a73867d Auto merge of #66952 - 0dvictor:print, r=rkruppe
Use Module::print() instead of a PrintModulePass

llvm::Module has a print() method. It is unnecessary to create a pass just for the purpose of printing LLVM IR.
2019-12-05 11:23:26 +00:00
Mazdak Farrokhzad
74804fa3e7 rustc_parser: cleanup imports 2019-12-05 06:38:06 +01:00
bors
d825e35ee8 Auto merge of #66520 - alexcrichton:disable-gdb-wasm, r=eddyb
Disable gdb pretty printer global section on wasm targets

The wasm targets don't support gdb anyway so there's no need for this
section there.
2019-12-05 05:28:48 +00:00
Mazdak Farrokhzad
4746d37339 E0023: handle expected != pat-tup-type 2019-12-05 06:18:01 +01:00
Alex Crichton
5ce09bcfa2 Disable gdb pretty printer global section on wasm targets
The wasm targets don't support gdb anyway so there's no need for this
section there.
2019-12-04 20:15:21 -08:00
n-salim
28b37a24f3
Merge pull request #46 from Wind-River/master_base_V7LIBC-1069
add ExitStatusExt into prelude
2019-12-04 16:16:49 -08:00
Tomasz Miąsko
92bc35f7b6 Simplify {IoSlice, IoSliceMut}::advance examples and tests
Remove unnecessary calls to `std::mem::replace` and make variables immutable.
2019-12-05 00:00:00 +00:00
bors
aeaaf8f640 Auto merge of #67038 - RalfJung:miri, r=RalfJung
update miri

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

r? @ghost
2019-12-04 23:07:13 +00:00
Ralf Jung
e550760c03 update miri 2019-12-05 00:00:44 +01:00
Josh Stone
16d21783d6 Migrate to LLVM{Get,Set}ValueName2
The deprecated `LLVM{Get,Set}ValueName` only work with NUL-terminated
strings, but the `2` variants use explicit lengths, which fits better
with Rust strings and slices. We now use these in new helper functions
`llvm::{get,set}_value_name` that convert to/from `&[u8]`.
2019-12-04 12:00:28 -08:00
bors
6d77e45f01 Auto merge of #66866 - oli-obk:const_fn_memoization, r=RalfJung
Only memoize const fn calls during const eval

Miri and other engines may want to execute the function in order to detect UB inside of them.

r? @RalfJung
2019-12-04 17:48:19 +00:00
Oliver Scherer
af8f1416e1
Update src/librustc_mir/interpret/terminator.rs
Co-Authored-By: Ralf Jung <post@ralfj.de>
2019-12-04 16:38:58 +01:00
Mark Mansi
b998e83064 more private 2019-12-04 09:18:04 -06:00
Mark Mansi
d9511a1558 minor fix 2019-12-04 09:18:04 -06:00
Mark Mansi
3c4612a720 fix some imports 2019-12-04 09:18:04 -06:00
Mark Mansi
f5ac04ba43 move region errors to diagnostics module 2019-12-04 09:18:04 -06:00
Mark Mansi
fbf4731778 fix imports 2019-12-04 09:18:04 -06:00
Mark Mansi
4917bba0e8 move explain_borrow to diagnostics 2019-12-04 09:18:04 -06:00
Mark Mansi
67560976b4 fix imports 2019-12-04 09:18:03 -06:00
Mark Mansi
07a0486228 create new borrow_check::diagnostics module and move stuff there 2019-12-04 09:18:03 -06:00
Jethro Beekman
22d9f20f60 SGX: Fix target linker used by bootstrap 2019-12-04 16:02:28 +01:00
bors
c4f1304935 Auto merge of #66408 - nnethercote:greedy-process_obligations, r=nmatsakis
Make `process_obligations()` greedier.

`process_obligations()` adds new nodes, but it does not process these
new nodes until the next time it is called.

This commit changes it so that it does process these new nodes within
the same call. This change reduces the number of calls to
`process_obligations()` required to complete processing, sometimes
giving significant speed-ups.

The change required some changes to tests.
- The output of `cycle-cache-err-60010.rs` is slightly different.
- The unit tests required extra cases to handle the earlier processing
  of the added nodes. I mostly did these in the simplest possible way,
  by making the added nodes be ignored, thus giving outcomes the same as
  with the old behaviour. But I changed `success_in_grandchildren()`
  more extensively so that some obligations are completed earlier than
  they used to be.

r? @nikomatsakis
2019-12-04 14:33:38 +00:00
Elichai Turkel
8be7223145
Fix docs for formatting delegations 2019-12-04 15:20:47 +02:00
Guillaume Gomez
ae753a55ac some error codes long explanation 2019-12-04 13:36:50 +01:00
Guillaume Gomez
9eaea4d3ea Clean up E0118 error code long explanation 2019-12-04 13:35:26 +01:00
Guillaume Gomez
1e5450d4cb Clean up E0117 error code long explanation 2019-12-04 13:32:37 +01:00
Guillaume Gomez
c2ce7dd756 Clean up E0116 error code long explanation 2019-12-04 13:32:37 +01:00
Guillaume Gomez
12a267134e Remove unused constant 2019-12-04 13:13:59 +01:00
Guillaume Gomez
e14eebb6bb Make Lifetime struct field public 2019-12-04 13:13:59 +01:00
Guillaume Gomez
f5e0d0cc18 Make some formatting improvements 2019-12-04 13:13:59 +01:00
Guillaume Gomez
91e021a59c Make some private methods public 2019-12-04 13:13:59 +01:00
Guillaume Gomez
db0e6cd562 fixup clean/types.rs imports 2019-12-04 13:13:59 +01:00
Guillaume Gomez
81e549cc76 remove code that doesn't belong in clean/types.rs 2019-12-04 13:13:59 +01:00
bors
7fa046534e Auto merge of #66275 - oli-obk:organize-intrinsics-promotion-checks, r=RalfJung
Organize intrinsics promotion checks

cc @vertexclique

supersedes #61835

r? @RalfJung
2019-12-04 11:22:26 +00:00
Guillaume Gomez
a8ec6200df Remove potential cfgs duplicates 2019-12-04 11:53:33 +01:00
bors
5f1d6c4403 Auto merge of #65947 - eddyb:fn-abi, r=oli-obk,nagisa
rustc: split FnAbi's into definitions/direct calls ("of_instance") and indirect calls ("of_fn_ptr").

After this PR:
* `InstanceDef::Virtual` is only used for "direct" virtual calls, and shims around those calls use `InstanceDef::ReifyShim` (i.e. for `<dyn Trait as Trait>::f as fn(_)`)
  * this could easily be done for intrinsics as well, to allow their reification, but I didn't do it
* `FnAbi::of_instance` is **always** used for declaring/defining an `fn`, and for direct calls to an `fn`
  * this is great for e.g. https://github.com/rust-lang/rust/pull/65881 (`#[track_caller]`), which can introduce the "caller location" argument into "codegen signatures" by only changing `FnAbi::of_instance`, after this PR
* `FnAbi::of_fn_ptr` is used primarily for indirect calls, i.e. to `fn` pointers
  * *not* virtual calls (which use `FnAbi::of_instance` with `InstanceDef::Virtual`)
  * there's also a couple uses where the `rustc_codegen_llvm` needs to declare (i.e. FFI-import) an LLVM function that has no Rust declaration available at all
    * at least one of them could probably be a "weak lang item" instead

As there are many steps, this PR is best reviewed commit by commit - some of which arguably should be in their own PRs, I may have gotten carried away a bit.

cc @nagisa @rkruppe @oli-obk @anp
2019-12-04 08:22:05 +00:00
Esteban Küber
0103308ad3 Account for raw idents in module file finding 2019-12-03 22:25:44 -08:00
Esteban Küber
b5ad0cb033 review comments: move test 2019-12-03 22:25:15 -08:00
bors
a7fc0939ca Auto merge of #66996 - ehuss:update-cargo, r=alexcrichton
Update cargo

11 commits in 750cb1482e4d0e74822cded7ab8b3c677ed8b041..626f0f40efd32e6b3dbade50cd53fdfaa08446ba
2019-11-23 23:06:36 +0000 to 2019-12-03 16:53:04 +0000
- Change some texts to links in README (rust-lang/cargo#7652)
- Update config and environment variable docs. (rust-lang/cargo#7650)
- Stop ignoring .rs.bk files; rustfmt hasn't generated them in years (rust-lang/cargo#7647)
- Various contributing docs updates. (rust-lang/cargo#7642)
- Stabilize profile-overrides. (rust-lang/cargo#7591)
- Update comment about ResolveVersion default version. (rust-lang/cargo#7637)
- Update tests for slight wording change in rustdoc error message. (rust-lang/cargo#7641)
- Remove dep_targets. (rust-lang/cargo#7626)
- vendor: don't use canonical path in .cargo/config (rust-lang/cargo#7629)
- Minor testsuite organization. (rust-lang/cargo#7628)
- Remove failing plugin tests. (rust-lang/cargo#7630)
2019-12-04 05:07:34 +00:00
Aaron Hill
168e35d569
Include a span in more expected...found notes
In most places, we use a span when emitting `expected...found` errors.
However, there were a couple of places where we didn't use any span,
resulting in hard-to-interpret error messages.

This commit attaches the relevant span to these notes, and additionally
switches over to using `note_expected_found` instead of manually
formatting the message
2019-12-03 23:13:10 -05:00
Esteban Küber
f6b435d923 Accurately portray raw identifiers in error messages
When refering to or suggesting raw identifiers, refer to them with `r#`.

Fix #65634.
2019-12-03 19:01:42 -08:00