Re:Falsehoods programmers believe about undefined behavior
by leni536 on Monday November 28, 2022 @05:26PM
(#33780748)
reading padding bytes is not UB.
Comparing unrelated pointers is unspecified, not undefined. It's also an implementation detail of memmove. It can use a magical total order comparison of pointers that is otherwise unavailable to users of the language.
Comparing unrelated pointers is unspecified, not undefined. It's also an implementation detail of memmove. It can use a magical total order comparison of pointers that is otherwise unavailable to users of the language.