Commit Graph

19 Commits (7386b5ceef24b5c9e402aa69a3c329345d999ae7)

Author SHA1 Message Date
Ralf Jung 7386b5ceef refactor null a bit
7 years ago
Ralf Jung bd6215eb7f resolve some nits
7 years ago
Ralf Jung c73730bb8a raw ptrs must be initialized like integers
7 years ago
Ralf Jung 1f613d8255
Apply suggestions from code review
7 years ago
Ralf Jung c41d49233c explain when metadata is invalid
7 years ago
Ralf Jung df5ff6327d mention !
7 years ago
Ralf Jung efb50867b4 add more cases of UB
7 years ago
Ralf Jung 0f51082773 avoid redundant UB
7 years ago
Ralf Jung 738a3388de stick to broader UB for raw ptr offsets/derefs for now
7 years ago
Ralf Jung f59eca24f4 be more precise about dangling
7 years ago
Ralf Jung 909b14c503 subsume the NonNull things as library types
7 years ago
Ralf Jung 3241c00e18 handle recursion in the heading
7 years ago
Ralf Jung 86d9e2c576 Define 'producing'
7 years ago
Ralf Jung 280761a65c NonNull, NonZero*
7 years ago
Ralf Jung 1dcafde23d list more ptr offset computations
7 years ago
Ralf Jung dfb93b217e UB
7 years ago
Michal 'vorner' Vaner dd8054bef8
Updates to the data layout chapter
7 years ago
Matt Brubeck 715585b421 Add fn to the list of invalid primitive values
7 years ago
Alexis Beingessner a08085479b Cleanup the first chapter
9 years ago