rust-lang/unsafe-code-guidelines issues and pull requests

Issue - State: closed - Opened by RalfJung about 1 year ago - 23 comments
Labels: T-opsem, disposition-merge, finished-final-comment-period, to-announce

#509 - Are &mut references that point to read only memory but are never written to undefined behavior

Issue - State: closed - Opened by gmorenz about 1 year ago - 3 comments

#508 - Is `usize::MAX` an allocatable address?

Issue - State: closed - Opened by CAD97 about 1 year ago - 6 comments

#507 - LLVM integer/pointer casts are unreliable and observably disagree with the intended Rust semantics

Issue - State: open - Opened by joboet over 1 year ago - 2 comments

#506 - Who is responsible for preventing reentrancy issues through the allocator?

Issue - State: open - Opened by RalfJung over 1 year ago - 10 comments

#505 - Better documentation needed: reentrancy through the panic hook

Issue - State: open - Opened by RalfJung over 1 year ago - 3 comments

#504 - When are `static` symbols guaranteed to show up in the final binary?

Issue - State: open - Opened by RalfJung over 1 year ago - 11 comments

#503 - What are the guarantees over ZST pointers

Issue - State: closed - Opened by celinval over 1 year ago - 11 comments

#502 - What's the source of immutability for pointers produced by `const`?

Issue - State: open - Opened by RalfJung over 1 year ago - 19 comments
Labels: A-aliasing-model

#501 - Tree Borrows: Two-phase borrows + interior mutability have surprising interactions

Issue - State: open - Opened by RalfJung over 1 year ago - 15 comments
Labels: A-aliasing-model

#500 - Dead variant removal in `#[repr(C)]` enums

Issue - State: closed - Opened by GoldsteinE over 1 year ago - 4 comments

#499 - Is String allowed to switch to a small-string optimization?

Issue - State: open - Opened by Manishearth over 1 year ago - 10 comments

#498 - add note on Stacked Borrows issues and why they are hard to fix

Pull Request - State: closed - Opened by RalfJung over 1 year ago

#497 - Provenance: storing to/loading from arbitrary addresses in an interpreter's registers

Issue - State: closed - Opened by anp over 1 year ago - 41 comments

#496 - std::slice::from_raw_parts alternative that would allow NULL pointer if len == 0 by returning an empty slice?

Issue - State: closed - Opened by procedural over 1 year ago - 3 comments

#495 - Minimum guarantees regarding `UnsafeCell`

Issue - State: closed - Opened by joshlf over 1 year ago - 22 comments

#494 - Adopt Minimum Union Validity Rules

Issue - State: open - Opened by chorman0773 over 1 year ago - 24 comments
Labels: A-unions, A-validity, T-opsem

#493 - Promotion introduces UB into otherwise well-defined code

Issue - State: open - Opened by RalfJung over 1 year ago - 18 comments

#492 - Does `Box` contain any `UnsafeCell`s?

Issue - State: open - Opened by joshlf over 1 year ago - 9 comments

#491 - What happens to the validiy requirements of the return value on a tail call?

Issue - State: open - Opened by RalfJung over 1 year ago - 4 comments

#490 - Provenance for zero-sized accesses?

Issue - State: closed - Opened by joshlf over 1 year ago - 2 comments

#489 - Re-evaluate ABI compatibility rules in light of CFI

Issue - State: open - Opened by RalfJung over 1 year ago - 11 comments

#488 - Is it sound to check whether the bytes of an `Option<&T>` are zero?

Issue - State: open - Opened by joshlf over 1 year ago - 25 comments

#487 - Semantics of SetDiscriminant with niched variants

Issue - State: open - Opened by RalfJung over 1 year ago - 5 comments

#486 - How transitive is repr(transparent)?

Issue - State: open - Opened by Manishearth over 1 year ago - 11 comments

#485 - Does the repr(transparent) guarantee work for fields that are empty types?

Issue - State: open - Opened by Manishearth over 1 year ago - 8 comments

#484 - How to avoid smuggling of data via TLS and scoped-tls and other means

Issue - State: open - Opened by RalfJung over 1 year ago - 28 comments

#483 - How can we allow read-read races between atomic and non-atomic accesses?

Issue - State: closed - Opened by RalfJung over 1 year ago - 1 comment

#482 - Revert "deliberate-ub: mention the load-load races in tokio"

Pull Request - State: closed - Opened by RalfJung over 1 year ago

#481 - deliberate-ub: mention the load-load races in tokio

Pull Request - State: closed - Opened by RalfJung over 1 year ago - 4 comments

#480 - Expressivity Gap: concurrent ABA-safe stack (atomics + provenance = pain)

Issue - State: open - Opened by RalfJung over 1 year ago - 24 comments

#479 - `handle_alloc_error` + UnsafeCell = ???

Issue - State: closed - Opened by workingjubilee over 1 year ago - 4 comments

#478 - "Dangling" means multiple things

Issue - State: open - Opened by Manishearth over 1 year ago - 5 comments
Labels: C-terminology

#477 - Manually dropping a variable raises an error

Issue - State: closed - Opened by wyfo over 1 year ago - 1 comment

#476 - Document the current recommendation when Rust is used to communicate with a different memory ordering model

Issue - State: open - Opened by fbq over 1 year ago - 13 comments

#475 - Fix some typos

Pull Request - State: closed - Opened by GrigorenkoPV over 1 year ago - 1 comment

#474 - Does UnsafeCell::raw_get preserve pointer provenance?

Issue - State: closed - Opened by Kolsky over 1 year ago - 3 comments

#473 - Are memory protected references that are never dereferenced in the code undefined behaviour?

Issue - State: closed - Opened by timfel over 1 year ago - 6 comments

#472 - Decide on zero-sized offsets and memory accesses

Issue - State: closed - Opened by RalfJung almost 2 years ago - 29 comments
Labels: T-opsem, disposition-merge, finished-final-comment-period, to-announce

#471 - Is Changing the Floating-point environment for intrinsic/assembly code UB?

Issue - State: open - Opened by chorman0773 almost 2 years ago - 43 comments
Labels: A-floats, S-pending-documentation

#470 - fix more links

Pull Request - State: closed - Opened by RalfJung almost 2 years ago

GitHub / rust-lang/unsafe-code-guidelines issues and pull requests