rust-lang/rust-memory-model

Issues

• Unitialized memory

  #42 opened 4 years ago by SimonSapin
  11

• Compiler optimizations considered harmful in safe function in "unsafe module"

  #40 opened 4 years ago by RalfJung
  20

• Clarify which inputs are permitted for the offset intrinsic (and the MIR binop)

  #38 opened 4 years ago by RalfJung
  10

• Possible utility of 'unsafe lifetime in memory model

  #37 opened 9 years ago by jpernst
  1

• container_of / offset_of

  #35 opened 4 years ago by diwic
  3

• Can we use some notion of safe reachability for legal unsafe code?

  #34 opened 9 years ago by asajeffrey
  6

• [MIR] do function calls consume their arguments?

  #23 opened 4 years ago by arielb1
  3

• Forbid fabricating reference

  #22 opened 4 years ago by sanxiyn
  2

• "Tootsie Pop" model

  #21 opened 9 years ago by nikomatsakis
  7

• optimizing around unchecked-get

  #20 opened 9 years ago by nikomatsakis
  2

• assume no "pointer arithmetic" performed on an `&T`

  #19 opened 4 years ago by nikomatsakis
  11

• Breaking changes we want to make

  #9 opened 4 years ago by arielb1
  5

• Can `resume_unwind` take an arbitrary box?

  #4 opened 4 years ago by nikomatsakis
  3

• Using `*mut` with an active `&mut` to a parent container

  #1 opened 4 years ago by aidanhs
  7

• Legal values for a Box<T> where T is zero-sized

  #3 opened 6 years ago by nikomatsakis
  18

• Is it undefined behavior to hold an invalid reference, if it is never dereferenced.

  #12 opened 6 years ago by mystor
  45

• volatile and sensitive memory

  #16 opened 6 years ago by nikomatsakis
  2

• Legal values for a `&T` or `&mut T` where `T` is zero-sized

  #10 opened 6 years ago by nikomatsakis
  19

• extra_load.md: Move to optimizations?

  #6 opened 6 years ago by RalfJung
  0

• <*const T>::offset should be offset_arith

  #7 opened 6 years ago by strega-nil
  4

• refcell_ref.md: RefCell::RefMut is fine

  #5 opened 6 years ago by RalfJung
  24

• vector reads and writes

  #48 opened 6 years ago by gnzlbg
  10

• Clarify when StorageLive is legal

  #39 opened 6 years ago by RalfJung
  5

• Passing safe references to empty enums

  #2 opened 6 years ago by nikomatsakis
  24

• Request: Weekly Summary Mail List?

  #49 opened 6 years ago by naftulikay
  1

• #[repr(C)] C-like enums and out of range values

  #41 opened 6 years ago by nikomatsakis
  25

• `transmute_copy` should not have alignment requirements

  #14 opened 7 years ago by arielb1
  4

• Code sample: nalgebra's swap_rows

  #50 opened 7 years ago by HadrienG2
  6

• What's the definition of mutable aliasing for ZSTs?

  #44 opened 8 years ago by scottmcm
  14

• Defining Terms

  #8 opened 9 years ago by strega-nil
  18

• License? Copyright assignment?

  #13 opened 9 years ago by strega-nil
  9

• Unsafe Mutability Polymorphism

  #31 opened 9 years ago by arielb1
  1

• Capability-based Aliasing Model

  #28 opened 9 years ago by arielb1
  5

• Asserting-Conflicting-Access Model

  #26 opened 9 years ago by nikomatsakis
  11

• using random pointers, but only guarded by an `if` comparison

  #27 opened 9 years ago by nikomatsakis
  2

• Reordering writes to before external function calls

  #25 opened 9 years ago by arielb1
  1

• Basic `&mut` noalias optimization in unsafe code

  #24 opened 9 years ago by arielb1
  0