On Tue, Apr 13, 2021 at 7:39 PM Peter Sewell <Peter.Sewell_at_[hidden]>
wrote:

> - 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.