Search results

What are the preconditions for (overlapping) ptr::copy?

Status: Open.

#549 In rust-lang/unsafe-code-guidelines;

· steffahn opened on Dec 17, 2024

1

10 comments

Promotion introduces UB into otherwise well-defined code

Status: Open.

#493 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Feb 28, 2024

1

21 comments

What is the safety invariant, if any, for unions?

Status: Open.

#352 In rust-lang/unsafe-code-guidelines;

· alercah opened on Jul 17, 2022

2

11 comments

What about: Pointer-to-integer transmutes?

A-provenanceTopic: Related to when which values have which provenance (but not which alias restrictions follow)Topic: Related to when which values have which provenance (but not which alias restrictions follow)

C-open-questionCategory: An open question that we should revisitCategory: An open question that we should revisit

Status: Open.

#286 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Jun 7, 2021

1

163 comments

Layout of homogeneous structs

A-layoutTopic: Related to data structure layout (`#[repr]`)Topic: Related to data structure layout (`#[repr]`)

S-not-opsemDespite being in this repo, this is not primarily a T-opsem questionDespite being in this repo, this is not primarily a T-opsem question

T-lang

Status: Open.

#36 In rust-lang/unsafe-code-guidelines;

· nikomatsakis opened on Oct 11, 2018

1

37 comments

What about: Targets where NULL is a valid pointer

A-memoryTopic: Related to memory accessesTopic: Related to memory accesses

A-validityTopic: Related to validity invariantsTopic: Related to validity invariants

S-pending-designStatus: Resolving this issue requires addressing some open design questionsStatus: Resolving this issue requires addressing some open design questions

Status: Open.

#29 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Sep 18, 2018

1

53 comments