Commit Graph

809 Commits (fade453d23e59aad4aacf8c71e73d29a309c1d6c)
 

Author SHA1 Message Date
Ralf Jung ddc460c245 further clarify C11 6 years ago
Mazdak Farrokhzad a4d8c2ce6f
Merge pull request from RalfJung/atomics 6 years ago
Ralf Jung 37a0693e0e mention C11 in case someone wonders 6 years ago
Ralf Jung 9c5dc0be63 atomics: C11 -> C++20 6 years ago
Ralf Jung cbbe63b561 use sound/unsound terminology 6 years ago
Mazdak Farrokhzad 4374786f0b
Merge pull request from RalfJung/linkfix 6 years ago
Ralf Jung fdcf179d75 fix links for copy, copy_nonoverlapping 6 years ago
Ralf Jung 3600533888
Merge pull request from RalfJung/uninit 6 years ago
Ralf Jung 9fae750261 remark on structs and mem::uninitialized 6 years ago
Ralf Jung 2ab1783f2d remove a pointless remark 6 years ago
Ralf Jung 0a2172f104 clarify 'easy to change' 6 years ago
Ralf Jung f2c2491427
Apply feedback 6 years ago
Mazdak Farrokhzad 0f469dcadd
Merge pull request from RalfJung/zst 6 years ago
Mazdak Farrokhzad 7b3c50bfd7
Merge pull request from RalfJung/raw-wide 6 years ago
Ralf Jung d176807b2e
Update src/what-unsafe-does.md 6 years ago
Ralf Jung 04823fd22b use agreed-upon wording 6 years ago
Ralf Jung d3a5f5b21d
impove wording 6 years ago
Ralf Jung c6bf198f75 adjust fn unwinding clause to match reference 6 years ago
Ralf Jung 5287c526f7 fix noun 6 years ago
Ralf Jung 78c247398f note on not-too-large slices 6 years ago
Ralf Jung 8db5ad17bf fix slice wide ptr metadata 6 years ago
Ralf Jung 61b001f52c
Oxford 6 years ago
Ralf Jung 9cf4a9a6f1 clarify, also cover Box 6 years ago
Ralf Jung 8a3cc78962 fix and expand what we say about ZST 6 years ago
Ralf Jung 5e082af681 adjust for current reality wrt. wide raw pointers 6 years ago
Ralf Jung d1cf763599 update uninit section to MaybeUninit 6 years ago
Lzu Tao 38b9a76bc8 Fix transmute_copy link 6 years ago
Ralf Jung 92b7198c10 some edits 6 years ago
Ralf Jung d9709e1b74 drop parenthetical 6 years ago
Ralf Jung 02b64d1672 clarify dangling 6 years ago
Ralf Jung 052159694e fix def.n of dangling 6 years ago
Ralf Jung 121a5a01a1 fold uninit integer rule with reading uninit memory 6 years ago
Ralf Jung 98a71fde9f refactor null a bit 6 years ago
Ralf Jung 6596772610 resolve some nits 6 years ago
Ralf Jung 929fd20709 raw ptrs must be initialized like integers 6 years ago
Ralf Jung 307db2a17b Apply suggestions from code review 6 years ago
Ralf Jung b41ef53e57 explain when metadata is invalid 6 years ago
Ralf Jung c113664204 mention ! 6 years ago
Ralf Jung 01d11b8429 add more cases of UB 6 years ago
Ralf Jung a7aa0a8944 avoid redundant UB 6 years ago
Ralf Jung 1824951736 stick to broader UB for raw ptr offsets/derefs for now 6 years ago
Ralf Jung 93c626d0d0 be more precise about dangling 6 years ago
Ralf Jung 447fdb0cd9 subsume the NonNull things as library types 6 years ago
Ralf Jung 2d8338bea7 handle recursion in the heading 6 years ago
Ralf Jung 450041032c Define 'producing' 6 years ago
Ralf Jung c9db421053 NonNull, NonZero* 6 years ago
Ralf Jung 423f6b926d list more ptr offset computations 6 years ago
Ralf Jung 12b34a6570 UB 6 years ago
chansuke dc9019c9e2 Update the diagnostic of `error[E0597]` 6 years ago
chansuke 87159b8656 Fix typo in subtyping 6 years ago