rust-lang rust-memory-model issues

rust-lang / rust-memory-model

Collecting examples and information to help design a memory model for Rust.

Apache License 2.0

126 stars 15 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Code sample: nalgebra's swap_rows

#50 HadrienG2 closed 6 years ago
6
Request: Weekly Summary Mail List?

#49 naftulikay closed 5 years ago
1
vector reads and writes

#48 gnzlbg closed 5 years ago
10
What's the definition of mutable aliasing for ZSTs?

#44 scottmcm closed 6 years ago
14
Unitialized memory

#42 SimonSapin closed 2 years ago
11
#[repr(C)] C-like enums and out of range values

#41 nikomatsakis closed 5 years ago
25
Compiler optimizations considered harmful in safe function in "unsafe module"

#40 RalfJung closed 2 years ago
20
Clarify when StorageLive is legal

#39 RalfJung closed 5 years ago
5
Clarify which inputs are permitted for the offset intrinsic (and the MIR binop)

#38 RalfJung closed 2 years ago
10
Possible utility of 'unsafe lifetime in memory model

#37 jpernst opened 7 years ago
1
container_of / offset_of

#35 diwic closed 2 years ago
3
Can we use some notion of safe reachability for legal unsafe code?

#34 asajeffrey opened 8 years ago
6
Unsafe Mutability Polymorphism

#31 arielb1 opened 8 years ago
1
Terms improvements

#29 arielb1 closed 8 years ago
0
Capability-based Aliasing Model

#28 arielb1 opened 8 years ago
5
using random pointers, but only guarded by an `if` comparison

#27 nikomatsakis opened 8 years ago
2
Asserting-Conflicting-Access Model

#26 nikomatsakis opened 8 years ago
11
Reordering writes to before external function calls

#25 arielb1 closed 8 years ago
1
Basic `&mut` noalias optimization in unsafe code

#24 arielb1 opened 8 years ago
0
[MIR] do function calls consume their arguments?

#23 arielb1 closed 2 years ago
3
Forbid fabricating reference

#22 sanxiyn closed 2 years ago
2
"Tootsie Pop" model

#21 nikomatsakis opened 8 years ago
7
optimizing around unchecked-get

#20 nikomatsakis opened 8 years ago
2
assume no "pointer arithmetic" performed on an `&T`

#19 nikomatsakis closed 2 years ago
11
volatile and sensitive memory

#16 nikomatsakis closed 5 years ago
2
Fix compile error in compare_dangling_pointers

#15 diwic closed 8 years ago
0
`transmute_copy` should not have alignment requirements

#14 arielb1 closed 5 years ago
4
License? Copyright assignment?

#13 strega-nil closed 7 years ago
9
Is it undefined behavior to hold an invalid reference, if it is never dereferenced.

#12 mystor closed 5 years ago
45
clarify lexprs/rexprs

#11 arielb1 closed 8 years ago
5
Legal values for a `&T` or `&mut T` where `T` is zero-sized

#10 nikomatsakis closed 5 years ago
19
Breaking changes we want to make

#9 arielb1 closed 2 years ago
5
Defining Terms

#8 strega-nil closed 7 years ago
18
<*const T>::offset should be offset_arith

#7 strega-nil closed 5 years ago
4
extra_load.md: Move to optimizations?

#6 RalfJung closed 5 years ago
0
refcell_ref.md: RefCell::RefMut is fine

#5 RalfJung closed 5 years ago
24
Can `resume_unwind` take an arbitrary box?

#4 nikomatsakis closed 2 years ago
3
Legal values for a Box<T> where T is zero-sized

#3 nikomatsakis closed 5 years ago
18
Passing safe references to empty enums

#2 nikomatsakis closed 5 years ago
24
Using `*mut` with an active `&mut` to a parent container

#1 aidanhs closed 2 years ago
7