Commit Graph

110975 Commits

Author SHA1 Message Date
Dylan DPC
0144bf6a84
Rollup merge of #71340 - Valloric:more-check-pass, r=nikomatsakis
Moving more build-pass tests to check-pass

One or two tests became build-pass without the FIXME because they really
needed build-pass (were failing without it).

Helps with #62277

---
<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/rust-lang/rust/71340)
<!-- Reviewable:end -->
2020-04-28 17:55:43 +02:00
Eric Huss
f23db015ad Update cargo 2020-04-28 08:34:58 -07:00
Eric Huss
501dae7112 Update books 2020-04-28 07:46:36 -07:00
bors
b7bd7c1024 Auto merge of #71636 - Dylan-DPC:rollup-9gc24ak, r=Dylan-DPC
Rollup of 5 pull requests

Successful merges:

 - #71311 (On `FnDef` type annotation suggestion, use fn-pointer output)
 - #71488 (normalize field projection ty to fix broken MIR issue)
 - #71489 (Fix off by one in treat err as bug)
 - #71585 (remove obsolete comment)
 - #71634 (Revert #71372 ("Fix #! (shebang) stripping account space issue").)

Failed merges:

r? @ghost
2020-04-28 12:28:24 +00:00
Dylan DPC
6cad1e3006
Rollup merge of #71634 - eddyb:revert-71372, r=petrochenkov
Revert #71372 ("Fix #! (shebang) stripping account space issue").

While #71372 fixed some of the problems `#!`-stripping had, it introduced others:
* inefficient implementation (`.chars().filter(...).collect()` on the entire input file)
  * this also means the length returned isn't always correct, leading to e.g. #71471
* it ignores whitespace anywhere, stripping ` # ! ...` which isn't a valid shebang
  * the definition of "whitespace" it uses includes newlines, which means even `\n#\n!\n...` is stripped as a shebang (and anything matching the regex `\s*#\s*!\s*`, and not followed by `[`, really)
* it's backward-incompatible but didn't go through Crater

Now, #71487 is already open and will solve all of these issues. But for running Crater, and just in case #71487 takes a bit longer, I decided it's safer to just revert #71372.

This will also make #71372's diff clearer, as it will start again from the original whitespace-unaware version.

r? @petrochenkov
2020-04-28 13:12:17 +02:00
Dylan DPC
8e025db592
Rollup merge of #71585 - tshepang:obsolete-comment, r=Dylan-DPC
remove obsolete comment

Not sure if it's better to have an outdated comment or no comment at all (made obsolete by 2b9fea1300).
2020-04-28 13:12:15 +02:00
Dylan DPC
2b5325dbff
Rollup merge of #71489 - spastorino:fix-treat-err-as-bug-handling, r=eddyb
Fix off by one in treat err as bug

`-Ztreat-err-as-bug` doesn't work properly with delay_span_bug.

r? @eddyb
2020-04-28 13:12:14 +02:00
Dylan DPC
5aebbe9ea2
Rollup merge of #71488 - spastorino:normalize-ty-to-fix-broken-mir, r=eddyb
normalize field projection ty to fix broken MIR issue

Fixes #71344

r? @eddyb
2020-04-28 13:12:12 +02:00
Dylan DPC
d9c1f5cf4f
Rollup merge of #71311 - estebank:fn-type-param, r=varkor
On `FnDef` type annotation suggestion, use fn-pointer output

Address the last point in #71209.
2020-04-28 13:12:09 +02:00
Eduard-Mihai Burtescu
4d67c8da55 Revert "Rollup merge of #71372 - ayushmishra2005:shebang_stripping, r=estebank"
This reverts commit 46a8dcef5c, reversing
changes made to f28e3873c5.
2020-04-28 13:02:58 +03:00
Camille GILLOT
d7d2185607 Add inlining. 2020-04-28 11:57:38 +02:00
Camille GILLOT
e33327782f Move a few queries to using an arena. 2020-04-28 11:49:55 +02:00
Camille GILLOT
0b789834dd Fix fulldeps tests. 2020-04-28 11:41:12 +02:00
Camille GILLOT
bd61870606 Fix incremental compilation. 2020-04-28 11:38:32 +02:00
Camille GILLOT
0a010b33ff Fix unused parentheses warning. 2020-04-28 11:36:30 +02:00
Camille GILLOT
143b8816a3 Stop leaking memory. 2020-04-28 11:34:53 +02:00
Camille GILLOT
e56c400432 Use the query system to allocate. 2020-04-28 11:34:17 +02:00
Camille GILLOT
bd42ef6e4f Introduce ArenaStorage. 2020-04-28 11:24:53 +02:00
Camille GILLOT
e8ef41e83f Allow the QueryCache to specify storage. 2020-04-28 11:14:48 +02:00
bors
d7afaa7247 Auto merge of #71444 - RalfJung:test-async-no-opt, r=jonas-schievink
smoke-test for async fn with mir-opt-level=0

MIR opt levels heavily influence which MIR transformations run, and we barely test non-default opt levels. I am particularly worried about `async fn` lowering and how it might (not) work when the set of preceding MIR passes changes -- see https://github.com/rust-lang/rust/pull/70073.

This adds some basic smoke testing, where at least a few `async fn` `run-pass` test are ensured to also work with mir-opt-level=0.
2020-04-28 09:06:55 +00:00
Ralf Jung
3a129df39c also run some generator tests without MIR optimizations 2020-04-28 08:22:08 +02:00
bors
fb5615a477 Auto merge of #71292 - marmeladema:queries-local-def-id, r=eddyb
Convert more queries to use `LocalDefId`

This PR is based on commits in https://github.com/rust-lang/rust/pull/71215 and should partially solve #70853
2020-04-28 05:01:27 +00:00
Félix Fischer
16ebaf9273 Polished documentation, removed not-so-useful-anymore traces, and added some doc comments in mir/transform/const_prop.rs 2020-04-28 00:53:48 -04:00
Félix Fischer
05d7a60ff8 Changed simplify_match output query because it had become outdated 2020-04-28 00:53:48 -04:00
Félix Fischer
e2ab2758f2 Added MIR const-prop diff tests to show why some assertions now fail at compile-time 2020-04-28 00:53:44 -04:00
Félix Fischer
072649ec5d Added new ui tests to show what errors MIR can now find at compile time 2020-04-28 00:44:54 -04:00
Félix Fischer
86927eddaf Allow Locals to be propagated into and from, but restricted to their own block 2020-04-28 00:44:50 -04:00
bors
6db2094c90 Auto merge of #71606 - Xanewok:update-rls, r=Xanewok
Update RLS to unbreak toolstate

Breakage caused by https://github.com/rust-lang/rust/pull/71263.

r? @ghost
2020-04-28 01:46:47 +00:00
Félix Fischer
3fd2d4aaa6 Blocked MutatingUseContext::Projection for all locals of kind LocalKind::Temp. Added a cache of LocalKinds to CanConstProp 2020-04-27 20:13:22 -04:00
Félix Fischer
6316601ec4 Added regression test for literal propagation and for scalar pair propagation 2020-04-27 20:13:16 -04:00
Donough Liu
8d2f301283 Fix wrong argument in autoderef process 2020-04-28 08:05:24 +08:00
marmeladema
1349272a6e Accept LocalDefId as key for check_impl_item_well_formed query 2020-04-27 23:58:11 +01:00
marmeladema
14119a2a05 Accept LocalDefId as key for check_trait_item_well_formed query 2020-04-27 23:58:11 +01:00
marmeladema
d9e5fa15ff Accept LocalDefId as key for check_item_well_formed query 2020-04-27 23:58:11 +01:00
marmeladema
c9f6ffc3b0 Change return type of entry_fn query to return a LocalDefId 2020-04-27 23:58:11 +01:00
marmeladema
3877f54000 Declare body_owner and subject_def_id as LocalDefId in RegionCtxt 2020-04-27 23:57:55 +01:00
marmeladema
91d5ab3fb1 Declare body_owner as LocalDefId in MemCategorizationContext 2020-04-27 23:55:41 +01:00
marmeladema
3c6e6ca729 Accept LocalDefId as key for check_mod_privacy query 2020-04-27 23:55:41 +01:00
marmeladema
49d0b727ea Accept LocalDefId as key for lint_mod query 2020-04-27 23:55:41 +01:00
marmeladema
9e3bb615d5 Accept LocalDefId as argument for mir_build::lint::check 2020-04-27 23:55:41 +01:00
marmeladema
eada4101a0 Accept LocalDefId as key for mir_validated query 2020-04-27 23:55:32 +01:00
Zach Reizner
4b762ec95a
Update link to unstable book for llvm_asm macro 2020-04-27 15:51:51 -07:00
bors
c354509343 Auto merge of #71620 - Dylan-DPC:rollup-9wgtisb, r=Dylan-DPC
Rollup of 7 pull requests

Successful merges:

 - #67841 (Add Read/Write::can_read/write_vectored)
 - #71524 (Minimize parameter of coerce_borrowed_pointer())
 - #71558 (Cleanup and document `-Z tls-model` )
 - #71578 (linkchecker: fix typo in main.rs)
 - #71596 (Fix broken link in `QPath` documentation)
 - #71604 (make recursive-zst test unleashed)
 - #71605 (No need to whitelist E0750 anymore)

Failed merges:

r? @ghost
2020-04-27 22:49:05 +00:00
Vadim Petrochenkov
1686f5c68c Disable localization for all linkers 2020-04-27 23:56:28 +03:00
marmeladema
6e930f72d0 Accept LocalDefId as key for mir_borrowck query 2020-04-27 21:50:18 +01:00
marmeladema
82823c0229 Return a FxHashSet<LocalDefId> from mir_keys query 2020-04-27 21:50:17 +01:00
marmeladema
82cc530431 Accept LocalDefId as keyt for names_imported_by_glob_use
and `maybe_unused_trait_import` queries
2020-04-27 21:50:17 +01:00
marmeladema
da975c318d Use LocalDefId for type_param_predicates query 2020-04-27 21:50:17 +01:00
marmeladema
f2f0478de7 Use LocalDefId in mir_built query 2020-04-27 21:50:17 +01:00
marmeladema
abd31ad6e8 Use LocalDefId in unsafety_check_result query 2020-04-27 21:50:17 +01:00