Commit Graph

12 Commits (0f51082773ac6c51457b020ac2b5dea245c03b5a)

Author SHA1 Message Date
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