-
Notifications
You must be signed in to change notification settings - Fork 60
Issues: rust-lang/unsafe-code-guidelines
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 our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Should a mutable reference which is only used for reads become invalid on reads through other ptrs?
A-aliasing-model
Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
A-SB-vs-TB
Topic: Design questions where SB and TB are opposite sides of the design axis
#351
opened Jul 11, 2022 by
RalfJung
Storing an object as &Header, but reading the data past the end of the header
A-aliasing-model
Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
A-SB-vs-TB
Topic: Design questions where SB and TB are opposite sides of the design axis
C-open-question
Category: An open question that we should revisit
#256
opened Nov 11, 2020 by
thomcc
Stacked Borrows: How precise should UnsafeCell be tracked?
A-aliasing-model
Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
A-SB-vs-TB
Topic: Design questions where SB and TB are opposite sides of the design axis
C-open-question
Category: An open question that we should revisit
#236
opened Jun 12, 2020 by
RalfJung
Stacked Borrows: raw pointer usable only for Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
A-SB-vs-TB
Topic: Design questions where SB and TB are opposite sides of the design axis
C-open-question
Category: An open question that we should revisit
S-pending-design
Status: Resolving this issue requires addressing some open design questions
T
too strict?
A-aliasing-model
#134
opened May 28, 2019 by
RalfJung
Stacked Borrows: asserting uniqueness too early? Should we allow the optimizer to add spurious stores?
A-aliasing-model
Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
A-SB-vs-TB
Topic: Design questions where SB and TB are opposite sides of the design axis
C-open-question
Category: An open question that we should revisit
S-pending-design
Status: Resolving this issue requires addressing some open design questions
#133
opened May 28, 2019 by
RalfJung
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.