rust-lang/rust-memory-model issues and pull requests

#50 - Code sample: nalgebra's swap_rows

Issue - State: closed - Opened by HadrienG2 almost 7 years ago - 6 comments

#49 - Request: Weekly Summary Mail List?

Issue - State: closed - Opened by naftulikay almost 7 years ago - 1 comment

#48 - vector reads and writes

Issue - State: closed - Opened by gnzlbg about 7 years ago - 10 comments

#44 - What's the definition of mutable aliasing for ZSTs?

Issue - State: closed - Opened by scottmcm over 7 years ago - 14 comments

#42 - Unitialized memory

Issue - State: closed - Opened by SimonSapin about 8 years ago - 11 comments

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

Issue - State: closed - Opened by nikomatsakis about 8 years ago - 25 comments

#40 - Compiler optimizations considered harmful in safe function in "unsafe module"

Issue - State: closed - Opened by RalfJung about 8 years ago - 20 comments

#39 - Clarify when StorageLive is legal

Issue - State: closed - Opened by RalfJung about 8 years ago - 5 comments

#38 - Clarify which inputs are permitted for the offset intrinsic (and the MIR binop)

Issue - State: closed - Opened by RalfJung about 8 years ago - 10 comments

#37 - Possible utility of 'unsafe lifetime in memory model

Issue - State: open - Opened by jpernst over 8 years ago - 1 comment
Labels: K-Model

#35 - container_of / offset_of

Issue - State: closed - Opened by diwic almost 9 years ago - 3 comments

#34 - Can we use some notion of safe reachability for legal unsafe code?

Issue - State: open - Opened by asajeffrey almost 9 years ago - 6 comments
Labels: K-Model

#31 - Unsafe Mutability Polymorphism

Issue - State: open - Opened by arielb1 almost 9 years ago - 1 comment
Labels: K-Code-Example

#29 - Terms improvements

Pull Request - State: closed - Opened by arielb1 almost 9 years ago

#28 - Capability-based Aliasing Model

Issue - State: open - Opened by arielb1 almost 9 years ago - 5 comments
Labels: T-lang, K-Model

#27 - using random pointers, but only guarded by an `if` comparison

Issue - State: open - Opened by nikomatsakis almost 9 years ago - 2 comments
Labels: K-Code-Example

#26 - Asserting-Conflicting-Access Model

Issue - State: open - Opened by nikomatsakis almost 9 years ago - 11 comments
Labels: K-Model

#25 - Reordering writes to before external function calls

Issue - State: closed - Opened by arielb1 almost 9 years ago - 1 comment
Labels: T-lang, K-Code-Example

#24 - Basic `&mut` noalias optimization in unsafe code

Issue - State: open - Opened by arielb1 almost 9 years ago
Labels: T-lang, K-Optimization

#23 - [MIR] do function calls consume their arguments?

Issue - State: closed - Opened by arielb1 almost 9 years ago - 3 comments
Labels: T-lang, K-Optimization

#22 - Forbid fabricating reference

Issue - State: closed - Opened by sanxiyn almost 9 years ago - 2 comments
Labels: K-Optimization

#21 - "Tootsie Pop" model

Issue - State: open - Opened by nikomatsakis almost 9 years ago - 7 comments
Labels: K-Model, Tootsie Pop

#20 - optimizing around unchecked-get

Issue - State: open - Opened by nikomatsakis almost 9 years ago - 2 comments
Labels: K-Optimization, Tootsie Pop

#19 - assume no "pointer arithmetic" performed on an `&T`

Issue - State: closed - Opened by nikomatsakis almost 9 years ago - 11 comments
Labels: K-Optimization

#16 - volatile and sensitive memory

Issue - State: closed - Opened by nikomatsakis almost 9 years ago - 2 comments
Labels: K-Code-Example

#15 - Fix compile error in compare_dangling_pointers

Pull Request - State: closed - Opened by diwic almost 9 years ago

#14 - `transmute_copy` should not have alignment requirements

Issue - State: closed - Opened by arielb1 almost 9 years ago - 4 comments
Labels: T-libs, K-Code-Example

#13 - License? Copyright assignment?

Issue - State: closed - Opened by strega-nil almost 9 years ago - 9 comments
Labels: K-Task

#12 - Is it undefined behavior to hold an invalid reference, if it is never dereferenced.

Issue - State: closed - Opened by mystor almost 9 years ago - 45 comments
Labels: T-lang, K-Code-Example

#11 - clarify lexprs/rexprs

Pull Request - State: closed - Opened by arielb1 almost 9 years ago - 5 comments

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

Issue - State: closed - Opened by nikomatsakis almost 9 years ago - 19 comments
Labels: T-lang, K-Code-Example

#9 - Breaking changes we want to make

Issue - State: closed - Opened by arielb1 almost 9 years ago - 5 comments

#8 - Defining Terms

Issue - State: closed - Opened by strega-nil almost 9 years ago - 18 comments

#7 - <*const T>::offset should be offset_arith

Issue - State: closed - Opened by strega-nil almost 9 years ago - 4 comments
Labels: T-libs, K-Code-Example

#6 - extra_load.md: Move to optimizations?

Issue - State: closed - Opened by RalfJung almost 9 years ago
Labels: K-Task

#5 - refcell_ref.md: RefCell::RefMut is fine

Issue - State: closed - Opened by RalfJung almost 9 years ago - 24 comments
Labels: T-lang, K-Code-Example

#4 - Can `resume_unwind` take an arbitrary box?

Issue - State: closed - Opened by nikomatsakis almost 9 years ago - 3 comments
Labels: T-libs, K-Code-Example

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

Issue - State: closed - Opened by nikomatsakis almost 9 years ago - 18 comments
Labels: T-libs, K-Code-Example

#2 - Passing safe references to empty enums

Issue - State: closed - Opened by nikomatsakis almost 9 years ago - 24 comments
Labels: T-lang, K-Code-Example

#1 - Using `*mut` with an active `&mut` to a parent container

Issue - State: closed - Opened by aidanhs almost 9 years ago - 7 comments
Labels: T-lang, K-Code-Example

GitHub / rust-lang/rust-memory-model issues and pull requests