Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

MIR validation: ensure that downcast projection is followed by field projection#125616

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Merged

Conversation

@RalfJung
Copy link
Member

@rustbot
Copy link
Collaborator

r?@fee1-dead

rustbot has assigned@fee1-dead.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

User? to explicitly pick a reviewer

@rustbotrustbot added S-waiting-on-reviewStatus: Awaiting review from the assignee but also interested parties. T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. labelsMay 27, 2024
@rustbot
Copy link
Collaborator

This PR changes MIR

cc@oli-obk,@RalfJung,@JakobDegen,@davidtwco,@celinval,@vakaras

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

@rust-log-analyzer

This comment has been minimized.

@RalfJungRalfJungforce-pushed themir-validate-downcast-projection branch from53fa9f8 to7d24f87CompareMay 27, 2024 14:32
@rustbot
Copy link
Collaborator

The Miri subtree was changed

cc @rust-lang/miri

@compiler-errors
Copy link
Member

r? compiler-errors@bors r+ rollup

@bors
Copy link
Collaborator

📌 Commit7d24f87 has been approved bycompiler-errors

It is now in thequeue for this repository.

@borsbors added S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-reviewStatus: Awaiting review from the assignee but also interested parties. labelsMay 27, 2024
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull requestMay 27, 2024
…jection, r=compiler-errorsMIR validation: ensure that downcast projection is followed by field projectionCcrust-lang#120369
bors added a commit to rust-lang-ci/rust that referenced this pull requestMay 27, 2024
…iaskrgrRollup of 5 pull requestsSuccessful merges: -rust-lang#125339 (The number of tests does not depend on the architecture's pointer width) -rust-lang#125539 (crashes: increment the number of tracked ones) -rust-lang#125542 (Migrate rustdoc verify output files) -rust-lang#125613 (Use `rmake` for `windows-` run-make tests) -rust-lang#125616 (MIR validation: ensure that downcast projection is followed by field projection)Failed merges: -rust-lang#125573 (Migrate `run-make/allow-warnings-cmdline-stability` to `rmake.rs`)r? `@ghost``@rustbot` modify labels: rollup
bors added a commit to rust-lang-ci/rust that referenced this pull requestMay 27, 2024
…iaskrgrRollup of 4 pull requestsSuccessful merges: -rust-lang#125339 (The number of tests does not depend on the architecture's pointer width) -rust-lang#125542 (Migrate rustdoc verify output files) -rust-lang#125616 (MIR validation: ensure that downcast projection is followed by field projection) -rust-lang#125625 (Use grep to implement verify-line-endings)Failed merges: -rust-lang#125573 (Migrate `run-make/allow-warnings-cmdline-stability` to `rmake.rs`)r? `@ghost``@rustbot` modify labels: rollup
@borsbors merged commit61f9d35 intorust-lang:masterMay 27, 2024
@rustbotrustbot added this to the1.80.0 milestoneMay 27, 2024
rust-timer added a commit to rust-lang-ci/rust that referenced this pull requestMay 27, 2024
Rollup merge ofrust-lang#125616 - RalfJung:mir-validate-downcast-projection, r=compiler-errorsMIR validation: ensure that downcast projection is followed by field projectionCcrust-lang#120369
@RalfJungRalfJung deleted the mir-validate-downcast-projection branchMay 28, 2024 08:23
jaisnan pushed a commit to jaisnan/rust-dev that referenced this pull requestJul 29, 2024
Update Rust toolchain from nightly-2024-05-27 to nightly-2024-05-28without any other source changes.This is an automatically generated pull request. If any of the CI checksfail, manual intervention is required. In such a case, review thechanges athttps://github.com/rust-lang/rust fromrust-lang@bdbbb6cup torust-lang@84b40fc.The log for this commit range is:rust-lang@84b40fc908 Auto merge ofrust-lang#125628 - matthiaskrgr:rollup-3zk9v3w, r=matthiaskrgrrust-lang@4966e1ae35 Rollup merge ofrust-lang#125625 - ChrisDenton:line-endings, r=Mark-Simulacrumrust-lang@61f9d35798 Rollup merge ofrust-lang#125616 - RalfJung:mir-validate-downcast-projection, r=compiler-errorsrust-lang@e8dd585dd8 Rollup merge ofrust-lang#125542 - GuillaumeGomez:migrate-rustdoc-verify-output-files, r=jieyouxurust-lang@8bd15878eb Rollup merge ofrust-lang#125339 - tbu-:pr_tidy_ui_tests_u32, r=clubby789rust-lang@f00b02e6bb Auto merge ofrust-lang#125599 - camelid:clarify-stability, r=notriddle,GuillaumeGomezrust-lang@7a847fc4fb Use grep toimplement verify-line-endingsrust-lang@b0f8618938 Auto merge ofrust-lang#125413 - lcnr:ambig-drop-region-constraints, r=compiler-errorsrust-lang@7d24f87068 MIR validation:ensure that downcast projection is followed by field projectionrust-lang@f6e4703e91 Auto merge ofrust-lang#125611 - GuillaumeGomez:rollup-dfavpgg, r=GuillaumeGomezrust-lang@bdf3864d51 Migrate`run-make/rustdoc-verify-output-files` to `rmake.rs`rust-lang@f0ab814aec Add`Rustdoc::output_format`rust-lang@1551fd1202 Add file path incase it cannot be read in `Diff::actual_file`rust-lang@90fec5a087 Add `copy_dir_all`and `recursive_diff` functions to `run-make-support`rust-lang@7083131c92 Rollup merge ofrust-lang#125607 - GuillaumeGomez:migrate-compile-stdin, r=jieyouxurust-lang@a9c125f864 Rollup merge ofrust-lang#125597 - compiler-errors:early-binder, r=jackh726rust-lang@cfa7ab474f Rollup merge ofrust-lang#125535 - onur-ozkan:remove-deprecated-field, r=clubby789rust-lang@f50b4f5034 Rollup merge ofrust-lang#125530 - SparrowLii:expand2, r=petrochenkovrust-lang@ad37f40355 Rollup merge ofrust-lang#125522 - spastorino:fix-lint-docs-edition-handling,r=Urgau,michaelwoeristerrust-lang@86f2fa35a2 Rollup merge ofrust-lang#125148 - RalfJung:codegen-sh, r=scottmcmrust-lang@6dddc888fc Rollup merge ofrust-lang#124870 - Lokathor:update-result-docs, r=dtolnayrust-lang@a59072ec4f Auto merge ofrust-lang#125602 - RalfJung:interpret-mir-lifetime, r=oli-obkrust-lang@e4abfaeb62 Migrate`run-make/compile-stdin` to `rmake.rs`rust-lang@b582f807fa Auto merge ofrust-lang#125410 - fmease:adj-lint-diag-api, r=nnethercoterust-lang@fec98b3bbc Auto merge ofrust-lang#125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errorsrust-lang@e8379c9598 interpret: get ridof 'mir lifetime everywhererust-lang@36d36a3e1f interpret: the MIRis actually at lifetime 'tcxrust-lang@699d28f968 rustdoc: Show"const" for const-unstable if also overall unstablerust-lang@cdc509f7c0 Auto merge ofrust-lang#125580 - RalfJung:miri-sync, r=RalfJungrust-lang@f92292978f Use EarlyBinder inrustc_type_ir, simplify importsrust-lang@993553ceb8 Uplift EarlyBinderrust-lang@529bb2573a Auto merge ofrust-lang#125593 - workingjubilee:rollup-67qk7di, r=workingjubileerust-lang@bbcdb4fd3e Give EarlyBinder atcx parameterrust-lang@4ff78692db Rollup merge ofrust-lang#125582 - scottmcm:less-from-usize, r=jieyouxurust-lang@45507e4304 Rollup merge ofrust-lang#125566 - camelid:notify-accepted, r=GuillaumeGomezrust-lang@25b079a1cf Rollup merge ofrust-lang#125559 - scottmcm:simplify-shift-ubcheck, r=workingjubileerust-lang@c51fc1d02b Rollup merge ofrust-lang#125544 - Urgau:check-cfg-mention-cargo-specific, r=jieyouxurust-lang@b65b2b6ced Rollup merge ofrust-lang#125469 - compiler-errors:dont-skip-inner-const-body, r=cjgillotrust-lang@09e75921f3 Rollup merge ofrust-lang#125466 - compiler-errors:dont-probe-for-ambig-in-sugg, r=jieyouxurust-lang@5860d43af3 Rollup merge ofrust-lang#125046 - bjorn3:no_mutable_static_linkage, r=cjgillotrust-lang@866630d004 Rollup merge ofrust-lang#124048 - veera-sivarajan:bugfix-123773-c23-variadics, r=compiler-errorsrust-lang@0aad3f64e2 Auto merge ofrust-lang#125576 - lnicola:sync-from-ra, r=lnicolarust-lang@d37f456b2a Avoid a`FieldIdx::from_usize` in InstSimplifyrust-lang@0963353634 Auto merge ofrust-lang#3631- RalfJung:blocking-refactor, r=RalfJungrust-lang@2e89443b93 add a macro todeclare thread unblock callbacksrust-lang@8e861c6c4c Auto merge ofrust-lang#3632- RalfJung:readdir, r=RalfJungrust-lang@350f5c88db unix/fs: a bit ofcleanup in macos_fbsd_readdir_rrust-lang@e09bf5694b Auto merge ofrust-lang#3633- RalfJung:target, r=RalfJungrust-lang@cbec1288a2 fix './miri run--dep --target _'rust-lang@e6bb468b53 data_race: vectorindices can be reused immediately when the thread is gonerust-lang@a131243557 completely refactorhow we manage blocking and unblocking threadsrust-lang@f7ca8a6d66 Auto merge ofrust-lang#17296- mathew-horner:no-clone-target, r=Veykrilrust-lang@bd9cc02d10 Auto merge ofrust-lang#17295- 0xJonas:fix_passing_env_vars_to_cpptools, r=Veykrilrust-lang@5fa30f7eaa make release_clockalways work on the current threadrust-lang@fa7a3f9049 rustdoc: Elideconst-unstable if also unstable overallrust-lang@91b3ef5b4a Notify T-rustdoc forbeta-accepted and stable-accepted toorust-lang@9b480da367 It seems that anchornames are implicitly all lowercaserust-lang@0c84361342 Simplify the`unchecked_sh[lr]` ub-checks a bitrust-lang@f8279b10c3 Fix URL target, it'sin the module not the type.rust-lang@2b2f83e5ff github showed thatweird.rust-lang@2e8f14fb37 correct for copypaste errors when fixing wrapping.rust-lang@22668e83f6Resolverust-lang#124870 (comment)rust-lang@939f2671a0 revert to theinconsistent paragraph wrapping.rust-lang@eb9894f3c9 Removed returnrust-lang@afa8dfc51f Avoid clone whenconstructing runnable label.rust-lang@09677b03dd Formattingrust-lang@78fe45e273 Semicolonrust-lang@2315c6b764 Use correct formatfor setting environment variables when debugging with cpptoolsrust-lang@331bb3f10d Auto merge ofrust-lang#3630- rust-lang:rustup-2024-05-25, r=saethlinrust-lang@bebcb4e4b8 Also mention my-selffor check-cfg docs changesrust-lang@c76477d909 add change entryrust-lang@56dddd4c7e Remove deprecatedfield `dist.missing-tools`rust-lang@1d0ad04993 Merge from rustcrust-lang@3cfcfbf083 Preparing for mergefrom rustcrust-lang@41d4a95fca Add "better" editionhandling on lint-docs toolrust-lang@278212342e cleanup dependenceof `ExtCtxt` in transcribe when macro expansionrust-lang@24b5466892 drop regionconstraints for ambiguous goalsrust-lang@ed8e436916 move generics_ofcall outside of iterrust-lang@56d77b9048 Auto merge ofrust-lang#17275- roife:fix-issue-17012, r=Veykrilrust-lang@796cb8031d Remove failing testsrust-lang@f856ee357c Remove `DefId` from`EarlyParamRegion` (clippy/smir)rust-lang@fe2d7794ca Remove `DefId` from`EarlyParamRegion` (tedium/diagnostics)rust-lang@bd6344d829 Remove `DefId` from`EarlyParamRegion` (type system)rust-lang@b7b350cff7 docsrust-lang@008f6b3a3f Auto merge ofrust-lang#3626- devnexen:pthread_name_illumos, r=oli-obkrust-lang@7fc41d1bdf Auto merge ofrust-lang#3625- Strophox:miri-allocation-fix, r=RalfJungrust-lang@b84620ff17 extend commentsrust-lang@88d519f718 Auto merge ofrust-lang#3628- RalfJung:tokio, r=RalfJungrust-lang@561bd9a5ec add back some tokiofeaturesrust-lang@10d414091b Auto merge ofrust-lang#3627- rust-lang:rustup-2024-05-24, r=RalfJungrust-lang@4763eaf066 fmtrust-lang@debf88ae1a Merge from rustcrust-lang@9ce95c30b2 Preparing for mergefrom rustcrust-lang@c58b7c9c81 Don't skip innerconst when looking for body for suggestionrust-lang@4bc41b91d7 Don't continueprobing for method if in suggestion and autoderef hits ambiguityrust-lang@7f5e0aade8 solaris add suportfor threadname.rust-lang@3c7a13d870 tests: update testfor runnablesrust-lang@c10bda5577 Update docsrust-lang@1a37cfb703 Use cwd fromrunnable.args for debuggerrust-lang@7b54c8231e Revert "Debug usecargo workspace root as cwd.fixesrust-lang#13022"rust-lang@d83b267bc1 Add cwd toCargoRunnablerust-lang@6259991f04 Auto merge ofrust-lang#17287- Veykril:sysroot-encode-empty, r=Veykrilrust-lang@f93256ca42 Allow sysroots toonly consist of the source root dirrust-lang@1b374dfd9b differentiatebetween layout and alloc_layoutrust-lang@56c363b43e fix alloc_bytes(always allocate at least 1B)rust-lang@ecadf37df4 Auto merge ofrust-lang#17284- Veykril:doc-links, r=Veykrilrust-lang@616fdd04bb Use correcttoolchain channel when generating builtin type doc linksrust-lang@6e8646df8b Auto merge ofrust-lang#17174- Kohei316:fix-infer-async-block-with-tail-return-expr, r=Veykrilrust-lang@425ed6a181 Updatecrates/hir-ty/src/infer/expr.rsrust-lang@68fe34a4c2 Auto merge ofrust-lang#17140- harrysarson:harry-unused-self, r=Veykrilrust-lang@6ea763b9e2 Auto merge ofrust-lang#3624- rust-lang:rustup-2024-05-23, r=RalfJungrust-lang@400835fd11 fmtrust-lang@f1ffb8d859 Merge from rustcrust-lang@807a0f8c21 Preparing for mergefrom rustcrust-lang@37bf2d2dab Delay theconstruction of early lint diag structsrust-lang@9f67c50128 Remove `DelayDm`rust-lang@06bc4fc671 Remove`LintDiagnostic::msg`rust-lang@366ef95407 Slightly clean upsome lint infra coderust-lang@ac2708a347 Auto merge ofrust-lang#17270- davidbarsky:david/fix-completions-from-associated-types, r=Veykrilrust-lang@f2c3ef77b1 fix: ensure impliedbounds from associated types are considered in autocompleterust-lang@04a9a1a531 Auto merge ofrust-lang#3614- devnexen:illumos_time_support, r=oli-obkrust-lang@0916e72a34 Auto merge ofrust-lang#17251- roife:fix-issue-17057, r=Veykrilrust-lang@56ce7e0e06 Auto merge ofrust-lang#17252- davidbarsky:david/refactor-standalone-bools-into-struct, r=Veykrilrust-lang@f50f8fbcb9 Simplifyrust-lang@7a21dff517 internal: refactor`prefer_no_std`/`prefer_prelude` bools into a structrust-lang@4e9b12870c fix: checkpseudo-block by local_id instead of ModuleOriginrust-lang@ad810a51f0 Auto merge ofrust-lang#17277- Veykril:find-path-fixes, r=Veykrilrust-lang@3f638a9291 solaris/illumoslocaltime_r / clock_getime support enabled.rust-lang@d9dda8f84f Auto merge ofrust-lang#17279- Veykril:format_args-escape, r=Veykrilrust-lang@2ff9bab2eb fix: Fix format_argslowering passing incorrect parameters to rustc_parse_formatrust-lang@39e6032445 Auto merge ofrust-lang#17248- mladedav:dm/delay-clear, r=Veykrilrust-lang@24bf53d993 Auto merge ofrust-lang#17268- Veykril:signatures, r=Veykrilrust-lang@b1830a5fe6 Update assists testfixturesrust-lang@b29c755572 expectify find_pathtestsrust-lang@5992af6506 fix: Fix generalfind-path inconsistenciesrust-lang@7fd1429754 Auto merge ofrust-lang#3623- RalfJung:rustup, r=RalfJungrust-lang@abbe244a81 clippyrust-lang@a1bc030b70 Merge from rustcrust-lang@24138f0034 Preparing for mergefrom rustcrust-lang@c8b0e5b1a4 The number of testsdoes not depend on the architecture's pointer widthrust-lang@719eee2d82 test: add tests forextern preludes resolving in local modsrust-lang@41c006e21a Auto merge ofrust-lang#3610- marc0246:missing-error-kinds, r=RalfJungrust-lang@37a37f6ab3 Use`throw_unsup_format` instead of returning `ENOTSUP` in the mmap shimrust-lang@6438554bce Show fn traits insignature info for trait implementorsrust-lang@f42e55dfc8 Enable linkedlocations for closure param inlay hintsrust-lang@4b3d7f6039 Render closure fntrait kind in siganture helprust-lang@7045044da3 Allow hir::Param torefer to other entity params aside from functionsrust-lang@9ff4ffb817 Update builtin toollistrust-lang@ea2a16cadb fix: resolve externprelude for local mods in block modulesrust-lang@1287e868e9 Clear diagnosticsonly after new ones were receivedrust-lang@17bd43cb25 codegen:tweak/extend shift commentsrust-lang@b468f21051 Don't use `T` withboth Result and Option, improve explanation.rust-lang@531dae1cdf Only allow immutablestatics with #[linkage]rust-lang@10f8d1ffef use teletype on theattribute namerust-lang@f94fa6bee3 Some Resultcombinations work like an Option.rust-lang@dd16cbcb4e braces around {self}in UseTree are not unnecessaryrust-lang@39a653f632 Fix coercion ofasync blockrust-lang@f005b451c2 Support C23'sVariadics Without a Named Parameterrust-lang@62a104df98 Update TestsCo-authored-by: qinheping <16714939+qinheping@users.noreply.github.com>
Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment

Reviewers

@compiler-errorscompiler-errorscompiler-errors approved these changes

Assignees

@compiler-errorscompiler-errors

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Milestone

1.80.0

Development

Successfully merging this pull request may close these issues.

6 participants

@RalfJung@rustbot@rust-log-analyzer@compiler-errors@bors@fee1-dead

[8]ページ先頭

©2009-2025 Movatter.jp