Commit 7159bfa
committed
avoid some theoretical aliasing UB
in theory, uint8_t is an integer type which does not benefit
from the same luxury as character types in terms of being able
to freely alias other types. in practice, it's a typedef to
`unsigned char` and so it works out.
i've mostly been actively ignoring this part of the standard
since (A) `uint8_t` often better reflects the intent, in this
case we expect 8 bit octets not a fuzzy "character" type and
(B) implementing such optimization would break lot of real world
code and should realistically be considered malicious (not that
it has stopped gcc/clang from implementing nonsense/dangerous
optimizations).
the README does make claim of being UB free, so i'll just update
the code to match the document.
Thanks to Michael Forney for reporting.
Ref: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=661101 parent 3f6d984 commit 7159bfa
2 files changed
Lines changed: 7 additions & 7 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
24 | 24 | | |
25 | 25 | | |
26 | 26 | | |
27 | | - | |
| 27 | + | |
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
31 | 31 | | |
32 | | - | |
| 32 | + | |
33 | 33 | | |
34 | 34 | | |
35 | 35 | | |
| |||
46 | 46 | | |
47 | 47 | | |
48 | 48 | | |
49 | | - | |
| 49 | + | |
50 | 50 | | |
51 | 51 | | |
52 | 52 | | |
| |||
73 | 73 | | |
74 | 74 | | |
75 | 75 | | |
76 | | - | |
| 76 | + | |
77 | 77 | | |
78 | 78 | | |
79 | 79 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
12 | | - | |
| 12 | + | |
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
17 | | - | |
| 17 | + | |
18 | 18 | | |
19 | 19 | | |
20 | 20 | | |
| |||
26 | 26 | | |
27 | 27 | | |
28 | 28 | | |
29 | | - | |
| 29 | + | |
30 | 30 | | |
31 | 31 | | |
32 | 32 | | |
| |||
0 commit comments