Commit Graph

11 Commits (738a3388dee65904a1415addaf3b3fa770bcd0c0)

Author SHA1 Message Date
Ralf Jung 738a3388de stick to broader UB for raw ptr offsets/derefs for now
6 years ago
Ralf Jung f59eca24f4 be more precise about dangling
6 years ago
Ralf Jung 909b14c503 subsume the NonNull things as library types
6 years ago
Ralf Jung 3241c00e18 handle recursion in the heading
6 years ago
Ralf Jung 86d9e2c576 Define 'producing'
6 years ago
Ralf Jung 280761a65c NonNull, NonZero*
6 years ago
Ralf Jung 1dcafde23d list more ptr offset computations
6 years ago
Ralf Jung dfb93b217e UB
6 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
8 years ago