Commit Graph

44 Commits (0ebdacadbda8ce2cd8fbf93985e15af61a7ab895)

Author SHA1 Message Date
Pure White f4add4be03
add link to reference about undefined behavior
11 months ago
Eric Huss 20685e08a5
Merge branch 'master' into overflow
1 year ago
Ralf Jung a94926b151 remove 'fail to call destructors' from okay-list
1 year ago
Ralf Jung 40b55e78bd specify which integer overflows we mean
1 year ago
syoh0708 b6808de76b
Fix typo with respect to dangling pointer (#319)
3 years ago
Yuki Okushi 1fe5457479 Fix minor style issues
4 years ago
Yuki Okushi 8641e70955
Merge pull request #180 from jyn514/master
4 years ago
Konrad Borowski bfe1ab96d7 Clarify that str data must still be initialized
5 years ago
Konrad Borowski b8344ef88f Remove language-level UB for non-UTF-8 str
5 years ago
Joshua Nelson e0702e4b9a
Add more links
5 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 5e082af681 adjust for current reality wrt. wide raw pointers
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
Michal 'vorner' Vaner dd8054bef8
Updates to the data layout chapter
6 years ago
Matt Brubeck 715585b421 Add fn to the list of invalid primitive values
7 years ago
Alexis Beingessner a08085479b Cleanup the first chapter
8 years ago