tl;dr; Some interesting points about bits of C that are undefined. Some points valid, the other ones appear to be self-panicking unless you&#x27;re heavily in the theorem-proving 
correctness camp.<p>I remain unconvinced that memcmp of pointer values is at all interesting (viz the pointer normalization dancing acts of the early x86 memory models, ugh).<p>From a working programmer&#x27;s point of view, it&#x27;s useful to know some of the points in the paper; just read the middle third and skim the rest.