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.