Philipp Krones
6f9c70a201
Bump Clippy version -> 0.1.69
2023-01-27 20:27:00 +01:00
Philipp Krones
1f403e9ab9
Bump nightly version -> 2023-01-27
2023-01-27 20:26:48 +01:00
Philipp Krones
2bc2431fd1
Merge remote-tracking branch 'upstream/master' into rustup
2023-01-27 20:26:35 +01:00
Nilstrieb
454c473599
Remove BOOL_TY_FOR_UNIT_TESTING
...
It is not used anymore for unit testing.
2023-01-27 20:22:54 +01:00
Camille GILLOT
400cb9aa41
Separate witness type computation from the generator transform.
2023-01-27 19:00:26 +00:00
Camille GILLOT
e2387ad484
Remember where a type was kept in MIR.
2023-01-27 18:59:32 +00:00
Camille GILLOT
1974b6b68d
Introduce GeneratorWitnessMIR.
2023-01-27 18:58:44 +00:00
Camille GILLOT
03618d6afd
Always require Drop for generators.
2023-01-27 18:58:23 +00:00
Camille GILLOT
9259da51ed
Test the 3 generator handling versions for generator/async tests.
2023-01-27 18:58:13 +00:00
Camille GILLOT
a20078f044
Add drop_tracking_mir
option.
2023-01-27 18:57:34 +00:00
Camille GILLOT
cb873b2d93
Separate trait selection from ambiguity reporting.
2023-01-27 18:57:10 +00:00
Camille GILLOT
2870ce01b8
Impl HashStable/Encodable/Decodable for ObligationCause.
2023-01-27 18:56:32 +00:00
Camille GILLOT
caefec955f
Do not abort compilation when failing to normalize opaque types.
2023-01-27 18:55:58 +00:00
León Orell Valerian Liehr
80a1536c7a
recover more unbraced const args
2023-01-27 19:26:04 +01:00
Camille GILLOT
263da251af
Use successor location for dominator check.
...
The assignment is complete only after the statement.
This marks self-assignments `x = x + 1` as non-sSA.
2023-01-27 18:22:45 +00:00
Camille GILLOT
d29dc057ba
Do not merge locals that have their address taken.
2023-01-27 18:22:45 +00:00
Camille GILLOT
9096d31dcc
Extract SsaLocals abstraction.
2023-01-27 18:22:45 +00:00
Camille GILLOT
bec73b09fd
Pacify tidy.
2023-01-27 18:22:45 +00:00
Camille GILLOT
8f1dbe54ea
Discard raw pointers from SSA locals.
2023-01-27 18:22:45 +00:00
Camille GILLOT
d45815eb4a
Only consider a local to be SSA if assignment dominates all uses.
2023-01-27 18:22:45 +00:00
Camille GILLOT
38b55dc684
Add tests.
2023-01-27 18:22:45 +00:00
Camille GILLOT
6ed9f8f62e
Implement SSA CopyProp pass.
2023-01-27 18:22:45 +00:00
Camille GILLOT
c4fe96c323
Allow to remove unused definitions without renumbering locals.
2023-01-27 18:22:45 +00:00
Camille GILLOT
982726cdc4
Consider CopyForDeref
for DestProp.
2023-01-27 18:22:44 +00:00
Camille GILLOT
8f7e441a54
Add mir-opt test.
2023-01-27 18:22:44 +00:00
Camille GILLOT
8ba0cd6c9e
Make tests unit.
2023-01-27 18:22:44 +00:00
Michael Goulet
5bfd90efd1
Use now solver in evaluate_obligation
2023-01-27 17:53:07 +00:00
bors
ef982929c0
Auto merge of #107372 - JohnTitor:rollup-zkl2ges, r=JohnTitor
...
Rollup of 9 pull requests
Successful merges:
- #106806 (Replace format flags u32 by enums and bools.)
- #107194 (Remove dependency on slice_internals feature in rustc_ast)
- #107234 (Revisit fix_is_ci_llvm_available logic)
- #107316 (Update snap from `1.0.1` to `1.1.0`)
- #107321 (solver comments + remove `TyCtxt::evaluate_goal`)
- #107332 (Fix wording from `rustbuild` to `bootstrap`)
- #107347 (reduce rightward-drift)
- #107352 (compiler: Fix E0587 explanation)
- #107357 (Fix infinite loop in rustdoc get_all_import_attributes function)
Failed merges:
r? `@ghost`
`@rustbot` modify labels: rollup
2023-01-27 17:49:56 +00:00
Michael Woerister
e5995e6168
Don't merge vtables when full debuginfo is enabled.
2023-01-27 15:29:04 +00:00
Yuki Okushi
c64f4c41f7
Rollup merge of #107357 - GuillaumeGomez:fix-infinite-loop-in-rustdoc-get_all_import_attributes, r=notriddle
...
Fix infinite loop in rustdoc get_all_import_attributes function
Fixes https://github.com/rust-lang/rust/issues/107350 .
We'll also need to backport this fix to beta.
r? `@notriddle`
2023-01-28 00:23:16 +09:00
Yuki Okushi
85dc93b4d3
Rollup merge of #107352 - sameo:topic/E0587, r=JohnTitor
...
compiler: Fix E0587 explanation
We meant to use 8 as the packed argument.
Signed-off-by: Samuel Ortiz <sameo@rivosinc.com>
2023-01-28 00:23:15 +09:00
Yuki Okushi
b247253edd
Rollup merge of #107347 - tshepang:rightward-drift, r=Nilstrieb
...
reduce rightward-drift
2023-01-28 00:23:15 +09:00
Yuki Okushi
1e0cf727c3
Rollup merge of #107332 - chansuke:issue-107230, r=albertlarsan68
...
Fix wording from `rustbuild` to `bootstrap`
Fixes #107230
2023-01-28 00:23:14 +09:00
Yuki Okushi
d62f6fdff9
Rollup merge of #107321 - lcnr:comment, r=compiler-errors
...
solver comments + remove `TyCtxt::evaluate_goal`
from the `RustcContributor::explore` session yesterday.
This also removes `TyCtxt::evaluate_goal` because to canonicalize you have to use an `InferCtxt` anyways at which point we should just always get people to use `evaluate_root_goal`.
r? ``@spastorino``
2023-01-28 00:23:14 +09:00
Yuki Okushi
9ec7492862
Rollup merge of #107316 - ChrisDenton:snap, r=oli-obk
...
Update snap from `1.0.1` to `1.1.0`
As spotted by `@mejrs,` snap 1.0.1 emits a future compatibility warning. This was fixed in https://github.com/BurntSushi/rust-snappy/pull/39
2023-01-28 00:23:13 +09:00
Yuki Okushi
04dfde4ea2
Rollup merge of #107234 - Rattenkrieg:bootstrap-fix-is_ci_llvm_available, r=albertlarsan68
...
Revisit fix_is_ci_llvm_available logic
Fixes #107225
Now `supported_platforms` has a knowledge whether llvm asserts artifacts are available for particular host triple.
``@jyn514`` ``@albertlarsan68`` PTAL
2023-01-28 00:23:13 +09:00
Yuki Okushi
bed113de49
Rollup merge of #107194 - xfix:remove-slice-internals-dependency-in-rustc-ast, r=Nilstrieb
...
Remove dependency on slice_internals feature in rustc_ast
This reduces dependency on unstable features by the compiler.
2023-01-28 00:23:12 +09:00
Yuki Okushi
1163279c3a
Rollup merge of #106806 - m-ou-se:format-args-flags, r=oli-obk
...
Replace format flags u32 by enums and bools.
This gets rid of the `flags: u32` field where each bit has a special meaning, and replaces it by simple enums and booleans.
Part of #99012
2023-01-28 00:23:11 +09:00
bors
7919ef0ec5
Auto merge of #107055 - kylematsuda:eb-fn-sig, r=lcnr
...
Switch to `EarlyBinder` for `fn_sig` query
Part of the work to finish #105779 (also see https://github.com/rust-lang/types-team/issues/78 ).
Several queries `X` have a `bound_X` variant that wraps the output in [`EarlyBinder`](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/subst/struct.EarlyBinder.html ). This adds `EarlyBinder` to the return type of the `fn_sig` query and removes `bound_fn_sig`.
r? `@lcnr`
2023-01-27 15:02:44 +00:00
bors
54e929bdde
Auto merge of #10237 - cstyles:fix-docs-for-suspicious_xor_used_as_pow, r=Jarcho
...
Fix styling in documentation for `suspicious_xor_used_as_pow` lint
There was a tab after the three leading slashes which caused the contents of the "Why is this bad?" section to be rendered as a code block.
**Before:**
<img width="626" alt="master" src="https://user-images.githubusercontent.com/4869194/214985546-4433d211-9fd3-450c-8ff7-2c0a47fccdc0.png ">
**After:**
<img width="520" alt="fixed" src="https://user-images.githubusercontent.com/4869194/214985561-87255196-008c-4a1c-8cc8-c54b337d22a2.png ">
The file still contains a lot of tabs but they don't affect the documentation.
---
changelog: [`suspicious_xor_used_as_pow`]: Fix styling in documentation
2023-01-27 14:02:23 +00:00
bjorn3
de363d54c4
Revert back to LlvmArchiveBuilder on all platforms
...
ArArchiveBuilder doesn't support reading thin archives, causing a
regression.
2023-01-27 11:48:36 +00:00
bjorn3
2cf101c3e7
Revert "Remove macOS fat archive support from LlvmArchiveBuilder"
...
This reverts commit 047c7cc60c
.
2023-01-27 11:46:27 +00:00
bjorn3
b2e2988531
Revert "Avoid a temporary file when processing macOS fat archives"
...
This reverts commit bd8e476d8b
.
2023-01-27 11:46:20 +00:00
clubby789
0ae0d87c5d
Fix some Fluent typos
2023-01-27 11:27:37 +00:00
clubby789
ed707a106c
Detect references to non-existant messages in Fluent resources
2023-01-27 11:27:22 +00:00
Guillaume Gomez
1b64e16643
Add regression test for #107350
2023-01-27 12:11:01 +01:00
Guillaume Gomez
b8c44fa414
Fix infinite loop in rustdoc get_all_import_attributes function
2023-01-27 12:11:00 +01:00
Yuki Okushi
dbe911ff36
Add regression test for #60755
...
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2023-01-27 19:46:56 +09:00
Mara Bos
21cf9dbc85
Destructure format_options in make_format_spec.
2023-01-27 11:43:38 +01:00
Samuel Ortiz
706132d409
compiler: Fix E0587 explanation
...
We meant to use 8 as the packed argument.
Signed-off-by: Samuel Ortiz <sameo@rivosinc.com>
2023-01-27 10:59:51 +01:00