5

fix detecting references to packed unsized fields by RalfJung · Pull Request #11...

 7 months ago
source link: https://github.com/rust-lang/rust/pull/115583
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.

fix detecting references to packed unsized fields #115583

Conversation

Member

Fixes #115396

This is a breaking change, but permitted as a soundness fix.

wesleywiser reacted with heart emoji

Collaborator

r? @TaKO8Ki

(rustbot has picked a reviewer for you, use r? to override)

rustbot

added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

labels

Sep 5, 2023

This comment has been minimized.

Member

Author

Ah... we'll need something more clever to keep zerovec working it seems. We could exploit that slices actually have static alignment, only for dyn traits it is truly dynamic.

This comment has been minimized.

Member

Author

Since this is a breaking change, maybe we should ask crater.
@bors try

Also marking for "relnotes" preemptively; not sure how systematically we document small breaking changes? The release note editors should feel free to disregard this if it is considered too minor of a breaking change.

Contributor

⌛ Trying commit ad7045e with merge a9fc586...

RalfJung

added the relnotes Marks issues that should be documented in the release notes of the next release. label

Sep 12, 2023

Contributor

☀️ Try build successful - checks-actions
Build commit: a9fc586 (a9fc5861842d0dd949115c5f7677a90b5e29a4cf)

Member

Author

@craterbot check

Collaborator

👌 Experiment pr-115583 created and queued.
🤖 Automatically detected try build a9fc586
🔍 You can check out the queue and this experiment's details.

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

craterbot

added S-waiting-on-crater Status: Waiting on a crater run to be completed.

and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

labels

Sep 12, 2023

Collaborator

🚧 Experiment pr-115583 is now running

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

Collaborator

🎉 Experiment pr-115583 is completed!
📊 20 regressed and 3 fixed (366499 total)
📰 Open the full report.

⚠️ If you notice any spurious failure please add them to the blacklist!
ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

craterbot

added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

and removed S-waiting-on-crater Status: Waiting on a crater run to be completed.

labels

Sep 14, 2023

Collaborator

👌 Experiment pr-115583-1 created and queued.
🤖 Automatically detected try build a9fc586
🔍 You can check out the queue and this experiment's details.

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

craterbot

removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label

Sep 14, 2023

Collaborator

🚧 Experiment pr-115583-1 is now running

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

craterbot

added the S-waiting-on-crater Status: Waiting on a crater run to be completed. label

Sep 14, 2023

Collaborator

🎉 Experiment pr-115583-1 is completed!
📊 0 regressed and 0 fixed (20 total)
📰 Open the full report.

⚠️ If you notice any spurious failure please add them to the blacklist!
ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

craterbot

removed the S-waiting-on-crater Status: Waiting on a crater run to be completed. label

Sep 14, 2023

Member

decide that this doesn't need an FCP and can be merged without one ✨ 🤷

Since it's technically breaking we figured it probably ought to have an FCP, even as a soundness fix. Hopefully we'll get boxes checked quickly for you 🤞

lcnr reacted with laugh emoji

Contributor

@rfcbot reviewed

rfcbot

added final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised.

and removed proposed-final-comment-period Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off.

labels

Sep 26, 2023

🔔 This is now entering its final comment period, as per the review above. 🔔

oli-obk

removed the I-lang-nominated Indicates that an issue has been nominated for discussion during a lang team meeting. label

Sep 27, 2023

rfcbot

added finished-final-comment-period The final comment period is finished for this PR / Issue. to-announce Announce this issue on triage meeting

and removed final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised.

labels

Oct 6, 2023

The final comment period, with a disposition to merge, as per the review above, is now complete.

As the automated representative of the governance process, I would like to thank the author for their work and everyone else who contributed.

This will be merged soon.

Member

Author

@bors r=lcnr

Contributor

📌 Commit ad7045e has been approved by lcnr

It is now in the queue for this repository.

bors

added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

labels

Oct 7, 2023

Contributor

⌛ Testing commit ad7045e with merge 48e2462...

Contributor

☀️ Test successful - checks-actions
Approved by: lcnr
Pushing 48e2462 to master...

bors

added the merged-by-bors This PR was explicitly merged by bors label

Oct 7, 2023

bors

merged commit 48e2462 into

rust-lang:master

Oct 7, 2023

12 checks passed

rustbot

added this to the 1.75.0 milestone

Oct 7, 2023

Collaborator

Finished benchmarking commit (48e2462): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

Results

Cycles

This benchmark run did not return any relevant results for this metric.

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 624.03s -> 624.544s (0.08%)
Artifact size: 270.64 MiB -> 270.60 MiB (-0.01%)

surechen

added a commit to surechen/rust that referenced this pull request

Oct 10, 2023

bors-ferrocene bot

added a commit to ferrocene/ferrocene that referenced this pull request

Oct 11, 2023

bors-ferrocene bot

added a commit to ferrocene/ferrocene that referenced this pull request

Oct 11, 2023

bors-ferrocene bot

added a commit to ferrocene/ferrocene that referenced this pull request

Oct 11, 2023

RalfJung

deleted the packed-unsized branch

October 11, 2023 17:09

bors-ferrocene bot

added a commit to ferrocene/ferrocene that referenced this pull request

Oct 12, 2023

apiraino

removed the to-announce Announce this issue on triage meeting label

Oct 12, 2023

bors-ferrocene bot

added a commit to ferrocene/ferrocene that referenced this pull request

Oct 13, 2023

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

lcnr

Labels
disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. finished-final-comment-period The final comment period is finished for this PR / Issue. merged-by-bors This PR was explicitly merged by bors relnotes Marks issues that should be documented in the release notes of the next release. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-lang Relevant to the language team, which will review and decide on the PR/issue.
Projects

None yet

Milestone

1.75.0

Development

Successfully merging this pull request may close these issues.

Undetected unsound usage of packed field by unsize coercion

14 participants

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK