- all other cases (i.e., those that are neither representation-byte accesses, padding-byte accesses, or partially initialised struct member accesses) of reading uninitialised variables can be regarded as programmer errors
A case I believe is missing from the enumeration involves reading off the end of an array, from uninitialised memory, when processing an array in chunks of multiple elements at a time. Popular with code using vector intrinsics. Copying an uninitialised value, doing arithmetic to it, then flushing it back to the source is quicker than explicit loop epilogues.