Skip to content

Document why layout.align() + layout.size() doesn't overflow#155255

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
Zoxc:ub-issue-16
Apr 18, 2026
Merged

Document why layout.align() + layout.size() doesn't overflow#155255
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
Zoxc:ub-issue-16

Conversation

@Zoxc
Copy link
Copy Markdown
Contributor

@Zoxc Zoxc commented Apr 13, 2026

This addition looks suspicious and is safety critical, but is saved by the weird Layout invariants.

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Apr 13, 2026
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Apr 13, 2026

r? @Mark-Simulacrum

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

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: @ChrisDenton, libs
  • @ChrisDenton, libs expanded to 8 candidates
  • Random selection from Mark-Simulacrum, jhpratt

@Mark-Simulacrum
Copy link
Copy Markdown
Member

@bors r+ rollup

@rust-bors
Copy link
Copy Markdown
Contributor

rust-bors Bot commented Apr 18, 2026

📌 Commit b9ec55b has been approved by Mark-Simulacrum

It is now in the queue for this repository.

@rust-bors rust-bors Bot 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 Apr 18, 2026
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Apr 18, 2026
Document why `layout.align() + layout.size()` doesn't overflow

This addition looks suspicious and is safety critical, but is saved by the weird `Layout` invariants.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 18, 2026
Document why `layout.align() + layout.size()` doesn't overflow

This addition looks suspicious and is safety critical, but is saved by the weird `Layout` invariants.
rust-bors Bot pushed a commit that referenced this pull request Apr 18, 2026
…uwer

Rollup of 10 pull requests

Successful merges:

 - #150230 (spec next chunk for trustedlen)
 - #155284 (net::tcp/udp: fix docs about how set_nonblocking is implemented)
 - #146870 (fix: add aliasing rules for Box)
 - #154003 (Make std::fs::File Send on UEFI)
 - #155187 (std: fix HashMap RNG docs wording)
 - #155255 (Document why `layout.align() + layout.size()` doesn't overflow)
 - #155351 (Reorganize tests from `tests/ui/issues/`)
 - #155406 (std: Update dependency on `wasi` crate)
 - #155447 (Simplify `parse_limited`)
 - #155481 (Delete `SizeSkeleton::Generic`)
@rust-bors rust-bors Bot merged commit f0df37f into rust-lang:main Apr 18, 2026
11 checks passed
@rustbot rustbot added this to the 1.97.0 milestone Apr 18, 2026
rust-timer added a commit that referenced this pull request Apr 18, 2026
Rollup merge of #155255 - Zoxc:ub-issue-16, r=Mark-Simulacrum

Document why `layout.align() + layout.size()` doesn't overflow

This addition looks suspicious and is safety critical, but is saved by the weird `Layout` invariants.
@Zoxc Zoxc deleted the ub-issue-16 branch April 18, 2026 22:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants