Commit Graph

14 Commits (df5ff6327def099af1317be903f5a5a04533ddb6)

Author SHA1 Message Date
Ralf Jung df5ff6327d mention !
6 years ago
Ralf Jung efb50867b4 add more cases of UB
6 years ago
Ralf Jung 0f51082773 avoid redundant UB
6 years ago
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